About the Execution of Smart+red for HexagonalGrid-PT-410
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3522.796 | 3600000.00 | 3632345.00 | 9840.20 | [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-167840349500408.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-410, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349500408
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.1K Feb 26 17:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 17:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 17:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K 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 17K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 179K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 17:13 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 568K 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 1678607611847
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-410
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 07:53:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 07:53:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 07:53:35] [INFO ] Load time of PNML (sax parser for PT used): 298 ms
[2023-03-12 07:53:35] [INFO ] Transformed 787 places.
[2023-03-12 07:53:35] [INFO ] Transformed 1374 transitions.
[2023-03-12 07:53:35] [INFO ] Parsed PT model containing 787 places and 1374 transitions and 5496 arcs in 401 ms.
[2023-03-12 07:53:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 787 places, 1374 transitions and 5496 arcs took 22 ms.
Total runtime 478 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 410
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: 787 places, 1374 transitions, 5496 arcs.
AT ITER 0 NEW BEST:: SOT 605882 SOS 122148 HAS SOPS 122148 HAS SOUS 58833 HAS SOUPS 58833 WITH SCORE 58955.148
AT ITER 14 NEW BEST:: SOT 605742 SOS 121840 HAS SOPS 121840 HAS SOUS 58637 HAS SOUPS 58637 WITH SCORE 58758.84
AT ITER 18 NEW BEST:: SOT 605742 SOS 121626 HAS SOPS 121626 HAS SOUS 58599 HAS SOUPS 58599 WITH SCORE 58720.626
AT ITER 76 NEW BEST:: SOT 605698 SOS 121358 HAS SOPS 121358 HAS SOUS 58475 HAS SOUPS 58475 WITH SCORE 58596.358
AT ITER 145 NEW BEST:: SOT 605713 SOS 121369 HAS SOPS 121369 HAS SOUS 58474 HAS SOUPS 58474 WITH SCORE 58595.369
AT ITER 163 NEW BEST:: SOT 605713 SOS 121369 HAS SOPS 121369 HAS SOUS 58446 HAS SOUPS 58446 WITH SCORE 58567.369
AT ITER 165 NEW BEST:: SOT 605548 SOS 121006 HAS SOPS 121006 HAS SOUS 58215 HAS SOUPS 58215 WITH SCORE 58336.006
AT ITER 195 NEW BEST:: SOT 605508 SOS 120726 HAS SOPS 120726 HAS SOUS 58095 HAS SOUPS 58095 WITH SCORE 58215.726
AT ITER 204 NEW BEST:: SOT 605508 SOS 120612 HAS SOPS 120612 HAS SOUS 58057 HAS SOUPS 58057 WITH SCORE 58177.612
AT ITER 207 NEW BEST:: SOT 605398 SOS 120379 HAS SOPS 120379 HAS SOUS 57912 HAS SOUPS 57912 WITH SCORE 58032.379
AT ITER 210 NEW BEST:: SOT 605213 SOS 120157 HAS SOPS 120157 HAS SOUS 57670 HAS SOUPS 57670 WITH SCORE 57790.157
AT ITER 254 NEW BEST:: SOT 605188 SOS 119982 HAS SOPS 119982 HAS SOUS 57595 HAS SOUPS 57595 WITH SCORE 57714.982
AT ITER 259 NEW BEST:: SOT 605176 SOS 119970 HAS SOPS 119970 HAS SOUS 57583 HAS SOUPS 57583 WITH SCORE 57702.97
AT ITER 284 NEW BEST:: SOT 604979 SOS 119576 HAS SOPS 119576 HAS SOUS 57357 HAS SOUPS 57357 WITH SCORE 57476.576
AT ITER 288 NEW BEST:: SOT 604979 SOS 119372 HAS SOPS 119372 HAS SOUS 57289 HAS SOUPS 57289 WITH SCORE 57408.372
AT ITER 308 NEW BEST:: SOT 604979 SOS 119182 HAS SOPS 119182 HAS SOUS 57251 HAS SOUPS 57251 WITH SCORE 57370.182
AT ITER 352 NEW BEST:: SOT 604995 SOS 119214 HAS SOPS 119214 HAS SOUS 57135 HAS SOUPS 57135 WITH SCORE 57254.214
AT ITER 354 NEW BEST:: SOT 605018 SOS 119237 HAS SOPS 119237 HAS SOUS 57134 HAS SOUPS 57134 WITH SCORE 57253.237
AT ITER 380 NEW BEST:: SOT 605013 SOS 119232 HAS SOPS 119232 HAS SOUS 57129 HAS SOUPS 57129 WITH SCORE 57248.232
AT ITER 385 NEW BEST:: SOT 604963 SOS 119172 HAS SOPS 119172 HAS SOUS 57069 HAS SOUPS 57069 WITH SCORE 57188.172
AT ITER 386 NEW BEST:: SOT 604963 SOS 119136 HAS SOPS 119136 HAS SOUS 57069 HAS SOUPS 57069 WITH SCORE 57188.136
AT ITER 396 NEW BEST:: SOT 604963 SOS 118930 HAS SOPS 118930 HAS SOUS 57039 HAS SOUPS 57039 WITH SCORE 57157.93
AT ITER 413 NEW BEST:: SOT 604963 SOS 118918 HAS SOPS 118918 HAS SOUS 57035 HAS SOUPS 57035 WITH SCORE 57153.918
AT ITER 430 NEW BEST:: SOT 604963 SOS 118912 HAS SOPS 118912 HAS SOUS 57029 HAS SOUPS 57029 WITH SCORE 57147.912
AT ITER 445 NEW BEST:: SOT 604963 SOS 118762 HAS SOPS 118762 HAS SOUS 56979 HAS SOUPS 56979 WITH SCORE 57097.762
AT ITER 456 NEW BEST:: SOT 604963 SOS 118762 HAS SOPS 118762 HAS SOUS 56953 HAS SOUPS 56953 WITH SCORE 57071.762
AT ITER 479 NEW BEST:: SOT 605001 SOS 118838 HAS SOPS 118838 HAS SOUS 56941 HAS SOUPS 56941 WITH SCORE 57059.838
AT ITER 493 NEW BEST:: SOT 604836 SOS 118508 HAS SOPS 118508 HAS SOUS 56747 HAS SOUPS 56747 WITH SCORE 56865.508
AT ITER 501 NEW BEST:: SOT 604831 SOS 118503 HAS SOPS 118503 HAS SOUS 56737 HAS SOUPS 56737 WITH SCORE 56855.503
AT ITER 548 NEW BEST:: SOT 604824 SOS 118489 HAS SOPS 118489 HAS SOUS 56723 HAS SOUPS 56723 WITH SCORE 56841.489
AT ITER 618 NEW BEST:: SOT 604807 SOS 118483 HAS SOPS 118483 HAS SOUS 56717 HAS SOUPS 56717 WITH SCORE 56835.483
AT ITER 623 NEW BEST:: SOT 604807 SOS 118475 HAS SOPS 118475 HAS SOUS 56709 HAS SOUPS 56709 WITH SCORE 56827.475
AT ITER 635 NEW BEST:: SOT 604807 SOS 118305 HAS SOPS 118305 HAS SOUS 56675 HAS SOUPS 56675 WITH SCORE 56793.305
AT ITER 644 NEW BEST:: SOT 604790 SOS 118164 HAS SOPS 118164 HAS SOUS 56650 HAS SOUPS 56650 WITH SCORE 56768.164
AT ITER 720 NEW BEST:: SOT 604605 SOS 117757 HAS SOPS 117757 HAS SOUS 56391 HAS SOUPS 56391 WITH SCORE 56508.757
AT ITER 759 NEW BEST:: SOT 604630 SOS 117770 HAS SOPS 117770 HAS SOUS 56248 HAS SOUPS 56248 WITH SCORE 56365.77
AT ITER 774 NEW BEST:: SOT 604475 SOS 117429 HAS SOPS 117429 HAS SOUS 56031 HAS SOUPS 56031 WITH SCORE 56148.429
AT ITER 783 NEW BEST:: SOT 604440 SOS 117317 HAS SOPS 117317 HAS SOUS 55975 HAS SOUPS 55975 WITH SCORE 56092.317
AT ITER 789 NEW BEST:: SOT 604449 SOS 117170 HAS SOPS 117170 HAS SOUS 55960 HAS SOUPS 55960 WITH SCORE 56077.17
AT ITER 805 NEW BEST:: SOT 604449 SOS 117152 HAS SOPS 117152 HAS SOUS 55954 HAS SOUPS 55954 WITH SCORE 56071.152
AT ITER 817 NEW BEST:: SOT 604414 SOS 116903 HAS SOPS 116903 HAS SOUS 55845 HAS SOUPS 55845 WITH SCORE 55961.903
AT ITER 896 NEW BEST:: SOT 604390 SOS 116787 HAS SOPS 116787 HAS SOUS 55837 HAS SOUPS 55837 WITH SCORE 55953.787
AT ITER 969 NEW BEST:: SOT 604383 SOS 116780 HAS SOPS 116780 HAS SOUS 55837 HAS SOUPS 55837 WITH SCORE 55953.78
AT ITER 1008 NEW BEST:: SOT 604348 SOS 116535 HAS SOPS 116535 HAS SOUS 55732 HAS SOUPS 55732 WITH SCORE 55848.535
AT ITER 1013 NEW BEST:: SOT 604193 SOS 116349 HAS SOPS 116349 HAS SOUS 55530 HAS SOUPS 55530 WITH SCORE 55646.349
AT ITER 1025 NEW BEST:: SOT 604193 SOS 116319 HAS SOPS 116319 HAS SOUS 55520 HAS SOUPS 55520 WITH SCORE 55636.319
AT ITER 1066 NEW BEST:: SOT 604176 SOS 116165 HAS SOPS 116165 HAS SOUS 55482 HAS SOUPS 55482 WITH SCORE 55598.165
AT ITER 1076 NEW BEST:: SOT 604297 SOS 116407 HAS SOPS 116407 HAS SOUS 55416 HAS SOUPS 55416 WITH SCORE 55532.407
AT ITER 1143 NEW BEST:: SOT 604279 SOS 116389 HAS SOPS 116389 HAS SOUS 55398 HAS SOUPS 55398 WITH SCORE 55514.389
AT ITER 1174 NEW BEST:: SOT 604265 SOS 116375 HAS SOPS 116375 HAS SOUS 55398 HAS SOUPS 55398 WITH SCORE 55514.375
AT ITER 1194 NEW BEST:: SOT 604201 SOS 116311 HAS SOPS 116311 HAS SOUS 55334 HAS SOUPS 55334 WITH SCORE 55450.311
AT ITER 1199 NEW BEST:: SOT 604011 SOS 115893 HAS SOPS 115893 HAS SOUS 55068 HAS SOUPS 55068 WITH SCORE 55183.893
AT ITER 1262 NEW BEST:: SOT 603911 SOS 115693 HAS SOPS 115693 HAS SOUS 54948 HAS SOUPS 54948 WITH SCORE 55063.693
AT ITER 1394 NEW BEST:: SOT 603911 SOS 115681 HAS SOPS 115681 HAS SOUS 54944 HAS SOUPS 54944 WITH SCORE 55059.681
AT ITER 1398 NEW BEST:: SOT 603908 SOS 115675 HAS SOPS 115675 HAS SOUS 54938 HAS SOUPS 54938 WITH SCORE 55053.675
AT ITER 1432 NEW BEST:: SOT 603896 SOS 115663 HAS SOPS 115663 HAS SOUS 54926 HAS SOUPS 54926 WITH SCORE 55041.663
AT ITER 1472 NEW BEST:: SOT 603896 SOS 115858 HAS SOPS 115858 HAS SOUS 54857 HAS SOUPS 54857 WITH SCORE 54972.858
AT ITER 1527 NEW BEST:: SOT 603896 SOS 115847 HAS SOPS 115847 HAS SOUS 54846 HAS SOUPS 54846 WITH SCORE 54961.847
AT ITER 1542 NEW BEST:: SOT 603896 SOS 115714 HAS SOPS 115714 HAS SOUS 54829 HAS SOUPS 54829 WITH SCORE 54944.714
AT ITER 1598 NEW BEST:: SOT 603874 SOS 115670 HAS SOPS 115670 HAS SOUS 54785 HAS SOUPS 54785 WITH SCORE 54900.67
AT ITER 1601 NEW BEST:: SOT 603867 SOS 115663 HAS SOPS 115663 HAS SOUS 54778 HAS SOUPS 54778 WITH SCORE 54893.663
AT ITER 1716 NEW BEST:: SOT 603852 SOS 115645 HAS SOPS 115645 HAS SOUS 54760 HAS SOUPS 54760 WITH SCORE 54875.645
AT ITER 1723 NEW BEST:: SOT 603823 SOS 115573 HAS SOPS 115573 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54803.573
AT ITER 1747 NEW BEST:: SOT 603823 SOS 115339 HAS SOPS 115339 HAS SOUS 54610 HAS SOUPS 54610 WITH SCORE 54725.339
AT ITER 1768 NEW BEST:: SOT 603651 SOS 115135 HAS SOPS 115135 HAS SOUS 54434 HAS SOUPS 54434 WITH SCORE 54549.135
AT ITER 1778 NEW BEST:: SOT 603626 SOS 115030 HAS SOPS 115030 HAS SOUS 54389 HAS SOUPS 54389 WITH SCORE 54504.03
AT ITER 1809 NEW BEST:: SOT 603650 SOS 115054 HAS SOPS 115054 HAS SOUS 54383 HAS SOUPS 54383 WITH SCORE 54498.054
AT ITER 1820 NEW BEST:: SOT 603485 SOS 114662 HAS SOPS 114662 HAS SOUS 54315 HAS SOUPS 54315 WITH SCORE 54429.662
AT ITER 1829 NEW BEST:: SOT 603484 SOS 114660 HAS SOPS 114660 HAS SOUS 54313 HAS SOUPS 54313 WITH SCORE 54427.66
AT ITER 1843 NEW BEST:: SOT 603439 SOS 114561 HAS SOPS 114561 HAS SOUS 54250 HAS SOUPS 54250 WITH SCORE 54364.561
AT ITER 1894 NEW BEST:: SOT 603417 SOS 114517 HAS SOPS 114517 HAS SOUS 54206 HAS SOUPS 54206 WITH SCORE 54320.517
AT ITER 1916 NEW BEST:: SOT 603388 SOS 114314 HAS SOPS 114314 HAS SOUS 54119 HAS SOUPS 54119 WITH SCORE 54233.314
AT ITER 1922 NEW BEST:: SOT 603431 SOS 114400 HAS SOPS 114400 HAS SOUS 54085 HAS SOUPS 54085 WITH SCORE 54199.4
AT ITER 1925 NEW BEST:: SOT 603336 SOS 114286 HAS SOPS 114286 HAS SOUS 53927 HAS SOUPS 53927 WITH SCORE 54041.286
AT ITER 1965 NEW BEST:: SOT 603324 SOS 114202 HAS SOPS 114202 HAS SOUS 53891 HAS SOUPS 53891 WITH SCORE 54005.202
AT ITER 2034 NEW BEST:: SOT 603345 SOS 114244 HAS SOPS 114244 HAS SOUS 53781 HAS SOUPS 53781 WITH SCORE 53895.244
AT ITER 2077 NEW BEST:: SOT 603307 SOS 113978 HAS SOPS 113978 HAS SOUS 53667 HAS SOUPS 53667 WITH SCORE 53780.978
AT ITER 2086 NEW BEST:: SOT 603297 SOS 113956 HAS SOPS 113956 HAS SOUS 53663 HAS SOUPS 53663 WITH SCORE 53776.956
AT ITER 2109 NEW BEST:: SOT 603293 SOS 113932 HAS SOPS 113932 HAS SOUS 53655 HAS SOUPS 53655 WITH SCORE 53768.932
AT ITER 2132 NEW BEST:: SOT 603293 SOS 113932 HAS SOPS 113932 HAS SOUS 53637 HAS SOUPS 53637 WITH SCORE 53750.932
AT ITER 2159 NEW BEST:: SOT 603290 SOS 113929 HAS SOPS 113929 HAS SOUS 53637 HAS SOUPS 53637 WITH SCORE 53750.929
AT ITER 2186 NEW BEST:: SOT 603290 SOS 113802 HAS SOPS 113802 HAS SOUS 53626 HAS SOUPS 53626 WITH SCORE 53739.802
AT ITER 2203 NEW BEST:: SOT 603245 SOS 113748 HAS SOPS 113748 HAS SOUS 53548 HAS SOUPS 53548 WITH SCORE 53661.748
AT ITER 2230 NEW BEST:: SOT 603060 SOS 113526 HAS SOPS 113526 HAS SOUS 53326 HAS SOUPS 53326 WITH SCORE 53439.526
AT ITER 2246 NEW BEST:: SOT 603010 SOS 113301 HAS SOPS 113301 HAS SOUS 53325 HAS SOUPS 53325 WITH SCORE 53438.301
AT ITER 2270 NEW BEST:: SOT 602993 SOS 113291 HAS SOPS 113291 HAS SOUS 53315 HAS SOUPS 53315 WITH SCORE 53428.291
AT ITER 2275 NEW BEST:: SOT 602929 SOS 113227 HAS SOPS 113227 HAS SOUS 53251 HAS SOUPS 53251 WITH SCORE 53364.227
AT ITER 2319 NEW BEST:: SOT 602927 SOS 113225 HAS SOPS 113225 HAS SOUS 53249 HAS SOUPS 53249 WITH SCORE 53362.225
AT ITER 2371 NEW BEST:: SOT 602927 SOS 113099 HAS SOPS 113099 HAS SOUS 53207 HAS SOUPS 53207 WITH SCORE 53320.099
AT ITER 2416 NEW BEST:: SOT 602927 SOS 113090 HAS SOPS 113090 HAS SOUS 53198 HAS SOUPS 53198 WITH SCORE 53311.09
AT ITER 2422 NEW BEST:: SOT 602882 SOS 112873 HAS SOPS 112873 HAS SOUS 53085 HAS SOUPS 53085 WITH SCORE 53197.873
AT ITER 2501 NEW BEST:: SOT 602882 SOS 112873 HAS SOPS 112873 HAS SOUS 53065 HAS SOUPS 53065 WITH SCORE 53177.873
AT ITER 2520 NEW BEST:: SOT 602882 SOS 112889 HAS SOPS 112889 HAS SOUS 53045 HAS SOUPS 53045 WITH SCORE 53157.889
AT ITER 2535 NEW BEST:: SOT 602878 SOS 112885 HAS SOPS 112885 HAS SOUS 53045 HAS SOUPS 53045 WITH SCORE 53157.885
AT ITER 2544 NEW BEST:: SOT 602878 SOS 112780 HAS SOPS 112780 HAS SOUS 53024 HAS SOUPS 53024 WITH SCORE 53136.78
AT ITER 2555 NEW BEST:: SOT 602878 SOS 112780 HAS SOPS 112780 HAS SOUS 53010 HAS SOUPS 53010 WITH SCORE 53122.78
AT ITER 2566 NEW BEST:: SOT 602878 SOS 112780 HAS SOPS 112780 HAS SOUS 53009 HAS SOUPS 53009 WITH SCORE 53121.78
AT ITER 2588 NEW BEST:: SOT 602878 SOS 112774 HAS SOPS 112774 HAS SOUS 53007 HAS SOUPS 53007 WITH SCORE 53119.774
AT ITER 2603 NEW BEST:: SOT 602878 SOS 112774 HAS SOPS 112774 HAS SOUS 53001 HAS SOUPS 53001 WITH SCORE 53113.774
AT ITER 2607 NEW BEST:: SOT 602878 SOS 112830 HAS SOPS 112830 HAS SOUS 52945 HAS SOUPS 52945 WITH SCORE 53057.83
AT ITER 2734 NEW BEST:: SOT 602878 SOS 112836 HAS SOPS 112836 HAS SOUS 52923 HAS SOUPS 52923 WITH SCORE 53035.836
AT ITER 2736 NEW BEST:: SOT 602793 SOS 112526 HAS SOPS 112526 HAS SOUS 52781 HAS SOUPS 52781 WITH SCORE 52893.526
AT ITER 2749 NEW BEST:: SOT 602758 SOS 112319 HAS SOPS 112319 HAS SOUS 52706 HAS SOUPS 52706 WITH SCORE 52818.319
AT ITER 2751 NEW BEST:: SOT 602744 SOS 112106 HAS SOPS 112106 HAS SOUS 52625 HAS SOUPS 52625 WITH SCORE 52737.106
AT ITER 2794 NEW BEST:: SOT 602737 SOS 112102 HAS SOPS 112102 HAS SOUS 52621 HAS SOUPS 52621 WITH SCORE 52733.102
AT ITER 2845 NEW BEST:: SOT 602713 SOS 111946 HAS SOPS 111946 HAS SOUS 52621 HAS SOUPS 52621 WITH SCORE 52732.946
AT ITER 2919 NEW BEST:: SOT 602601 SOS 112866 HAS SOPS 112866 HAS SOUS 52592 HAS SOUPS 52592 WITH SCORE 52704.866
AT ITER 2920 NEW BEST:: SOT 602601 SOS 112866 HAS SOPS 112866 HAS SOUS 52560 HAS SOUPS 52560 WITH SCORE 52672.866
AT ITER 2928 NEW BEST:: SOT 602601 SOS 112776 HAS SOPS 112776 HAS SOUS 52542 HAS SOUPS 52542 WITH SCORE 52654.776
AT ITER 2930 NEW BEST:: SOT 602601 SOS 112776 HAS SOPS 112776 HAS SOUS 52535 HAS SOUPS 52535 WITH SCORE 52647.776
AT ITER 2937 NEW BEST:: SOT 602560 SOS 112735 HAS SOPS 112735 HAS SOUS 52494 HAS SOUPS 52494 WITH SCORE 52606.735
AT ITER 2962 NEW BEST:: SOT 602558 SOS 112731 HAS SOPS 112731 HAS SOUS 52490 HAS SOUPS 52490 WITH SCORE 52602.731
AT ITER 3027 NEW BEST:: SOT 602433 SOS 112456 HAS SOPS 112456 HAS SOUS 52315 HAS SOUPS 52315 WITH SCORE 52427.456
AT ITER 3052 NEW BEST:: SOT 602413 SOS 112430 HAS SOPS 112430 HAS SOUS 52303 HAS SOUPS 52303 WITH SCORE 52415.43
AT ITER 3056 NEW BEST:: SOT 602413 SOS 112550 HAS SOPS 112550 HAS SOUS 52239 HAS SOUPS 52239 WITH SCORE 52351.55
AT ITER 3076 NEW BEST:: SOT 602378 SOS 112431 HAS SOPS 112431 HAS SOUS 52225 HAS SOUPS 52225 WITH SCORE 52337.431
AT ITER 3133 NEW BEST:: SOT 602368 SOS 112411 HAS SOPS 112411 HAS SOUS 52213 HAS SOUPS 52213 WITH SCORE 52325.411
AT ITER 3160 NEW BEST:: SOT 602158 SOS 112208 HAS SOPS 112208 HAS SOUS 52094 HAS SOUPS 52094 WITH SCORE 52206.208
AT ITER 3192 NEW BEST:: SOT 602158 SOS 112197 HAS SOPS 112197 HAS SOUS 52083 HAS SOUPS 52083 WITH SCORE 52195.197
AT ITER 3207 NEW BEST:: SOT 602158 SOS 112092 HAS SOPS 112092 HAS SOUS 52062 HAS SOUPS 52062 WITH SCORE 52174.092
AT ITER 3258 NEW BEST:: SOT 602132 SOS 111910 HAS SOPS 111910 HAS SOUS 51984 HAS SOUPS 51984 WITH SCORE 52095.91
AT ITER 3277 NEW BEST:: SOT 602149 SOS 111825 HAS SOPS 111825 HAS SOUS 51967 HAS SOUPS 51967 WITH SCORE 52078.825
AT ITER 3374 NEW BEST:: SOT 602133 SOS 111793 HAS SOPS 111793 HAS SOUS 51935 HAS SOUPS 51935 WITH SCORE 52046.793
AT ITER 3392 NEW BEST:: SOT 602133 SOS 111793 HAS SOPS 111793 HAS SOUS 51903 HAS SOUPS 51903 WITH SCORE 52014.793
AT ITER 3429 NEW BEST:: SOT 602114 SOS 111651 HAS SOPS 111651 HAS SOUS 51869 HAS SOUPS 51869 WITH SCORE 51980.651
AT ITER 3457 NEW BEST:: SOT 602097 SOS 111549 HAS SOPS 111549 HAS SOUS 51835 HAS SOUPS 51835 WITH SCORE 51946.549
AT ITER 3476 NEW BEST:: SOT 602097 SOS 111499 HAS SOPS 111499 HAS SOUS 51825 HAS SOUPS 51825 WITH SCORE 51936.499
AT ITER 3573 NEW BEST:: SOT 602097 SOS 111499 HAS SOPS 111499 HAS SOUS 51820 HAS SOUPS 51820 WITH SCORE 51931.499
AT ITER 3607 NEW BEST:: SOT 602090 SOS 111457 HAS SOPS 111457 HAS SOUS 51806 HAS SOUPS 51806 WITH SCORE 51917.457
AT ITER 3661 NEW BEST:: SOT 602058 SOS 111285 HAS SOPS 111285 HAS SOUS 51790 HAS SOUPS 51790 WITH SCORE 51901.285
AT ITER 3675 NEW BEST:: SOT 601857 SOS 110883 HAS SOPS 110883 HAS SOUS 51556 HAS SOUPS 51556 WITH SCORE 51666.883
AT ITER 3704 NEW BEST:: SOT 601833 SOS 110835 HAS SOPS 110835 HAS SOUS 51500 HAS SOUPS 51500 WITH SCORE 51610.835
AT ITER 3715 NEW BEST:: SOT 601818 SOS 110792 HAS SOPS 110792 HAS SOUS 51500 HAS SOUPS 51500 WITH SCORE 51610.792
AT ITER 3743 NEW BEST:: SOT 601687 SOS 110546 HAS SOPS 110546 HAS SOUS 51346 HAS SOUPS 51346 WITH SCORE 51456.546
AT ITER 3760 NEW BEST:: SOT 601683 SOS 110497 HAS SOPS 110497 HAS SOUS 51313 HAS SOUPS 51313 WITH SCORE 51423.497
AT ITER 3780 NEW BEST:: SOT 601683 SOS 110337 HAS SOPS 110337 HAS SOUS 51289 HAS SOUPS 51289 WITH SCORE 51399.337
AT ITER 3848 NEW BEST:: SOT 601683 SOS 110307 HAS SOPS 110307 HAS SOUS 51283 HAS SOUPS 51283 WITH SCORE 51393.307
AT ITER 3855 NEW BEST:: SOT 601683 SOS 110317 HAS SOPS 110317 HAS SOUS 51277 HAS SOUPS 51277 WITH SCORE 51387.317
AT ITER 3878 NEW BEST:: SOT 601679 SOS 110311 HAS SOPS 110311 HAS SOUS 51273 HAS SOUPS 51273 WITH SCORE 51383.311
AT ITER 3904 NEW BEST:: SOT 601679 SOS 110311 HAS SOPS 110311 HAS SOUS 51263 HAS SOUPS 51263 WITH SCORE 51373.311
AT ITER 4000 NEW BEST:: SOT 601656 SOS 110173 HAS SOPS 110173 HAS SOUS 51217 HAS SOUPS 51217 WITH SCORE 51327.173
AT ITER 4008 NEW BEST:: SOT 601659 SOS 109984 HAS SOPS 109984 HAS SOUS 51184 HAS SOUPS 51184 WITH SCORE 51293.984
AT ITER 4052 NEW BEST:: SOT 601659 SOS 109984 HAS SOPS 109984 HAS SOUS 51182 HAS SOUPS 51182 WITH SCORE 51291.984
AT ITER 4095 NEW BEST:: SOT 601631 SOS 109956 HAS SOPS 109956 HAS SOUS 51154 HAS SOUPS 51154 WITH SCORE 51263.956
AT ITER 4108 NEW BEST:: SOT 601631 SOS 109956 HAS SOPS 109956 HAS SOUS 51130 HAS SOUPS 51130 WITH SCORE 51239.956
AT ITER 4164 NEW BEST:: SOT 601631 SOS 109815 HAS SOPS 109815 HAS SOUS 51093 HAS SOUPS 51093 WITH SCORE 51202.815
AT ITER 4172 NEW BEST:: SOT 601608 SOS 109792 HAS SOPS 109792 HAS SOUS 51083 HAS SOUPS 51083 WITH SCORE 51192.792
AT ITER 4325 NEW BEST:: SOT 601473 SOS 109522 HAS SOPS 109522 HAS SOUS 50921 HAS SOUPS 50921 WITH SCORE 51030.522
AT ITER 4338 NEW BEST:: SOT 601473 SOS 109486 HAS SOPS 109486 HAS SOUS 50909 HAS SOUPS 50909 WITH SCORE 51018.486
AT ITER 4376 NEW BEST:: SOT 601473 SOS 108701 HAS SOPS 108701 HAS SOUS 50891 HAS SOUPS 50891 WITH SCORE 50999.701
AT ITER 4486 NEW BEST:: SOT 601473 SOS 108553 HAS SOPS 108553 HAS SOUS 50851 HAS SOUPS 50851 WITH SCORE 50959.553
AT ITER 4538 NEW BEST:: SOT 601473 SOS 108553 HAS SOPS 108553 HAS SOUS 50820 HAS SOUPS 50820 WITH SCORE 50928.553
AT ITER 4543 NEW BEST:: SOT 601473 SOS 108523 HAS SOPS 108523 HAS SOUS 50810 HAS SOUPS 50810 WITH SCORE 50918.523
AT ITER 4544 NEW BEST:: SOT 601462 SOS 108512 HAS SOPS 108512 HAS SOUS 50771 HAS SOUPS 50771 WITH SCORE 50879.512
AT ITER 4648 NEW BEST:: SOT 601462 SOS 108312 HAS SOPS 108312 HAS SOUS 50731 HAS SOUPS 50731 WITH SCORE 50839.312
AT ITER 4690 NEW BEST:: SOT 601462 SOS 108312 HAS SOPS 108312 HAS SOUS 50723 HAS SOUPS 50723 WITH SCORE 50831.312
AT ITER 4785 NEW BEST:: SOT 601462 SOS 108312 HAS SOPS 108312 HAS SOUS 50720 HAS SOUPS 50720 WITH SCORE 50828.312
AT ITER 4817 NEW BEST:: SOT 601462 SOS 108312 HAS SOPS 108312 HAS SOUS 50701 HAS SOUPS 50701 WITH SCORE 50809.312
AT ITER 4861 NEW BEST:: SOT 601402 SOS 108240 HAS SOPS 108240 HAS SOUS 50645 HAS SOUPS 50645 WITH SCORE 50753.24
AT ITER 4867 NEW BEST:: SOT 601408 SOS 108112 HAS SOPS 108112 HAS SOUS 50629 HAS SOUPS 50629 WITH SCORE 50737.112
AT ITER 4930 NEW BEST:: SOT 601363 SOS 108018 HAS SOPS 108018 HAS SOUS 50575 HAS SOUPS 50575 WITH SCORE 50683.018
AT ITER 4932 NEW BEST:: SOT 601340 SOS 107856 HAS SOPS 107856 HAS SOUS 50529 HAS SOUPS 50529 WITH SCORE 50636.856
AT ITER 4960 NEW BEST:: SOT 601340 SOS 107776 HAS SOPS 107776 HAS SOUS 50517 HAS SOUPS 50517 WITH SCORE 50624.776
AT ITER 5007 NEW BEST:: SOT 601347 SOS 107748 HAS SOPS 107748 HAS SOUS 50517 HAS SOUPS 50517 WITH SCORE 50624.748
AT ITER 5166 NEW BEST:: SOT 601387 SOS 107802 HAS SOPS 107802 HAS SOUS 50515 HAS SOUPS 50515 WITH SCORE 50622.802
AT ITER 5215 NEW BEST:: SOT 601387 SOS 107802 HAS SOPS 107802 HAS SOUS 50504 HAS SOUPS 50504 WITH SCORE 50611.802
AT ITER 5352 NEW BEST:: SOT 601387 SOS 107867 HAS SOPS 107867 HAS SOUS 50465 HAS SOUPS 50465 WITH SCORE 50572.867
AT ITER 5429 NEW BEST:: SOT 601387 SOS 107867 HAS SOPS 107867 HAS SOUS 50449 HAS SOUPS 50449 WITH SCORE 50556.867
AT ITER 5466 NEW BEST:: SOT 601387 SOS 107866 HAS SOPS 107866 HAS SOUS 50448 HAS SOUPS 50448 WITH SCORE 50555.866
AT ITER 5478 NEW BEST:: SOT 601374 SOS 107853 HAS SOPS 107853 HAS SOUS 50435 HAS SOUPS 50435 WITH SCORE 50542.853
AT ITER 5528 NEW BEST:: SOT 601374 SOS 107809 HAS SOPS 107809 HAS SOUS 50427 HAS SOUPS 50427 WITH SCORE 50534.809
AT ITER 5575 NEW BEST:: SOT 601374 SOS 107761 HAS SOPS 107761 HAS SOUS 50411 HAS SOUPS 50411 WITH SCORE 50518.761
AT ITER 5599 NEW BEST:: SOT 601374 SOS 107713 HAS SOPS 107713 HAS SOUS 50395 HAS SOUPS 50395 WITH SCORE 50502.713
AT ITER 5605 NEW BEST:: SOT 601374 SOS 107599 HAS SOPS 107599 HAS SOUS 50357 HAS SOUPS 50357 WITH SCORE 50464.599
AT ITER 5666 NEW BEST:: SOT 601373 SOS 107593 HAS SOPS 107593 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50462.593
AT ITER 5686 NEW BEST:: SOT 601193 SOS 107253 HAS SOPS 107253 HAS SOUS 50143 HAS SOUPS 50143 WITH SCORE 50250.253
AT ITER 5717 NEW BEST:: SOT 601193 SOS 107268 HAS SOPS 107268 HAS SOUS 50138 HAS SOUPS 50138 WITH SCORE 50245.268
AT ITER 5747 NEW BEST:: SOT 601192 SOS 107267 HAS SOPS 107267 HAS SOUS 50138 HAS SOUPS 50138 WITH SCORE 50245.267
AT ITER 5761 NEW BEST:: SOT 601192 SOS 107267 HAS SOPS 107267 HAS SOUS 50110 HAS SOUPS 50110 WITH SCORE 50217.267
AT ITER 5816 NEW BEST:: SOT 601183 SOS 107234 HAS SOPS 107234 HAS SOUS 50093 HAS SOUPS 50093 WITH SCORE 50200.234
AT ITER 5841 NEW BEST:: SOT 601153 SOS 107204 HAS SOPS 107204 HAS SOUS 50063 HAS SOUPS 50063 WITH SCORE 50170.204
AT ITER 5896 NEW BEST:: SOT 601153 SOS 107194 HAS SOPS 107194 HAS SOUS 50061 HAS SOUPS 50061 WITH SCORE 50168.194
AT ITER 5899 NEW BEST:: SOT 601184 SOS 107219 HAS SOPS 107219 HAS SOUS 50006 HAS SOUPS 50006 WITH SCORE 50113.219
AT ITER 5917 NEW BEST:: SOT 601172 SOS 107147 HAS SOPS 107147 HAS SOUS 49982 HAS SOUPS 49982 WITH SCORE 50089.147
AT ITER 5972 NEW BEST:: SOT 601172 SOS 107147 HAS SOPS 107147 HAS SOUS 49952 HAS SOUPS 49952 WITH SCORE 50059.147
AT ITER 5991 NEW BEST:: SOT 601167 SOS 107141 HAS SOPS 107141 HAS SOUS 49934 HAS SOUPS 49934 WITH SCORE 50041.141
AT ITER 6001 NEW BEST:: SOT 601167 SOS 107261 HAS SOPS 107261 HAS SOUS 49926 HAS SOUPS 49926 WITH SCORE 50033.261
AT ITER 6120 NEW BEST:: SOT 601151 SOS 107229 HAS SOPS 107229 HAS SOUS 49894 HAS SOUPS 49894 WITH SCORE 50001.229
AT ITER 6177 NEW BEST:: SOT 601039 SOS 107117 HAS SOPS 107117 HAS SOUS 49782 HAS SOUPS 49782 WITH SCORE 49889.117
AT ITER 6257 NEW BEST:: SOT 601001 SOS 107081 HAS SOPS 107081 HAS SOUS 49746 HAS SOUPS 49746 WITH SCORE 49853.081
AT ITER 6277 NEW BEST:: SOT 600995 SOS 107085 HAS SOPS 107085 HAS SOUS 49742 HAS SOUPS 49742 WITH SCORE 49849.085
AT ITER 6364 NEW BEST:: SOT 600995 SOS 107085 HAS SOPS 107085 HAS SOUS 49702 HAS SOUPS 49702 WITH SCORE 49809.085
AT ITER 6376 NEW BEST:: SOT 600995 SOS 106739 HAS SOPS 106739 HAS SOUS 49688 HAS SOUPS 49688 WITH SCORE 49794.739
AT ITER 6425 NEW BEST:: SOT 600995 SOS 106601 HAS SOPS 106601 HAS SOUS 49642 HAS SOUPS 49642 WITH SCORE 49748.601
AT ITER 6452 NEW BEST:: SOT 600965 SOS 106565 HAS SOPS 106565 HAS SOUS 49606 HAS SOUPS 49606 WITH SCORE 49712.565
AT ITER 6484 NEW BEST:: SOT 600964 SOS 106510 HAS SOPS 106510 HAS SOUS 49599 HAS SOUPS 49599 WITH SCORE 49705.51
AT ITER 6494 NEW BEST:: SOT 600964 SOS 106535 HAS SOPS 106535 HAS SOUS 49568 HAS SOUPS 49568 WITH SCORE 49674.535
AT ITER 6506 NEW BEST:: SOT 600980 SOS 106539 HAS SOPS 106539 HAS SOUS 49528 HAS SOUPS 49528 WITH SCORE 49634.539
AT ITER 6515 NEW BEST:: SOT 600953 SOS 106377 HAS SOPS 106377 HAS SOUS 49474 HAS SOUPS 49474 WITH SCORE 49580.377
AT ITER 6622 NEW BEST:: SOT 600947 SOS 106341 HAS SOPS 106341 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49568.341
AT ITER 6629 NEW BEST:: SOT 600947 SOS 106209 HAS SOPS 106209 HAS SOUS 49418 HAS SOUPS 49418 WITH SCORE 49524.209
AT ITER 6769 NEW BEST:: SOT 600945 SOS 106187 HAS SOPS 106187 HAS SOUS 49404 HAS SOUPS 49404 WITH SCORE 49510.187
AT ITER 6772 NEW BEST:: SOT 600945 SOS 106187 HAS SOPS 106187 HAS SOUS 49396 HAS SOUPS 49396 WITH SCORE 49502.187
AT ITER 6799 NEW BEST:: SOT 600895 SOS 106087 HAS SOPS 106087 HAS SOUS 49336 HAS SOUPS 49336 WITH SCORE 49442.087
AT ITER 6892 NEW BEST:: SOT 600891 SOS 105793 HAS SOPS 105793 HAS SOUS 49274 HAS SOUPS 49274 WITH SCORE 49379.793
AT ITER 6988 NEW BEST:: SOT 600891 SOS 105763 HAS SOPS 105763 HAS SOUS 49272 HAS SOUPS 49272 WITH SCORE 49377.763
AT ITER 7072 NEW BEST:: SOT 600891 SOS 105763 HAS SOPS 105763 HAS SOUS 49261 HAS SOUPS 49261 WITH SCORE 49366.763
AT ITER 7082 NEW BEST:: SOT 600891 SOS 105761 HAS SOPS 105761 HAS SOUS 49259 HAS SOUPS 49259 WITH SCORE 49364.761
AT ITER 7149 NEW BEST:: SOT 600889 SOS 105590 HAS SOPS 105590 HAS SOUS 49248 HAS SOUPS 49248 WITH SCORE 49353.59
AT ITER 7207 NEW BEST:: SOT 600868 SOS 105464 HAS SOPS 105464 HAS SOUS 49206 HAS SOUPS 49206 WITH SCORE 49311.464
AT ITER 7230 NEW BEST:: SOT 600867 SOS 105462 HAS SOPS 105462 HAS SOUS 49204 HAS SOUPS 49204 WITH SCORE 49309.462
AT ITER 7295 NEW BEST:: SOT 600802 SOS 105319 HAS SOPS 105319 HAS SOUS 49113 HAS SOUPS 49113 WITH SCORE 49218.319
AT ITER 7343 NEW BEST:: SOT 600786 SOS 105199 HAS SOPS 105199 HAS SOUS 49085 HAS SOUPS 49085 WITH SCORE 49190.199
AT ITER 7382 NEW BEST:: SOT 600761 SOS 105174 HAS SOPS 105174 HAS SOUS 49060 HAS SOUPS 49060 WITH SCORE 49165.174
AT ITER 7417 NEW BEST:: SOT 600761 SOS 105174 HAS SOPS 105174 HAS SOUS 49048 HAS SOUPS 49048 WITH SCORE 49153.174
AT ITER 7473 NEW BEST:: SOT 600761 SOS 105174 HAS SOPS 105174 HAS SOUS 49040 HAS SOUPS 49040 WITH SCORE 49145.174
AT ITER 7536 NEW BEST:: SOT 600765 SOS 105222 HAS SOPS 105222 HAS SOUS 49036 HAS SOUPS 49036 WITH SCORE 49141.222
AT ITER 7553 NEW BEST:: SOT 600757 SOS 105210 HAS SOPS 105210 HAS SOUS 49028 HAS SOUPS 49028 WITH SCORE 49133.21
AT ITER 7714 NEW BEST:: SOT 600757 SOS 105210 HAS SOPS 105210 HAS SOUS 49018 HAS SOUPS 49018 WITH SCORE 49123.21
AT ITER 7976 NEW BEST:: SOT 600757 SOS 105114 HAS SOPS 105114 HAS SOUS 48986 HAS SOUPS 48986 WITH SCORE 49091.114
AT ITER 8013 NEW BEST:: SOT 600772 SOS 105132 HAS SOPS 105132 HAS SOUS 48964 HAS SOUPS 48964 WITH SCORE 49069.132
AT ITER 8040 NEW BEST:: SOT 600772 SOS 105131 HAS SOPS 105131 HAS SOUS 48963 HAS SOUPS 48963 WITH SCORE 49068.131
AT ITER 8087 NEW BEST:: SOT 600737 SOS 105061 HAS SOPS 105061 HAS SOUS 48921 HAS SOUPS 48921 WITH SCORE 49026.061
AT ITER 8123 NEW BEST:: SOT 600667 SOS 104977 HAS SOPS 104977 HAS SOUS 48837 HAS SOUPS 48837 WITH SCORE 48941.977
AT ITER 8139 NEW BEST:: SOT 600667 SOS 104932 HAS SOPS 104932 HAS SOUS 48828 HAS SOUPS 48828 WITH SCORE 48932.932
AT ITER 8156 NEW BEST:: SOT 600666 SOS 104930 HAS SOPS 104930 HAS SOUS 48826 HAS SOUPS 48826 WITH SCORE 48930.93
AT ITER 8223 NEW BEST:: SOT 600662 SOS 104926 HAS SOPS 104926 HAS SOUS 48822 HAS SOUPS 48822 WITH SCORE 48926.926
AT ITER 8271 NEW BEST:: SOT 600532 SOS 104796 HAS SOPS 104796 HAS SOUS 48692 HAS SOUPS 48692 WITH SCORE 48796.796
AT ITER 8280 NEW BEST:: SOT 600505 SOS 104722 HAS SOPS 104722 HAS SOUS 48681 HAS SOUPS 48681 WITH SCORE 48785.722
AT ITER 8351 NEW BEST:: SOT 600505 SOS 104722 HAS SOPS 104722 HAS SOUS 48675 HAS SOUPS 48675 WITH SCORE 48779.722
AT ITER 8386 NEW BEST:: SOT 600486 SOS 104673 HAS SOPS 104673 HAS SOUS 48646 HAS SOUPS 48646 WITH SCORE 48750.673
AT ITER 8562 NEW BEST:: SOT 600506 SOS 104861 HAS SOPS 104861 HAS SOUS 48566 HAS SOUPS 48566 WITH SCORE 48670.861
AT ITER 8582 NEW BEST:: SOT 600506 SOS 104711 HAS SOPS 104711 HAS SOUS 48516 HAS SOUPS 48516 WITH SCORE 48620.711
AT ITER 8604 NEW BEST:: SOT 600506 SOS 104697 HAS SOPS 104697 HAS SOUS 48494 HAS SOUPS 48494 WITH SCORE 48598.697
AT ITER 8639 NEW BEST:: SOT 600478 SOS 104669 HAS SOPS 104669 HAS SOUS 48466 HAS SOUPS 48466 WITH SCORE 48570.669
AT ITER 8668 NEW BEST:: SOT 600463 SOS 104564 HAS SOPS 104564 HAS SOUS 48421 HAS SOUPS 48421 WITH SCORE 48525.564
AT ITER 8697 NEW BEST:: SOT 600463 SOS 104557 HAS SOPS 104557 HAS SOUS 48414 HAS SOUPS 48414 WITH SCORE 48518.557
AT ITER 8766 NEW BEST:: SOT 600463 SOS 104495 HAS SOPS 104495 HAS SOUS 48404 HAS SOUPS 48404 WITH SCORE 48508.495
AT ITER 8791 NEW BEST:: SOT 600462 SOS 104492 HAS SOPS 104492 HAS SOUS 48401 HAS SOUPS 48401 WITH SCORE 48505.492
AT ITER 8813 NEW BEST:: SOT 600462 SOS 104319 HAS SOPS 104319 HAS SOUS 48376 HAS SOUPS 48376 WITH SCORE 48480.319
AT ITER 8837 NEW BEST:: SOT 600462 SOS 104222 HAS SOPS 104222 HAS SOUS 48367 HAS SOUPS 48367 WITH SCORE 48471.222
AT ITER 8870 NEW BEST:: SOT 600462 SOS 104222 HAS SOPS 104222 HAS SOUS 48366 HAS SOUPS 48366 WITH SCORE 48470.222
AT ITER 8919 NEW BEST:: SOT 600429 SOS 104189 HAS SOPS 104189 HAS SOUS 48333 HAS SOUPS 48333 WITH SCORE 48437.189
AT ITER 8954 NEW BEST:: SOT 600409 SOS 104165 HAS SOPS 104165 HAS SOUS 48277 HAS SOUPS 48277 WITH SCORE 48381.165
AT ITER 8966 NEW BEST:: SOT 600409 SOS 104129 HAS SOPS 104129 HAS SOUS 48265 HAS SOUPS 48265 WITH SCORE 48369.129
AT ITER 8988 NEW BEST:: SOT 600409 SOS 104104 HAS SOPS 104104 HAS SOUS 48260 HAS SOUPS 48260 WITH SCORE 48364.104
AT ITER 8992 NEW BEST:: SOT 600422 SOS 104129 HAS SOPS 104129 HAS SOUS 48258 HAS SOUPS 48258 WITH SCORE 48362.129
AT ITER 9018 NEW BEST:: SOT 600402 SOS 104109 HAS SOPS 104109 HAS SOUS 48238 HAS SOUPS 48238 WITH SCORE 48342.109
AT ITER 9068 NEW BEST:: SOT 600402 SOS 104037 HAS SOPS 104037 HAS SOUS 48214 HAS SOUPS 48214 WITH SCORE 48318.037
AT ITER 9081 NEW BEST:: SOT 600402 SOS 103759 HAS SOPS 103759 HAS SOUS 48168 HAS SOUPS 48168 WITH SCORE 48271.759
AT ITER 9154 NEW BEST:: SOT 600402 SOS 103744 HAS SOPS 103744 HAS SOUS 48165 HAS SOUPS 48165 WITH SCORE 48268.744
AT ITER 9168 NEW BEST:: SOT 600383 SOS 103723 HAS SOPS 103723 HAS SOUS 48134 HAS SOUPS 48134 WITH SCORE 48237.723
AT ITER 9192 NEW BEST:: SOT 600360 SOS 103676 HAS SOPS 103676 HAS SOUS 48103 HAS SOUPS 48103 WITH SCORE 48206.676
AT ITER 9193 NEW BEST:: SOT 600265 SOS 103467 HAS SOPS 103467 HAS SOUS 47970 HAS SOUPS 47970 WITH SCORE 48073.467
AT ITER 9359 NEW BEST:: SOT 600255 SOS 103455 HAS SOPS 103455 HAS SOUS 47958 HAS SOUPS 47958 WITH SCORE 48061.455
AT ITER 9366 NEW BEST:: SOT 600245 SOS 103435 HAS SOPS 103435 HAS SOUS 47898 HAS SOUPS 47898 WITH SCORE 48001.435
AT ITER 9551 NEW BEST:: SOT 600233 SOS 103423 HAS SOPS 103423 HAS SOUS 47886 HAS SOUPS 47886 WITH SCORE 47989.423
AT ITER 9581 NEW BEST:: SOT 600191 SOS 103386 HAS SOPS 103386 HAS SOUS 47845 HAS SOUPS 47845 WITH SCORE 47948.386
AT ITER 9630 NEW BEST:: SOT 600181 SOS 103376 HAS SOPS 103376 HAS SOUS 47835 HAS SOUPS 47835 WITH SCORE 47938.376
AT ITER 9739 NEW BEST:: SOT 600131 SOS 103166 HAS SOPS 103166 HAS SOUS 47825 HAS SOUPS 47825 WITH SCORE 47928.166
AT ITER 9897 NEW BEST:: SOT 600131 SOS 103166 HAS SOPS 103166 HAS SOUS 47808 HAS SOUPS 47808 WITH SCORE 47911.166
AT ITER 9977 NEW BEST:: SOT 600131 SOS 103166 HAS SOPS 103166 HAS SOUS 47806 HAS SOUPS 47806 WITH SCORE 47909.166
AT ITER 9982 NEW BEST:: SOT 600121 SOS 103154 HAS SOPS 103154 HAS SOUS 47794 HAS SOUPS 47794 WITH SCORE 47897.154
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12647304 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125064 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-410"
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-410, 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-167840349500408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-410.tgz
mv HexagonalGrid-PT-410 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 ;