About the Execution of Smart+red for HexagonalGrid-PT-516
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5671.972 | 3600000.00 | 3633600.00 | 13589.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349500416.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is HexagonalGrid-PT-516, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349500416
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.8K Feb 26 17:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 17:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 17:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 17:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 26 17:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 933K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678614652530
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HexagonalGrid-PT-516
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 09:50:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 09:50:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 09:50:55] [INFO ] Load time of PNML (sax parser for PT used): 256 ms
[2023-03-12 09:50:55] [INFO ] Transformed 1267 places.
[2023-03-12 09:50:55] [INFO ] Transformed 2250 transitions.
[2023-03-12 09:50:55] [INFO ] Parsed PT model containing 1267 places and 2250 transitions and 9000 arcs in 365 ms.
[2023-03-12 09:50:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1267 places, 2250 transitions and 9000 arcs took 39 ms.
Total runtime 448 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 516
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 1267 places, 2250 transitions, 9000 arcs.
AT ITER 0 NEW BEST:: SOT 1567492 SOS 260012 HAS SOPS 260012 HAS SOUS 130845 HAS SOUPS 130845 WITH SCORE 131105.012
AT ITER 14 NEW BEST:: SOT 1567492 SOS 260124 HAS SOPS 260124 HAS SOUS 130809 HAS SOUPS 130809 WITH SCORE 131069.124
AT ITER 35 NEW BEST:: SOT 1567222 SOS 259744 HAS SOPS 259744 HAS SOUS 130517 HAS SOUPS 130517 WITH SCORE 130776.744
AT ITER 65 NEW BEST:: SOT 1567217 SOS 259709 HAS SOPS 259709 HAS SOUS 130502 HAS SOUPS 130502 WITH SCORE 130761.709
AT ITER 69 NEW BEST:: SOT 1567153 SOS 259433 HAS SOPS 259433 HAS SOUS 130474 HAS SOUPS 130474 WITH SCORE 130733.433
AT ITER 77 NEW BEST:: SOT 1567153 SOS 259433 HAS SOPS 259433 HAS SOUS 130442 HAS SOUPS 130442 WITH SCORE 130701.433
AT ITER 80 NEW BEST:: SOT 1567153 SOS 259423 HAS SOPS 259423 HAS SOUS 130432 HAS SOUPS 130432 WITH SCORE 130691.423
AT ITER 104 NEW BEST:: SOT 1567153 SOS 259130 HAS SOPS 259130 HAS SOUS 130395 HAS SOUPS 130395 WITH SCORE 130654.13
AT ITER 160 NEW BEST:: SOT 1567135 SOS 259170 HAS SOPS 259170 HAS SOUS 130359 HAS SOUPS 130359 WITH SCORE 130618.17
AT ITER 171 NEW BEST:: SOT 1567135 SOS 259137 HAS SOPS 259137 HAS SOUS 130326 HAS SOUPS 130326 WITH SCORE 130585.137
AT ITER 196 NEW BEST:: SOT 1567047 SOS 259049 HAS SOPS 259049 HAS SOUS 130238 HAS SOUPS 130238 WITH SCORE 130497.049
AT ITER 220 NEW BEST:: SOT 1567047 SOS 259049 HAS SOPS 259049 HAS SOUS 130230 HAS SOUPS 130230 WITH SCORE 130489.049
AT ITER 290 NEW BEST:: SOT 1567049 SOS 259011 HAS SOPS 259011 HAS SOUS 130224 HAS SOUPS 130224 WITH SCORE 130483.011
AT ITER 295 NEW BEST:: SOT 1567049 SOS 259011 HAS SOPS 259011 HAS SOUS 130132 HAS SOUPS 130132 WITH SCORE 130391.011
AT ITER 342 NEW BEST:: SOT 1566891 SOS 258763 HAS SOPS 258763 HAS SOUS 129956 HAS SOUPS 129956 WITH SCORE 130214.763
AT ITER 360 NEW BEST:: SOT 1566890 SOS 258761 HAS SOPS 258761 HAS SOUS 129954 HAS SOUPS 129954 WITH SCORE 130212.761
AT ITER 404 NEW BEST:: SOT 1566868 SOS 258877 HAS SOPS 258877 HAS SOUS 129874 HAS SOUPS 129874 WITH SCORE 130132.877
AT ITER 409 NEW BEST:: SOT 1566868 SOS 258877 HAS SOPS 258877 HAS SOUS 129872 HAS SOUPS 129872 WITH SCORE 130130.877
AT ITER 430 NEW BEST:: SOT 1566868 SOS 258977 HAS SOPS 258977 HAS SOUS 129836 HAS SOUPS 129836 WITH SCORE 130094.977
AT ITER 434 NEW BEST:: SOT 1566933 SOS 259044 HAS SOPS 259044 HAS SOUS 129815 HAS SOUPS 129815 WITH SCORE 130074.044
AT ITER 470 NEW BEST:: SOT 1566703 SOS 258704 HAS SOPS 258704 HAS SOUS 129563 HAS SOUPS 129563 WITH SCORE 129821.704
AT ITER 485 NEW BEST:: SOT 1566703 SOS 258506 HAS SOPS 258506 HAS SOUS 129497 HAS SOUPS 129497 WITH SCORE 129755.506
AT ITER 510 NEW BEST:: SOT 1566483 SOS 258242 HAS SOPS 258242 HAS SOUS 129233 HAS SOUPS 129233 WITH SCORE 129491.242
AT ITER 552 NEW BEST:: SOT 1566477 SOS 258236 HAS SOPS 258236 HAS SOUS 129203 HAS SOUPS 129203 WITH SCORE 129461.236
AT ITER 635 NEW BEST:: SOT 1566231 SOS 257880 HAS SOPS 257880 HAS SOUS 128935 HAS SOUPS 128935 WITH SCORE 129192.88
AT ITER 644 NEW BEST:: SOT 1566231 SOS 257850 HAS SOPS 257850 HAS SOUS 128925 HAS SOUPS 128925 WITH SCORE 129182.85
AT ITER 664 NEW BEST:: SOT 1566231 SOS 257934 HAS SOPS 257934 HAS SOUS 128921 HAS SOUPS 128921 WITH SCORE 129178.934
AT ITER 791 NEW BEST:: SOT 1566037 SOS 257650 HAS SOPS 257650 HAS SOUS 128709 HAS SOUPS 128709 WITH SCORE 128966.65
AT ITER 843 NEW BEST:: SOT 1566021 SOS 257618 HAS SOPS 257618 HAS SOUS 128677 HAS SOUPS 128677 WITH SCORE 128934.618
AT ITER 883 NEW BEST:: SOT 1565819 SOS 257306 HAS SOPS 257306 HAS SOUS 128453 HAS SOUPS 128453 WITH SCORE 128710.306
AT ITER 898 NEW BEST:: SOT 1565819 SOS 257306 HAS SOPS 257306 HAS SOUS 128421 HAS SOUPS 128421 WITH SCORE 128678.306
AT ITER 922 NEW BEST:: SOT 1565814 SOS 256926 HAS SOPS 256926 HAS SOUS 128345 HAS SOUPS 128345 WITH SCORE 128601.926
AT ITER 923 NEW BEST:: SOT 1565814 SOS 256879 HAS SOPS 256879 HAS SOUS 128298 HAS SOUPS 128298 WITH SCORE 128554.879
AT ITER 1028 NEW BEST:: SOT 1565814 SOS 256858 HAS SOPS 256858 HAS SOUS 128277 HAS SOUPS 128277 WITH SCORE 128533.858
AT ITER 1043 NEW BEST:: SOT 1565794 SOS 256778 HAS SOPS 256778 HAS SOUS 128277 HAS SOUPS 128277 WITH SCORE 128533.778
AT ITER 1068 NEW BEST:: SOT 1565684 SOS 256646 HAS SOPS 256646 HAS SOUS 128145 HAS SOUPS 128145 WITH SCORE 128401.646
AT ITER 1078 NEW BEST:: SOT 1565679 SOS 256635 HAS SOPS 256635 HAS SOUS 128143 HAS SOUPS 128143 WITH SCORE 128399.635
AT ITER 1086 NEW BEST:: SOT 1565485 SOS 256331 HAS SOPS 256331 HAS SOUS 127927 HAS SOUPS 127927 WITH SCORE 128183.331
AT ITER 1130 NEW BEST:: SOT 1565485 SOS 256331 HAS SOPS 256331 HAS SOUS 127857 HAS SOUPS 127857 WITH SCORE 128113.331
AT ITER 1164 NEW BEST:: SOT 1565441 SOS 256013 HAS SOPS 256013 HAS SOUS 127715 HAS SOUPS 127715 WITH SCORE 127971.013
AT ITER 1170 NEW BEST:: SOT 1565313 SOS 255885 HAS SOPS 255885 HAS SOUS 127587 HAS SOUPS 127587 WITH SCORE 127842.885
AT ITER 1199 NEW BEST:: SOT 1565309 SOS 255881 HAS SOPS 255881 HAS SOUS 127579 HAS SOUPS 127579 WITH SCORE 127834.881
AT ITER 1204 NEW BEST:: SOT 1565309 SOS 255833 HAS SOPS 255833 HAS SOUS 127563 HAS SOUPS 127563 WITH SCORE 127818.833
AT ITER 1210 NEW BEST:: SOT 1565309 SOS 255798 HAS SOPS 255798 HAS SOUS 127528 HAS SOUPS 127528 WITH SCORE 127783.798
AT ITER 1279 NEW BEST:: SOT 1565309 SOS 255786 HAS SOPS 255786 HAS SOUS 127528 HAS SOUPS 127528 WITH SCORE 127783.786
AT ITER 1304 NEW BEST:: SOT 1565309 SOS 255660 HAS SOPS 255660 HAS SOUS 127486 HAS SOUPS 127486 WITH SCORE 127741.66
AT ITER 1334 NEW BEST:: SOT 1565287 SOS 255696 HAS SOPS 255696 HAS SOUS 127442 HAS SOUPS 127442 WITH SCORE 127697.696
AT ITER 1356 NEW BEST:: SOT 1564907 SOS 254866 HAS SOPS 254866 HAS SOUS 126940 HAS SOUPS 126940 WITH SCORE 127194.866
AT ITER 1494 NEW BEST:: SOT 1564907 SOS 254812 HAS SOPS 254812 HAS SOUS 126922 HAS SOUPS 126922 WITH SCORE 127176.812
AT ITER 1545 NEW BEST:: SOT 1564907 SOS 254812 HAS SOPS 254812 HAS SOUS 126896 HAS SOUPS 126896 WITH SCORE 127150.812
AT ITER 1556 NEW BEST:: SOT 1564907 SOS 254812 HAS SOPS 254812 HAS SOUS 126832 HAS SOUPS 126832 WITH SCORE 127086.812
AT ITER 1565 NEW BEST:: SOT 1564885 SOS 254608 HAS SOPS 254608 HAS SOUS 126796 HAS SOUPS 126796 WITH SCORE 127050.608
AT ITER 1639 NEW BEST:: SOT 1564495 SOS 253769 HAS SOPS 253769 HAS SOUS 126305 HAS SOUPS 126305 WITH SCORE 126558.769
AT ITER 1649 NEW BEST:: SOT 1564375 SOS 253649 HAS SOPS 253649 HAS SOUS 126185 HAS SOUPS 126185 WITH SCORE 126438.649
AT ITER 1682 NEW BEST:: SOT 1564353 SOS 253753 HAS SOPS 253753 HAS SOUS 126101 HAS SOUPS 126101 WITH SCORE 126354.753
AT ITER 1767 NEW BEST:: SOT 1564344 SOS 253751 HAS SOPS 253751 HAS SOUS 126099 HAS SOUPS 126099 WITH SCORE 126352.751
AT ITER 1852 NEW BEST:: SOT 1564380 SOS 253805 HAS SOPS 253805 HAS SOUS 126074 HAS SOUPS 126074 WITH SCORE 126327.805
AT ITER 1903 NEW BEST:: SOT 1564158 SOS 253473 HAS SOPS 253473 HAS SOUS 125830 HAS SOUPS 125830 WITH SCORE 126083.473
AT ITER 1982 NEW BEST:: SOT 1563940 SOS 253145 HAS SOPS 253145 HAS SOUS 125590 HAS SOUPS 125590 WITH SCORE 125843.145
AT ITER 2010 NEW BEST:: SOT 1563940 SOS 253145 HAS SOPS 253145 HAS SOUS 125581 HAS SOUPS 125581 WITH SCORE 125834.145
AT ITER 2018 NEW BEST:: SOT 1563940 SOS 253111 HAS SOPS 253111 HAS SOUS 125519 HAS SOUPS 125519 WITH SCORE 125772.111
AT ITER 2058 NEW BEST:: SOT 1563940 SOS 252979 HAS SOPS 252979 HAS SOUS 125475 HAS SOUPS 125475 WITH SCORE 125727.979
AT ITER 2121 NEW BEST:: SOT 1563918 SOS 252847 HAS SOPS 252847 HAS SOUS 125431 HAS SOUPS 125431 WITH SCORE 125683.847
AT ITER 2205 NEW BEST:: SOT 1563910 SOS 252781 HAS SOPS 252781 HAS SOUS 125397 HAS SOUPS 125397 WITH SCORE 125649.781
AT ITER 2269 NEW BEST:: SOT 1563892 SOS 252813 HAS SOPS 252813 HAS SOUS 125325 HAS SOUPS 125325 WITH SCORE 125577.813
AT ITER 2295 NEW BEST:: SOT 1563892 SOS 252774 HAS SOPS 252774 HAS SOUS 125286 HAS SOUPS 125286 WITH SCORE 125538.774
AT ITER 2303 NEW BEST:: SOT 1563836 SOS 252718 HAS SOPS 252718 HAS SOUS 125230 HAS SOUPS 125230 WITH SCORE 125482.718
AT ITER 2364 NEW BEST:: SOT 1563736 SOS 252618 HAS SOPS 252618 HAS SOUS 125130 HAS SOUPS 125130 WITH SCORE 125382.618
AT ITER 2399 NEW BEST:: SOT 1563732 SOS 252608 HAS SOPS 252608 HAS SOUS 125128 HAS SOUPS 125128 WITH SCORE 125380.608
AT ITER 2410 NEW BEST:: SOT 1563667 SOS 252466 HAS SOPS 252466 HAS SOUS 125074 HAS SOUPS 125074 WITH SCORE 125326.466
AT ITER 2422 NEW BEST:: SOT 1563640 SOS 252482 HAS SOPS 252482 HAS SOUS 125038 HAS SOUPS 125038 WITH SCORE 125290.482
AT ITER 2453 NEW BEST:: SOT 1563629 SOS 252471 HAS SOPS 252471 HAS SOUS 125027 HAS SOUPS 125027 WITH SCORE 125279.471
AT ITER 2518 NEW BEST:: SOT 1563636 SOS 252410 HAS SOPS 252410 HAS SOUS 125026 HAS SOUPS 125026 WITH SCORE 125278.41
AT ITER 2579 NEW BEST:: SOT 1563631 SOS 252400 HAS SOPS 252400 HAS SOUS 125016 HAS SOUPS 125016 WITH SCORE 125268.4
AT ITER 2586 NEW BEST:: SOT 1563614 SOS 252390 HAS SOPS 252390 HAS SOUS 124982 HAS SOUPS 124982 WITH SCORE 125234.39
AT ITER 2592 NEW BEST:: SOT 1563614 SOS 252382 HAS SOPS 252382 HAS SOUS 124974 HAS SOUPS 124974 WITH SCORE 125226.382
AT ITER 2643 NEW BEST:: SOT 1563699 SOS 252493 HAS SOPS 252493 HAS SOUS 124813 HAS SOUPS 124813 WITH SCORE 125065.493
AT ITER 2673 NEW BEST:: SOT 1563669 SOS 252609 HAS SOPS 252609 HAS SOUS 124753 HAS SOUPS 124753 WITH SCORE 125005.609
AT ITER 2798 NEW BEST:: SOT 1563394 SOS 252279 HAS SOPS 252279 HAS SOUS 124427 HAS SOUPS 124427 WITH SCORE 124679.279
AT ITER 2817 NEW BEST:: SOT 1563318 SOS 252203 HAS SOPS 252203 HAS SOUS 124351 HAS SOUPS 124351 WITH SCORE 124603.203
AT ITER 2827 NEW BEST:: SOT 1563104 SOS 251879 HAS SOPS 251879 HAS SOUS 124115 HAS SOUPS 124115 WITH SCORE 124366.879
AT ITER 2846 NEW BEST:: SOT 1563104 SOS 251877 HAS SOPS 251877 HAS SOUS 124113 HAS SOUPS 124113 WITH SCORE 124364.877
AT ITER 2851 NEW BEST:: SOT 1563087 SOS 251775 HAS SOPS 251775 HAS SOUS 124079 HAS SOUPS 124079 WITH SCORE 124330.775
AT ITER 2899 NEW BEST:: SOT 1562995 SOS 251683 HAS SOPS 251683 HAS SOUS 123987 HAS SOUPS 123987 WITH SCORE 124238.683
AT ITER 2907 NEW BEST:: SOT 1562615 SOS 250859 HAS SOPS 250859 HAS SOUS 123479 HAS SOUPS 123479 WITH SCORE 123729.859
AT ITER 2915 NEW BEST:: SOT 1562535 SOS 250699 HAS SOPS 250699 HAS SOUS 123383 HAS SOUPS 123383 WITH SCORE 123633.699
AT ITER 2952 NEW BEST:: SOT 1562490 SOS 250654 HAS SOPS 250654 HAS SOUS 123338 HAS SOUPS 123338 WITH SCORE 123588.654
AT ITER 2974 NEW BEST:: SOT 1562475 SOS 250639 HAS SOPS 250639 HAS SOUS 123323 HAS SOUPS 123323 WITH SCORE 123573.639
AT ITER 2999 NEW BEST:: SOT 1562471 SOS 250635 HAS SOPS 250635 HAS SOUS 123319 HAS SOUPS 123319 WITH SCORE 123569.635
AT ITER 3055 NEW BEST:: SOT 1562465 SOS 250599 HAS SOPS 250599 HAS SOUS 123307 HAS SOUPS 123307 WITH SCORE 123557.599
AT ITER 3066 NEW BEST:: SOT 1562465 SOS 250593 HAS SOPS 250593 HAS SOUS 123305 HAS SOUPS 123305 WITH SCORE 123555.593
AT ITER 3107 NEW BEST:: SOT 1562135 SOS 250197 HAS SOPS 250197 HAS SOUS 122909 HAS SOUPS 122909 WITH SCORE 123159.197
AT ITER 3156 NEW BEST:: SOT 1562090 SOS 250152 HAS SOPS 250152 HAS SOUS 122864 HAS SOUPS 122864 WITH SCORE 123114.152
AT ITER 3200 NEW BEST:: SOT 1562090 SOS 250020 HAS SOPS 250020 HAS SOUS 122820 HAS SOUPS 122820 WITH SCORE 123070.02
AT ITER 3219 NEW BEST:: SOT 1561910 SOS 249624 HAS SOPS 249624 HAS SOUS 122568 HAS SOUPS 122568 WITH SCORE 122817.624
AT ITER 3236 NEW BEST:: SOT 1561888 SOS 249436 HAS SOPS 249436 HAS SOUS 122468 HAS SOUPS 122468 WITH SCORE 122717.436
AT ITER 3238 NEW BEST:: SOT 1561508 SOS 248614 HAS SOPS 248614 HAS SOUS 121970 HAS SOUPS 121970 WITH SCORE 122218.614
AT ITER 3258 NEW BEST:: SOT 1561438 SOS 248449 HAS SOPS 248449 HAS SOUS 121893 HAS SOUPS 121893 WITH SCORE 122141.449
AT ITER 3273 NEW BEST:: SOT 1561438 SOS 248395 HAS SOPS 248395 HAS SOUS 121875 HAS SOUPS 121875 WITH SCORE 122123.395
AT ITER 3328 NEW BEST:: SOT 1561446 SOS 248400 HAS SOPS 248400 HAS SOUS 121868 HAS SOUPS 121868 WITH SCORE 122116.4
AT ITER 3402 NEW BEST:: SOT 1561444 SOS 248386 HAS SOPS 248386 HAS SOUS 121862 HAS SOUPS 121862 WITH SCORE 122110.386
AT ITER 3452 NEW BEST:: SOT 1561431 SOS 248416 HAS SOPS 248416 HAS SOUS 121836 HAS SOUPS 121836 WITH SCORE 122084.416
AT ITER 3490 NEW BEST:: SOT 1561431 SOS 248116 HAS SOPS 248116 HAS SOUS 121736 HAS SOUPS 121736 WITH SCORE 121984.116
AT ITER 3609 NEW BEST:: SOT 1561431 SOS 247888 HAS SOPS 247888 HAS SOUS 121660 HAS SOUPS 121660 WITH SCORE 121907.888
AT ITER 3627 NEW BEST:: SOT 1561428 SOS 247870 HAS SOPS 247870 HAS SOUS 121654 HAS SOUPS 121654 WITH SCORE 121901.87
AT ITER 3638 NEW BEST:: SOT 1561416 SOS 247798 HAS SOPS 247798 HAS SOUS 121630 HAS SOUPS 121630 WITH SCORE 121877.798
AT ITER 3650 NEW BEST:: SOT 1561466 SOS 247832 HAS SOPS 247832 HAS SOUS 121588 HAS SOUPS 121588 WITH SCORE 121835.832
AT ITER 3664 NEW BEST:: SOT 1561465 SOS 248050 HAS SOPS 248050 HAS SOUS 121534 HAS SOUPS 121534 WITH SCORE 121782.05
AT ITER 3677 NEW BEST:: SOT 1561389 SOS 247974 HAS SOPS 247974 HAS SOUS 121458 HAS SOUPS 121458 WITH SCORE 121705.974
AT ITER 3755 NEW BEST:: SOT 1561389 SOS 247974 HAS SOPS 247974 HAS SOUS 121359 HAS SOUPS 121359 WITH SCORE 121606.974
AT ITER 3786 NEW BEST:: SOT 1561389 SOS 247773 HAS SOPS 247773 HAS SOUS 121326 HAS SOUPS 121326 WITH SCORE 121573.773
AT ITER 3861 NEW BEST:: SOT 1561384 SOS 247743 HAS SOPS 247743 HAS SOUS 121316 HAS SOUPS 121316 WITH SCORE 121563.743
AT ITER 3898 NEW BEST:: SOT 1561249 SOS 247326 HAS SOPS 247326 HAS SOUS 121103 HAS SOUPS 121103 WITH SCORE 121350.326
AT ITER 3936 NEW BEST:: SOT 1561184 SOS 247297 HAS SOPS 247297 HAS SOUS 121074 HAS SOUPS 121074 WITH SCORE 121321.297
AT ITER 3969 NEW BEST:: SOT 1561174 SOS 247445 HAS SOPS 247445 HAS SOUS 121014 HAS SOUPS 121014 WITH SCORE 121261.445
AT ITER 4017 NEW BEST:: SOT 1561174 SOS 247313 HAS SOPS 247313 HAS SOUS 120970 HAS SOUPS 120970 WITH SCORE 121217.313
AT ITER 4021 NEW BEST:: SOT 1561152 SOS 247341 HAS SOPS 247341 HAS SOUS 120950 HAS SOUPS 120950 WITH SCORE 121197.341
AT ITER 4038 NEW BEST:: SOT 1561102 SOS 247309 HAS SOPS 247309 HAS SOUS 120918 HAS SOUPS 120918 WITH SCORE 121165.309
AT ITER 4061 NEW BEST:: SOT 1560872 SOS 246947 HAS SOPS 246947 HAS SOUS 120644 HAS SOUPS 120644 WITH SCORE 120890.947
AT ITER 4091 NEW BEST:: SOT 1560872 SOS 246833 HAS SOPS 246833 HAS SOUS 120606 HAS SOUPS 120606 WITH SCORE 120852.833
AT ITER 4117 NEW BEST:: SOT 1560630 SOS 246481 HAS SOPS 246481 HAS SOUS 120342 HAS SOUPS 120342 WITH SCORE 120588.481
AT ITER 4144 NEW BEST:: SOT 1560630 SOS 246481 HAS SOPS 246481 HAS SOUS 120322 HAS SOUPS 120322 WITH SCORE 120568.481
AT ITER 4174 NEW BEST:: SOT 1560245 SOS 245634 HAS SOPS 245634 HAS SOUS 119783 HAS SOUPS 119783 WITH SCORE 120028.634
AT ITER 4182 NEW BEST:: SOT 1560245 SOS 245619 HAS SOPS 245619 HAS SOUS 119768 HAS SOUPS 119768 WITH SCORE 120013.619
AT ITER 4305 NEW BEST:: SOT 1560245 SOS 245619 HAS SOPS 245619 HAS SOUS 119743 HAS SOUPS 119743 WITH SCORE 119988.619
AT ITER 4326 NEW BEST:: SOT 1560232 SOS 245606 HAS SOPS 245606 HAS SOUS 119690 HAS SOUPS 119690 WITH SCORE 119935.606
AT ITER 4336 NEW BEST:: SOT 1560230 SOS 245602 HAS SOPS 245602 HAS SOUS 119686 HAS SOUPS 119686 WITH SCORE 119931.602
AT ITER 4355 NEW BEST:: SOT 1560230 SOS 245560 HAS SOPS 245560 HAS SOUS 119644 HAS SOUPS 119644 WITH SCORE 119889.56
AT ITER 4398 NEW BEST:: SOT 1560045 SOS 245243 HAS SOPS 245243 HAS SOUS 119415 HAS SOUPS 119415 WITH SCORE 119660.243
AT ITER 4417 NEW BEST:: SOT 1560045 SOS 245243 HAS SOPS 245243 HAS SOUS 119412 HAS SOUPS 119412 WITH SCORE 119657.243
AT ITER 4472 NEW BEST:: SOT 1560045 SOS 245243 HAS SOPS 245243 HAS SOUS 119363 HAS SOUPS 119363 WITH SCORE 119608.243
AT ITER 4499 NEW BEST:: SOT 1560023 SOS 245315 HAS SOPS 245315 HAS SOUS 119319 HAS SOUPS 119319 WITH SCORE 119564.315
AT ITER 4519 NEW BEST:: SOT 1560021 SOS 245301 HAS SOPS 245301 HAS SOUS 119313 HAS SOUPS 119313 WITH SCORE 119558.301
AT ITER 4526 NEW BEST:: SOT 1559836 SOS 244894 HAS SOPS 244894 HAS SOUS 119054 HAS SOUPS 119054 WITH SCORE 119298.894
AT ITER 4542 NEW BEST:: SOT 1559836 SOS 244732 HAS SOPS 244732 HAS SOUS 119028 HAS SOUPS 119028 WITH SCORE 119272.732
AT ITER 4548 NEW BEST:: SOT 1559788 SOS 244485 HAS SOPS 244485 HAS SOUS 118949 HAS SOUPS 118949 WITH SCORE 119193.485
AT ITER 4613 NEW BEST:: SOT 1559757 SOS 244268 HAS SOPS 244268 HAS SOUS 118856 HAS SOUPS 118856 WITH SCORE 119100.268
AT ITER 4694 NEW BEST:: SOT 1559748 SOS 244074 HAS SOPS 244074 HAS SOUS 118810 HAS SOUPS 118810 WITH SCORE 119054.074
AT ITER 4701 NEW BEST:: SOT 1559583 SOS 243876 HAS SOPS 243876 HAS SOUS 118628 HAS SOUPS 118628 WITH SCORE 118871.876
AT ITER 4715 NEW BEST:: SOT 1559583 SOS 243876 HAS SOPS 243876 HAS SOUS 118620 HAS SOUPS 118620 WITH SCORE 118863.876
AT ITER 4745 NEW BEST:: SOT 1559447 SOS 243740 HAS SOPS 243740 HAS SOUS 118484 HAS SOUPS 118484 WITH SCORE 118727.74
AT ITER 4770 NEW BEST:: SOT 1559447 SOS 243740 HAS SOPS 243740 HAS SOUS 118476 HAS SOUPS 118476 WITH SCORE 118719.74
AT ITER 4771 NEW BEST:: SOT 1559425 SOS 243539 HAS SOPS 243539 HAS SOUS 118443 HAS SOUPS 118443 WITH SCORE 118686.539
AT ITER 4854 NEW BEST:: SOT 1559402 SOS 243513 HAS SOPS 243513 HAS SOUS 118405 HAS SOUPS 118405 WITH SCORE 118648.513
AT ITER 4858 NEW BEST:: SOT 1559282 SOS 243369 HAS SOPS 243369 HAS SOUS 118221 HAS SOUPS 118221 WITH SCORE 118464.369
AT ITER 4880 NEW BEST:: SOT 1559282 SOS 242949 HAS SOPS 242949 HAS SOUS 118081 HAS SOUPS 118081 WITH SCORE 118323.949
AT ITER 4913 NEW BEST:: SOT 1559252 SOS 242878 HAS SOPS 242878 HAS SOUS 118042 HAS SOUPS 118042 WITH SCORE 118284.878
AT ITER 4931 NEW BEST:: SOT 1559252 SOS 242878 HAS SOPS 242878 HAS SOUS 118014 HAS SOUPS 118014 WITH SCORE 118256.878
AT ITER 4944 NEW BEST:: SOT 1559252 SOS 242896 HAS SOPS 242896 HAS SOUS 118004 HAS SOUPS 118004 WITH SCORE 118246.896
AT ITER 5017 NEW BEST:: SOT 1559227 SOS 242811 HAS SOPS 242811 HAS SOUS 117994 HAS SOUPS 117994 WITH SCORE 118236.811
AT ITER 5024 NEW BEST:: SOT 1559227 SOS 242637 HAS SOPS 242637 HAS SOUS 117988 HAS SOUPS 117988 WITH SCORE 118230.637
AT ITER 5125 NEW BEST:: SOT 1559227 SOS 242637 HAS SOPS 242637 HAS SOUS 117962 HAS SOUPS 117962 WITH SCORE 118204.637
AT ITER 5146 NEW BEST:: SOT 1559103 SOS 242469 HAS SOPS 242469 HAS SOUS 117838 HAS SOUPS 117838 WITH SCORE 118080.469
AT ITER 5197 NEW BEST:: SOT 1559103 SOS 242469 HAS SOPS 242469 HAS SOUS 117820 HAS SOUPS 117820 WITH SCORE 118062.469
AT ITER 5222 NEW BEST:: SOT 1559087 SOS 242453 HAS SOPS 242453 HAS SOUS 117804 HAS SOUPS 117804 WITH SCORE 118046.453
AT ITER 5263 NEW BEST:: SOT 1559080 SOS 242411 HAS SOPS 242411 HAS SOUS 117790 HAS SOUPS 117790 WITH SCORE 118032.411
AT ITER 5304 NEW BEST:: SOT 1559065 SOS 242321 HAS SOPS 242321 HAS SOUS 117760 HAS SOUPS 117760 WITH SCORE 118002.321
AT ITER 5481 NEW BEST:: SOT 1559065 SOS 242279 HAS SOPS 242279 HAS SOUS 117746 HAS SOUPS 117746 WITH SCORE 117988.279
AT ITER 5523 NEW BEST:: SOT 1559061 SOS 242271 HAS SOPS 242271 HAS SOUS 117738 HAS SOUPS 117738 WITH SCORE 117980.271
AT ITER 5605 NEW BEST:: SOT 1559076 SOS 242269 HAS SOPS 242269 HAS SOUS 117736 HAS SOUPS 117736 WITH SCORE 117978.269
AT ITER 5721 NEW BEST:: SOT 1559068 SOS 242297 HAS SOPS 242297 HAS SOUS 117720 HAS SOUPS 117720 WITH SCORE 117962.297
AT ITER 5737 NEW BEST:: SOT 1559068 SOS 242287 HAS SOPS 242287 HAS SOUS 117710 HAS SOUPS 117710 WITH SCORE 117952.287
AT ITER 5815 NEW BEST:: SOT 1559054 SOS 242273 HAS SOPS 242273 HAS SOUS 117656 HAS SOUPS 117656 WITH SCORE 117898.273
AT ITER 5853 NEW BEST:: SOT 1559054 SOS 241972 HAS SOPS 241972 HAS SOUS 117599 HAS SOUPS 117599 WITH SCORE 117840.972
AT ITER 5886 NEW BEST:: SOT 1559037 SOS 241955 HAS SOPS 241955 HAS SOUS 117582 HAS SOUPS 117582 WITH SCORE 117823.955
AT ITER 5947 NEW BEST:: SOT 1558827 SOS 241703 HAS SOPS 241703 HAS SOUS 117330 HAS SOUPS 117330 WITH SCORE 117571.703
AT ITER 5949 NEW BEST:: SOT 1558827 SOS 241703 HAS SOPS 241703 HAS SOUS 117298 HAS SOUPS 117298 WITH SCORE 117539.703
AT ITER 6064 NEW BEST:: SOT 1558662 SOS 241430 HAS SOPS 241430 HAS SOUS 117097 HAS SOUPS 117097 WITH SCORE 117338.43
AT ITER 6089 NEW BEST:: SOT 1558662 SOS 241427 HAS SOPS 241427 HAS SOUS 117094 HAS SOUPS 117094 WITH SCORE 117335.427
AT ITER 6094 NEW BEST:: SOT 1558662 SOS 241395 HAS SOPS 241395 HAS SOUS 117094 HAS SOUPS 117094 WITH SCORE 117335.395
AT ITER 6103 NEW BEST:: SOT 1558572 SOS 241197 HAS SOPS 241197 HAS SOUS 116968 HAS SOUPS 116968 WITH SCORE 117209.197
AT ITER 6235 NEW BEST:: SOT 1558541 SOS 240980 HAS SOPS 240980 HAS SOUS 116875 HAS SOUPS 116875 WITH SCORE 117115.98
AT ITER 6237 NEW BEST:: SOT 1558536 SOS 240977 HAS SOPS 240977 HAS SOUS 116872 HAS SOUPS 116872 WITH SCORE 117112.977
AT ITER 6258 NEW BEST:: SOT 1558524 SOS 240965 HAS SOPS 240965 HAS SOUS 116860 HAS SOUPS 116860 WITH SCORE 117100.965
AT ITER 6276 NEW BEST:: SOT 1558464 SOS 240510 HAS SOPS 240510 HAS SOUS 116785 HAS SOUPS 116785 WITH SCORE 117025.51
AT ITER 6290 NEW BEST:: SOT 1558442 SOS 240570 HAS SOPS 240570 HAS SOUS 116741 HAS SOUPS 116741 WITH SCORE 116981.57
AT ITER 6298 NEW BEST:: SOT 1558386 SOS 240236 HAS SOPS 240236 HAS SOUS 116735 HAS SOUPS 116735 WITH SCORE 116975.236
AT ITER 6372 NEW BEST:: SOT 1558360 SOS 240046 HAS SOPS 240046 HAS SOUS 116649 HAS SOUPS 116649 WITH SCORE 116889.046
AT ITER 6382 NEW BEST:: SOT 1558359 SOS 240040 HAS SOPS 240040 HAS SOUS 116647 HAS SOUPS 116647 WITH SCORE 116887.04
AT ITER 6418 NEW BEST:: SOT 1558359 SOS 239986 HAS SOPS 239986 HAS SOUS 116629 HAS SOUPS 116629 WITH SCORE 116868.986
AT ITER 6431 NEW BEST:: SOT 1558341 SOS 239781 HAS SOPS 239781 HAS SOUS 116592 HAS SOUPS 116592 WITH SCORE 116831.781
AT ITER 6560 NEW BEST:: SOT 1558276 SOS 239703 HAS SOPS 239703 HAS SOUS 116514 HAS SOUPS 116514 WITH SCORE 116753.703
AT ITER 6642 NEW BEST:: SOT 1558122 SOS 239459 HAS SOPS 239459 HAS SOUS 116342 HAS SOUPS 116342 WITH SCORE 116581.459
AT ITER 6649 NEW BEST:: SOT 1558122 SOS 239504 HAS SOPS 239504 HAS SOUS 116327 HAS SOUPS 116327 WITH SCORE 116566.504
AT ITER 6782 NEW BEST:: SOT 1558122 SOS 239420 HAS SOPS 239420 HAS SOUS 116299 HAS SOUPS 116299 WITH SCORE 116538.42
AT ITER 6817 NEW BEST:: SOT 1558122 SOS 239130 HAS SOPS 239130 HAS SOUS 116241 HAS SOUPS 116241 WITH SCORE 116480.13
AT ITER 6892 NEW BEST:: SOT 1558119 SOS 238842 HAS SOPS 238842 HAS SOUS 116209 HAS SOUPS 116209 WITH SCORE 116447.842
AT ITER 6899 NEW BEST:: SOT 1558119 SOS 238821 HAS SOPS 238821 HAS SOUS 116188 HAS SOUPS 116188 WITH SCORE 116426.821
AT ITER 6901 NEW BEST:: SOT 1557917 SOS 238509 HAS SOPS 238509 HAS SOUS 115964 HAS SOUPS 115964 WITH SCORE 116202.509
AT ITER 6910 NEW BEST:: SOT 1557897 SOS 238465 HAS SOPS 238465 HAS SOUS 115936 HAS SOUPS 115936 WITH SCORE 116174.465
AT ITER 7031 NEW BEST:: SOT 1557897 SOS 238465 HAS SOPS 238465 HAS SOUS 115924 HAS SOUPS 115924 WITH SCORE 116162.465
AT ITER 7047 NEW BEST:: SOT 1557897 SOS 238441 HAS SOPS 238441 HAS SOUS 115916 HAS SOUPS 115916 WITH SCORE 116154.441
AT ITER 7051 NEW BEST:: SOT 1557886 SOS 238375 HAS SOPS 238375 HAS SOUS 115894 HAS SOUPS 115894 WITH SCORE 116132.375
AT ITER 7063 NEW BEST:: SOT 1557886 SOS 238243 HAS SOPS 238243 HAS SOUS 115850 HAS SOUPS 115850 WITH SCORE 116088.243
AT ITER 7068 NEW BEST:: SOT 1557873 SOS 238230 HAS SOPS 238230 HAS SOUS 115837 HAS SOUPS 115837 WITH SCORE 116075.23
AT ITER 7075 NEW BEST:: SOT 1557873 SOS 238206 HAS SOPS 238206 HAS SOUS 115813 HAS SOUPS 115813 WITH SCORE 116051.206
AT ITER 7084 NEW BEST:: SOT 1557893 SOS 238076 HAS SOPS 238076 HAS SOUS 115803 HAS SOUPS 115803 WITH SCORE 116041.076
AT ITER 7111 NEW BEST:: SOT 1557893 SOS 237816 HAS SOPS 237816 HAS SOUS 115751 HAS SOUPS 115751 WITH SCORE 115988.816
AT ITER 7156 NEW BEST:: SOT 1557864 SOS 237596 HAS SOPS 237596 HAS SOUS 115647 HAS SOUPS 115647 WITH SCORE 115884.596
AT ITER 7164 NEW BEST:: SOT 1557864 SOS 237596 HAS SOPS 237596 HAS SOUS 115624 HAS SOUPS 115624 WITH SCORE 115861.596
AT ITER 7430 NEW BEST:: SOT 1557851 SOS 237570 HAS SOPS 237570 HAS SOUS 115546 HAS SOUPS 115546 WITH SCORE 115783.57
AT ITER 7462 NEW BEST:: SOT 1557851 SOS 237570 HAS SOPS 237570 HAS SOUS 115499 HAS SOUPS 115499 WITH SCORE 115736.57
AT ITER 7487 NEW BEST:: SOT 1557846 SOS 237560 HAS SOPS 237560 HAS SOUS 115489 HAS SOUPS 115489 WITH SCORE 115726.56
AT ITER 7509 NEW BEST:: SOT 1557846 SOS 237487 HAS SOPS 237487 HAS SOUS 115416 HAS SOUPS 115416 WITH SCORE 115653.487
AT ITER 7530 NEW BEST:: SOT 1557840 SOS 237451 HAS SOPS 237451 HAS SOUS 115404 HAS SOUPS 115404 WITH SCORE 115641.451
AT ITER 7643 NEW BEST:: SOT 1557840 SOS 237641 HAS SOPS 237641 HAS SOUS 115290 HAS SOUPS 115290 WITH SCORE 115527.641
AT ITER 7730 NEW BEST:: SOT 1557810 SOS 237431 HAS SOPS 237431 HAS SOUS 115200 HAS SOUPS 115200 WITH SCORE 115437.431
AT ITER 7752 NEW BEST:: SOT 1557545 SOS 237195 HAS SOPS 237195 HAS SOUS 115024 HAS SOUPS 115024 WITH SCORE 115261.195
AT ITER 7826 NEW BEST:: SOT 1557534 SOS 237177 HAS SOPS 237177 HAS SOUS 115002 HAS SOUPS 115002 WITH SCORE 115239.177
AT ITER 7897 NEW BEST:: SOT 1557534 SOS 237062 HAS SOPS 237062 HAS SOUS 114979 HAS SOUPS 114979 WITH SCORE 115216.062
AT ITER 7925 NEW BEST:: SOT 1557534 SOS 236870 HAS SOPS 236870 HAS SOUS 114915 HAS SOUPS 114915 WITH SCORE 115151.87
AT ITER 7977 NEW BEST:: SOT 1557479 SOS 236760 HAS SOPS 236760 HAS SOUS 114849 HAS SOUPS 114849 WITH SCORE 115085.76
AT ITER 8084 NEW BEST:: SOT 1557479 SOS 236848 HAS SOPS 236848 HAS SOUS 114813 HAS SOUPS 114813 WITH SCORE 115049.848
AT ITER 8121 NEW BEST:: SOT 1557458 SOS 236776 HAS SOPS 236776 HAS SOUS 114813 HAS SOUPS 114813 WITH SCORE 115049.776
AT ITER 8162 NEW BEST:: SOT 1557467 SOS 236756 HAS SOPS 236756 HAS SOUS 114793 HAS SOUPS 114793 WITH SCORE 115029.756
AT ITER 8267 NEW BEST:: SOT 1557448 SOS 236647 HAS SOPS 236647 HAS SOUS 114744 HAS SOUPS 114744 WITH SCORE 114980.647
AT ITER 8296 NEW BEST:: SOT 1557113 SOS 235910 HAS SOPS 235910 HAS SOUS 114275 HAS SOUPS 114275 WITH SCORE 114510.91
AT ITER 8333 NEW BEST:: SOT 1557113 SOS 235846 HAS SOPS 235846 HAS SOUS 114211 HAS SOUPS 114211 WITH SCORE 114446.846
AT ITER 8460 NEW BEST:: SOT 1557105 SOS 235838 HAS SOPS 235838 HAS SOUS 114203 HAS SOUPS 114203 WITH SCORE 114438.838
AT ITER 8465 NEW BEST:: SOT 1557104 SOS 235832 HAS SOPS 235832 HAS SOUS 114201 HAS SOUPS 114201 WITH SCORE 114436.832
AT ITER 8492 NEW BEST:: SOT 1557104 SOS 235760 HAS SOPS 235760 HAS SOUS 114177 HAS SOUPS 114177 WITH SCORE 114412.76
AT ITER 8535 NEW BEST:: SOT 1557104 SOS 235853 HAS SOPS 235853 HAS SOUS 114142 HAS SOUPS 114142 WITH SCORE 114377.853
AT ITER 8576 NEW BEST:: SOT 1557104 SOS 235853 HAS SOPS 235853 HAS SOUS 114138 HAS SOUPS 114138 WITH SCORE 114373.853
AT ITER 8601 NEW BEST:: SOT 1557089 SOS 235823 HAS SOPS 235823 HAS SOUS 114108 HAS SOUPS 114108 WITH SCORE 114343.823
AT ITER 8624 NEW BEST:: SOT 1557089 SOS 235697 HAS SOPS 235697 HAS SOUS 114062 HAS SOUPS 114062 WITH SCORE 114297.697
AT ITER 8634 NEW BEST:: SOT 1557009 SOS 235521 HAS SOPS 235521 HAS SOUS 113950 HAS SOUPS 113950 WITH SCORE 114185.521
AT ITER 8662 NEW BEST:: SOT 1557009 SOS 235491 HAS SOPS 235491 HAS SOUS 113944 HAS SOUPS 113944 WITH SCORE 114179.491
AT ITER 8715 NEW BEST:: SOT 1557009 SOS 235491 HAS SOPS 235491 HAS SOUS 113918 HAS SOUPS 113918 WITH SCORE 114153.491
AT ITER 8718 NEW BEST:: SOT 1556794 SOS 235036 HAS SOPS 235036 HAS SOUS 113623 HAS SOUPS 113623 WITH SCORE 113858.036
AT ITER 8723 NEW BEST:: SOT 1556776 SOS 234928 HAS SOPS 234928 HAS SOUS 113587 HAS SOUPS 113587 WITH SCORE 113821.928
AT ITER 8735 NEW BEST:: SOT 1556776 SOS 234928 HAS SOPS 234928 HAS SOUS 113501 HAS SOUPS 113501 WITH SCORE 113735.928
AT ITER 8763 NEW BEST:: SOT 1556776 SOS 234898 HAS SOPS 234898 HAS SOUS 113491 HAS SOUPS 113491 WITH SCORE 113725.898
AT ITER 8805 NEW BEST:: SOT 1556776 SOS 234898 HAS SOPS 234898 HAS SOUS 113481 HAS SOUPS 113481 WITH SCORE 113715.898
AT ITER 8836 NEW BEST:: SOT 1556756 SOS 234874 HAS SOPS 234874 HAS SOUS 113457 HAS SOUPS 113457 WITH SCORE 113691.874
AT ITER 8956 NEW BEST:: SOT 1556780 SOS 234820 HAS SOPS 234820 HAS SOUS 113455 HAS SOUPS 113455 WITH SCORE 113689.82
AT ITER 8961 NEW BEST:: SOT 1556778 SOS 234816 HAS SOPS 234816 HAS SOUS 113451 HAS SOUPS 113451 WITH SCORE 113685.816
AT ITER 9049 NEW BEST:: SOT 1556723 SOS 234761 HAS SOPS 234761 HAS SOUS 113396 HAS SOUPS 113396 WITH SCORE 113630.761
AT ITER 9069 NEW BEST:: SOT 1556723 SOS 234761 HAS SOPS 234761 HAS SOUS 113364 HAS SOUPS 113364 WITH SCORE 113598.761
AT ITER 9149 NEW BEST:: SOT 1556723 SOS 234479 HAS SOPS 234479 HAS SOUS 113270 HAS SOUPS 113270 WITH SCORE 113504.479
AT ITER 9238 NEW BEST:: SOT 1556713 SOS 234469 HAS SOPS 234469 HAS SOUS 113260 HAS SOUPS 113260 WITH SCORE 113494.469
AT ITER 9261 NEW BEST:: SOT 1556699 SOS 234371 HAS SOPS 234371 HAS SOUS 113218 HAS SOUPS 113218 WITH SCORE 113452.371
AT ITER 9264 NEW BEST:: SOT 1556692 SOS 234329 HAS SOPS 234329 HAS SOUS 113204 HAS SOUPS 113204 WITH SCORE 113438.329
AT ITER 9304 NEW BEST:: SOT 1556692 SOS 234202 HAS SOPS 234202 HAS SOUS 113189 HAS SOUPS 113189 WITH SCORE 113423.202
AT ITER 9323 NEW BEST:: SOT 1556692 SOS 234160 HAS SOPS 234160 HAS SOUS 113175 HAS SOUPS 113175 WITH SCORE 113409.16
AT ITER 9333 NEW BEST:: SOT 1556692 SOS 234136 HAS SOPS 234136 HAS SOUS 113167 HAS SOUPS 113167 WITH SCORE 113401.136
AT ITER 9342 NEW BEST:: SOT 1556692 SOS 234086 HAS SOPS 234086 HAS SOUS 113117 HAS SOUPS 113117 WITH SCORE 113351.086
AT ITER 9395 NEW BEST:: SOT 1556692 SOS 234023 HAS SOPS 234023 HAS SOUS 113018 HAS SOUPS 113018 WITH SCORE 113252.023
AT ITER 9396 NEW BEST:: SOT 1556670 SOS 234020 HAS SOPS 234020 HAS SOUS 113015 HAS SOUPS 113015 WITH SCORE 113249.02
AT ITER 9402 NEW BEST:: SOT 1556650 SOS 233721 HAS SOPS 233721 HAS SOUS 112936 HAS SOUPS 112936 WITH SCORE 113169.721
AT ITER 9466 NEW BEST:: SOT 1556650 SOS 233721 HAS SOPS 233721 HAS SOUS 112915 HAS SOUPS 112915 WITH SCORE 113148.721
AT ITER 9528 NEW BEST:: SOT 1556647 SOS 233718 HAS SOPS 233718 HAS SOUS 112912 HAS SOUPS 112912 WITH SCORE 113145.718
AT ITER 9660 NEW BEST:: SOT 1556483 SOS 233554 HAS SOPS 233554 HAS SOUS 112748 HAS SOUPS 112748 WITH SCORE 112981.554
AT ITER 9666 NEW BEST:: SOT 1556462 SOS 233512 HAS SOPS 233512 HAS SOUS 112622 HAS SOUPS 112622 WITH SCORE 112855.512
AT ITER 9704 NEW BEST:: SOT 1556450 SOS 233494 HAS SOPS 233494 HAS SOUS 112600 HAS SOUPS 112600 WITH SCORE 112833.494
AT ITER 9766 NEW BEST:: SOT 1556370 SOS 233414 HAS SOPS 233414 HAS SOUS 112520 HAS SOUPS 112520 WITH SCORE 112753.414
AT ITER 9787 NEW BEST:: SOT 1556370 SOS 233360 HAS SOPS 233360 HAS SOUS 112502 HAS SOUPS 112502 WITH SCORE 112735.36
AT ITER 9822 NEW BEST:: SOT 1556333 SOS 233286 HAS SOPS 233286 HAS SOUS 112376 HAS SOUPS 112376 WITH SCORE 112609.286
AT ITER 9862 NEW BEST:: SOT 1556332 SOS 232943 HAS SOPS 232943 HAS SOUS 112337 HAS SOUPS 112337 WITH SCORE 112569.943
AT ITER 9870 NEW BEST:: SOT 1556332 SOS 232895 HAS SOPS 232895 HAS SOUS 112337 HAS SOUPS 112337 WITH SCORE 112569.895
AT ITER 9877 NEW BEST:: SOT 1556332 SOS 232895 HAS SOPS 232895 HAS SOUS 112297 HAS SOUPS 112297 WITH SCORE 112529.895
AT ITER 9982 NEW BEST:: SOT 1556332 SOS 232481 HAS SOPS 232481 HAS SOUS 112159 HAS SOUPS 112159 WITH SCORE 112391.481
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10498184 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123052 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
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="HexagonalGrid-PT-516"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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-5348"
echo " Executing tool smartxred"
echo " Input is HexagonalGrid-PT-516, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349500416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-516.tgz
mv HexagonalGrid-PT-516 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;