About the Execution of Smart+red for HexagonalGrid-PT-226
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16213.663 | 2467649.00 | 2506665.00 | 17620.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349500392.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-226, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349500392
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 7.0K Feb 26 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 17:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 17:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 17:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 17:21 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 112K 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 1678597120309
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-226
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 04:58:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 04:58:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 04:58:43] [INFO ] Load time of PNML (sax parser for PT used): 116 ms
[2023-03-12 04:58:43] [INFO ] Transformed 169 places.
[2023-03-12 04:58:43] [INFO ] Transformed 270 transitions.
[2023-03-12 04:58:43] [INFO ] Parsed PT model containing 169 places and 270 transitions and 1080 arcs in 262 ms.
[2023-03-12 04:58:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 169 places, 270 transitions and 1080 arcs took 14 ms.
Total runtime 340 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 226
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: 169 places, 270 transitions, 1080 arcs.
AT ITER 0 NEW BEST:: SOT 29308 SOS 12154 HAS SOPS 12154 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5965.154
AT ITER 3 NEW BEST:: SOT 29308 SOS 12016 HAS SOPS 12016 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5919.016
AT ITER 6 NEW BEST:: SOT 29242 SOS 12187 HAS SOPS 12187 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5888.187
AT ITER 7 NEW BEST:: SOT 29231 SOS 12110 HAS SOPS 12110 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5855.11
AT ITER 19 NEW BEST:: SOT 29296 SOS 12195 HAS SOPS 12195 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5849.195
AT ITER 32 NEW BEST:: SOT 29176 SOS 11933 HAS SOPS 11933 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5682.933
AT ITER 37 NEW BEST:: SOT 29176 SOS 11862 HAS SOPS 11862 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5675.862
AT ITER 53 NEW BEST:: SOT 29101 SOS 11763 HAS SOPS 11763 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5592.763
AT ITER 62 NEW BEST:: SOT 29092 SOS 11684 HAS SOPS 11684 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5577.684
AT ITER 89 NEW BEST:: SOT 29092 SOS 11660 HAS SOPS 11660 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5569.66
AT ITER 99 NEW BEST:: SOT 29108 SOS 11692 HAS SOPS 11692 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5561.692
AT ITER 104 NEW BEST:: SOT 29108 SOS 11674 HAS SOPS 11674 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5555.674
AT ITER 110 NEW BEST:: SOT 29108 SOS 11632 HAS SOPS 11632 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5541.632
AT ITER 121 NEW BEST:: SOT 29108 SOS 11632 HAS SOPS 11632 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5537.632
AT ITER 135 NEW BEST:: SOT 29111 SOS 11635 HAS SOPS 11635 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5520.635
AT ITER 146 NEW BEST:: SOT 29108 SOS 11630 HAS SOPS 11630 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5515.63
AT ITER 148 NEW BEST:: SOT 29105 SOS 11624 HAS SOPS 11624 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5509.624
AT ITER 150 NEW BEST:: SOT 29075 SOS 11588 HAS SOPS 11588 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5473.588
AT ITER 157 NEW BEST:: SOT 29059 SOS 11572 HAS SOPS 11572 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5457.572
AT ITER 159 NEW BEST:: SOT 29046 SOS 11538 HAS SOPS 11538 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5423.538
AT ITER 160 NEW BEST:: SOT 29046 SOS 11503 HAS SOPS 11503 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5416.503
AT ITER 181 NEW BEST:: SOT 29046 SOS 11428 HAS SOPS 11428 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5405.428
AT ITER 207 NEW BEST:: SOT 29046 SOS 11338 HAS SOPS 11338 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5375.338
AT ITER 212 NEW BEST:: SOT 29053 SOS 11345 HAS SOPS 11345 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5373.345
AT ITER 236 NEW BEST:: SOT 29053 SOS 11339 HAS SOPS 11339 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5371.339
AT ITER 259 NEW BEST:: SOT 29098 SOS 11392 HAS SOPS 11392 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5353.392
AT ITER 266 NEW BEST:: SOT 29092 SOS 11286 HAS SOPS 11286 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5343.286
AT ITER 300 NEW BEST:: SOT 29204 SOS 11412 HAS SOPS 11412 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5310.412
AT ITER 317 NEW BEST:: SOT 29204 SOS 11364 HAS SOPS 11364 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5306.364
AT ITER 333 NEW BEST:: SOT 29204 SOS 11332 HAS SOPS 11332 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5306.332
AT ITER 338 NEW BEST:: SOT 29195 SOS 11326 HAS SOPS 11326 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5304.326
AT ITER 348 NEW BEST:: SOT 29186 SOS 11317 HAS SOPS 11317 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5298.317
AT ITER 357 NEW BEST:: SOT 29161 SOS 11292 HAS SOPS 11292 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5253.292
AT ITER 366 NEW BEST:: SOT 29151 SOS 11284 HAS SOPS 11284 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5249.284
AT ITER 392 NEW BEST:: SOT 29151 SOS 11284 HAS SOPS 11284 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5241.284
AT ITER 398 NEW BEST:: SOT 29122 SOS 11255 HAS SOPS 11255 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5192.255
AT ITER 430 NEW BEST:: SOT 29113 SOS 11226 HAS SOPS 11226 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5183.226
AT ITER 435 NEW BEST:: SOT 29116 SOS 11191 HAS SOPS 11191 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5176.191
AT ITER 438 NEW BEST:: SOT 29105 SOS 11180 HAS SOPS 11180 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5171.18
AT ITER 441 NEW BEST:: SOT 29101 SOS 11158 HAS SOPS 11158 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5161.158
AT ITER 447 NEW BEST:: SOT 29092 SOS 11150 HAS SOPS 11150 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5153.15
AT ITER 458 NEW BEST:: SOT 29092 SOS 11147 HAS SOPS 11147 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5150.147
AT ITER 468 NEW BEST:: SOT 29075 SOS 11130 HAS SOPS 11130 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5117.13
AT ITER 486 NEW BEST:: SOT 29070 SOS 11090 HAS SOPS 11090 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5113.09
AT ITER 499 NEW BEST:: SOT 29077 SOS 11099 HAS SOPS 11099 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5112.099
AT ITER 510 NEW BEST:: SOT 29077 SOS 11109 HAS SOPS 11109 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5106.109
AT ITER 515 NEW BEST:: SOT 29076 SOS 11108 HAS SOPS 11108 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5101.108
AT ITER 538 NEW BEST:: SOT 29056 SOS 10972 HAS SOPS 10972 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5072.972
AT ITER 540 NEW BEST:: SOT 29053 SOS 10969 HAS SOPS 10969 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5072.969
AT ITER 546 NEW BEST:: SOT 29041 SOS 10961 HAS SOPS 10961 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5060.961
AT ITER 571 NEW BEST:: SOT 29041 SOS 10929 HAS SOPS 10929 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5060.929
AT ITER 591 NEW BEST:: SOT 29036 SOS 10924 HAS SOPS 10924 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5057.924
AT ITER 604 NEW BEST:: SOT 29036 SOS 10912 HAS SOPS 10912 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5053.912
AT ITER 611 NEW BEST:: SOT 29033 SOS 10908 HAS SOPS 10908 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5046.908
AT ITER 653 NEW BEST:: SOT 29033 SOS 10908 HAS SOPS 10908 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5037.908
AT ITER 665 NEW BEST:: SOT 29031 SOS 10906 HAS SOPS 10906 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5035.906
AT ITER 667 NEW BEST:: SOT 28991 SOS 10878 HAS SOPS 10878 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5007.878
AT ITER 675 NEW BEST:: SOT 28992 SOS 10876 HAS SOPS 10876 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5005.876
AT ITER 684 NEW BEST:: SOT 28987 SOS 10871 HAS SOPS 10871 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 5000.871
AT ITER 695 NEW BEST:: SOT 28989 SOS 10873 HAS SOPS 10873 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4990.873
AT ITER 703 NEW BEST:: SOT 28989 SOS 10868 HAS SOPS 10868 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4985.868
AT ITER 768 NEW BEST:: SOT 28989 SOS 10826 HAS SOPS 10826 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4971.826
AT ITER 769 NEW BEST:: SOT 28984 SOS 10821 HAS SOPS 10821 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4969.821
AT ITER 775 NEW BEST:: SOT 28987 SOS 10823 HAS SOPS 10823 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4968.823
AT ITER 807 NEW BEST:: SOT 28987 SOS 10805 HAS SOPS 10805 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4962.805
AT ITER 808 NEW BEST:: SOT 28979 SOS 10754 HAS SOPS 10754 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4947.754
AT ITER 819 NEW BEST:: SOT 28977 SOS 10752 HAS SOPS 10752 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4945.752
AT ITER 820 NEW BEST:: SOT 28995 SOS 10770 HAS SOPS 10770 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4908.77
AT ITER 840 NEW BEST:: SOT 28986 SOS 10761 HAS SOPS 10761 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4904.761
AT ITER 886 NEW BEST:: SOT 28902 SOS 10569 HAS SOPS 10569 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4840.569
AT ITER 929 NEW BEST:: SOT 28902 SOS 10490 HAS SOPS 10490 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4825.49
AT ITER 967 NEW BEST:: SOT 28900 SOS 10488 HAS SOPS 10488 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4819.488
AT ITER 970 NEW BEST:: SOT 28900 SOS 10475 HAS SOPS 10475 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4818.475
AT ITER 986 NEW BEST:: SOT 28892 SOS 10459 HAS SOPS 10459 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4802.459
AT ITER 988 NEW BEST:: SOT 28896 SOS 10463 HAS SOPS 10463 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4793.463
AT ITER 1050 NEW BEST:: SOT 28863 SOS 10430 HAS SOPS 10430 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4733.43
AT ITER 1070 NEW BEST:: SOT 28862 SOS 10429 HAS SOPS 10429 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4729.429
AT ITER 1076 NEW BEST:: SOT 28862 SOS 10423 HAS SOPS 10423 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4727.423
AT ITER 1107 NEW BEST:: SOT 28856 SOS 10434 HAS SOPS 10434 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4714.434
AT ITER 1136 NEW BEST:: SOT 28856 SOS 10520 HAS SOPS 10520 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4708.52
AT ITER 1147 NEW BEST:: SOT 28851 SOS 10515 HAS SOPS 10515 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4697.515
AT ITER 1155 NEW BEST:: SOT 28848 SOS 10512 HAS SOPS 10512 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4694.512
AT ITER 1167 NEW BEST:: SOT 28846 SOS 10455 HAS SOPS 10455 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4689.455
AT ITER 1179 NEW BEST:: SOT 28841 SOS 10420 HAS SOPS 10420 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4674.42
AT ITER 1199 NEW BEST:: SOT 28839 SOS 10418 HAS SOPS 10418 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4672.418
AT ITER 1204 NEW BEST:: SOT 28839 SOS 10318 HAS SOPS 10318 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4664.318
AT ITER 1250 NEW BEST:: SOT 28819 SOS 10298 HAS SOPS 10298 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4647.298
AT ITER 1285 NEW BEST:: SOT 28809 SOS 10280 HAS SOPS 10280 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4629.28
AT ITER 1289 NEW BEST:: SOT 28809 SOS 10254 HAS SOPS 10254 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4627.254
AT ITER 1339 NEW BEST:: SOT 28795 SOS 10170 HAS SOPS 10170 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4599.17
AT ITER 1347 NEW BEST:: SOT 28795 SOS 10195 HAS SOPS 10195 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4592.195
AT ITER 1375 NEW BEST:: SOT 28795 SOS 10170 HAS SOPS 10170 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4587.17
AT ITER 1441 NEW BEST:: SOT 28786 SOS 10161 HAS SOPS 10161 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4587.161
AT ITER 1468 NEW BEST:: SOT 28777 SOS 10152 HAS SOPS 10152 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4571.152
AT ITER 1524 NEW BEST:: SOT 28771 SOS 10140 HAS SOPS 10140 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4559.14
AT ITER 1528 NEW BEST:: SOT 28771 SOS 10108 HAS SOPS 10108 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4559.108
AT ITER 1531 NEW BEST:: SOT 28756 SOS 10093 HAS SOPS 10093 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4544.093
AT ITER 1570 NEW BEST:: SOT 28756 SOS 10088 HAS SOPS 10088 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4539.088
AT ITER 1596 NEW BEST:: SOT 28749 SOS 10073 HAS SOPS 10073 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4524.073
AT ITER 1612 NEW BEST:: SOT 28749 SOS 10088 HAS SOPS 10088 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4515.088
AT ITER 1720 NEW BEST:: SOT 28749 SOS 10083 HAS SOPS 10083 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4514.083
AT ITER 1736 NEW BEST:: SOT 28749 SOS 10080 HAS SOPS 10080 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4511.08
AT ITER 1818 NEW BEST:: SOT 28749 SOS 10130 HAS SOPS 10130 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4509.13
AT ITER 1841 NEW BEST:: SOT 28840 SOS 10221 HAS SOPS 10221 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4506.221
AT ITER 1848 NEW BEST:: SOT 28840 SOS 10221 HAS SOPS 10221 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4499.221
AT ITER 1934 NEW BEST:: SOT 28840 SOS 10215 HAS SOPS 10215 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4497.215
AT ITER 1939 NEW BEST:: SOT 28794 SOS 10169 HAS SOPS 10169 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4491.169
AT ITER 1997 NEW BEST:: SOT 28786 SOS 10159 HAS SOPS 10159 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4478.159
AT ITER 1998 NEW BEST:: SOT 28781 SOS 10154 HAS SOPS 10154 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4475.154
AT ITER 2014 NEW BEST:: SOT 28781 SOS 10149 HAS SOPS 10149 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4474.149
AT ITER 2074 NEW BEST:: SOT 28777 SOS 10125 HAS SOPS 10125 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4466.125
AT ITER 2094 NEW BEST:: SOT 28777 SOS 10121 HAS SOPS 10121 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4462.121
AT ITER 2115 NEW BEST:: SOT 28774 SOS 10118 HAS SOPS 10118 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4456.118
AT ITER 2120 NEW BEST:: SOT 28773 SOS 10111 HAS SOPS 10111 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4453.111
AT ITER 2127 NEW BEST:: SOT 28767 SOS 10099 HAS SOPS 10099 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4449.099
AT ITER 2135 NEW BEST:: SOT 28769 SOS 10107 HAS SOPS 10107 HAS SOUS 4435 HAS SOUPS 4435 WITH SCORE 4445.107
AT ITER 2139 NEW BEST:: SOT 28766 SOS 10084 HAS SOPS 10084 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4434.084
AT ITER 2173 NEW BEST:: SOT 28766 SOS 10080 HAS SOPS 10080 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4433.08
AT ITER 2180 NEW BEST:: SOT 28766 SOS 10080 HAS SOPS 10080 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4430.08
AT ITER 2214 NEW BEST:: SOT 28762 SOS 10076 HAS SOPS 10076 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4430.076
AT ITER 2217 NEW BEST:: SOT 28747 SOS 10046 HAS SOPS 10046 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4412.046
AT ITER 2224 NEW BEST:: SOT 28737 SOS 10036 HAS SOPS 10036 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4402.036
AT ITER 2225 NEW BEST:: SOT 28738 SOS 10035 HAS SOPS 10035 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4401.035
AT ITER 2234 NEW BEST:: SOT 28744 SOS 10041 HAS SOPS 10041 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4400.041
AT ITER 2246 NEW BEST:: SOT 28740 SOS 10013 HAS SOPS 10013 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4388.013
AT ITER 2323 NEW BEST:: SOT 28740 SOS 10013 HAS SOPS 10013 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4380.013
AT ITER 2329 NEW BEST:: SOT 28740 SOS 10013 HAS SOPS 10013 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4362.013
AT ITER 2375 NEW BEST:: SOT 28739 SOS 10011 HAS SOPS 10011 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4360.011
AT ITER 2400 NEW BEST:: SOT 28714 SOS 9976 HAS SOPS 9976 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4344.976
AT ITER 2411 NEW BEST:: SOT 28714 SOS 9966 HAS SOPS 9966 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4334.966
AT ITER 2418 NEW BEST:: SOT 28713 SOS 9949 HAS SOPS 9949 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4329.949
AT ITER 2463 NEW BEST:: SOT 28702 SOS 9938 HAS SOPS 9938 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4322.938
AT ITER 2526 NEW BEST:: SOT 28700 SOS 9914 HAS SOPS 9914 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4314.914
AT ITER 2531 NEW BEST:: SOT 28700 SOS 9908 HAS SOPS 9908 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4312.908
AT ITER 2536 NEW BEST:: SOT 28653 SOS 9862 HAS SOPS 9862 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4270.862
AT ITER 2553 NEW BEST:: SOT 28645 SOS 9839 HAS SOPS 9839 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.839
AT ITER 2556 NEW BEST:: SOT 28645 SOS 9839 HAS SOPS 9839 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4250.839
AT ITER 2613 NEW BEST:: SOT 28645 SOS 9825 HAS SOPS 9825 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4236.825
AT ITER 2638 NEW BEST:: SOT 28585 SOS 9693 HAS SOPS 9693 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4212.693
AT ITER 2700 NEW BEST:: SOT 28557 SOS 9665 HAS SOPS 9665 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4184.665
AT ITER 2748 NEW BEST:: SOT 28546 SOS 9599 HAS SOPS 9599 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4162.599
AT ITER 2800 NEW BEST:: SOT 28544 SOS 9581 HAS SOPS 9581 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4156.581
AT ITER 2802 NEW BEST:: SOT 28535 SOS 9575 HAS SOPS 9575 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4150.575
AT ITER 3004 NEW BEST:: SOT 28533 SOS 9587 HAS SOPS 9587 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4146.587
AT ITER 3043 NEW BEST:: SOT 28532 SOS 9585 HAS SOPS 9585 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4144.585
AT ITER 3092 NEW BEST:: SOT 28551 SOS 9604 HAS SOPS 9604 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4139.604
AT ITER 3172 NEW BEST:: SOT 28551 SOS 9607 HAS SOPS 9607 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4134.607
AT ITER 3209 NEW BEST:: SOT 28551 SOS 9598 HAS SOPS 9598 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4133.598
AT ITER 3328 NEW BEST:: SOT 28541 SOS 9564 HAS SOPS 9564 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4115.564
AT ITER 3333 NEW BEST:: SOT 28541 SOS 9558 HAS SOPS 9558 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4109.558
AT ITER 3366 NEW BEST:: SOT 28538 SOS 9555 HAS SOPS 9555 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4094.555
AT ITER 3390 NEW BEST:: SOT 28531 SOS 9541 HAS SOPS 9541 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4080.541
AT ITER 3442 NEW BEST:: SOT 28529 SOS 9547 HAS SOPS 9547 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4078.547
AT ITER 3493 NEW BEST:: SOT 28527 SOS 9530 HAS SOPS 9530 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4077.53
AT ITER 3518 NEW BEST:: SOT 28511 SOS 9514 HAS SOPS 9514 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4061.514
AT ITER 3519 NEW BEST:: SOT 28507 SOS 9510 HAS SOPS 9510 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4057.51
AT ITER 3569 NEW BEST:: SOT 28507 SOS 9501 HAS SOPS 9501 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4056.501
AT ITER 3576 NEW BEST:: SOT 28503 SOS 9433 HAS SOPS 9433 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4040.433
AT ITER 3584 NEW BEST:: SOT 28498 SOS 9422 HAS SOPS 9422 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4038.422
AT ITER 3613 NEW BEST:: SOT 28501 SOS 9410 HAS SOPS 9410 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4038.41
AT ITER 3703 NEW BEST:: SOT 28501 SOS 9392 HAS SOPS 9392 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4032.392
AT ITER 3767 NEW BEST:: SOT 28486 SOS 9362 HAS SOPS 9362 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4014.362
AT ITER 3786 NEW BEST:: SOT 28429 SOS 9305 HAS SOPS 9305 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4008.305
AT ITER 3830 NEW BEST:: SOT 28478 SOS 9356 HAS SOPS 9356 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3994.356
AT ITER 3920 NEW BEST:: SOT 28478 SOS 9243 HAS SOPS 9243 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3988.243
AT ITER 3966 NEW BEST:: SOT 28474 SOS 9209 HAS SOPS 9209 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3976.209
AT ITER 4038 NEW BEST:: SOT 28474 SOS 9208 HAS SOPS 9208 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3975.208
AT ITER 4043 NEW BEST:: SOT 28440 SOS 9174 HAS SOPS 9174 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3969.174
AT ITER 4046 NEW BEST:: SOT 28420 SOS 9150 HAS SOPS 9150 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3953.15
AT ITER 4083 NEW BEST:: SOT 28420 SOS 9138 HAS SOPS 9138 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3949.138
AT ITER 4139 NEW BEST:: SOT 28413 SOS 9113 HAS SOPS 9113 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3936.113
AT ITER 4147 NEW BEST:: SOT 28413 SOS 9111 HAS SOPS 9111 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3934.111
AT ITER 4150 NEW BEST:: SOT 28413 SOS 9106 HAS SOPS 9106 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3933.106
AT ITER 4160 NEW BEST:: SOT 28411 SOS 9077 HAS SOPS 9077 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3924.077
AT ITER 4198 NEW BEST:: SOT 28411 SOS 9071 HAS SOPS 9071 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3922.071
AT ITER 4306 NEW BEST:: SOT 28411 SOS 9042 HAS SOPS 9042 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3913.042
AT ITER 4396 NEW BEST:: SOT 28411 SOS 8984 HAS SOPS 8984 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3912.984
AT ITER 4445 NEW BEST:: SOT 28419 SOS 8993 HAS SOPS 8993 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3881.993
AT ITER 4473 NEW BEST:: SOT 28419 SOS 9022 HAS SOPS 9022 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3879.022
AT ITER 4489 NEW BEST:: SOT 28415 SOS 9008 HAS SOPS 9008 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3877.008
AT ITER 4511 NEW BEST:: SOT 28415 SOS 9002 HAS SOPS 9002 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3875.002
AT ITER 4578 NEW BEST:: SOT 28409 SOS 8996 HAS SOPS 8996 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3868.996
AT ITER 4680 NEW BEST:: SOT 28409 SOS 8996 HAS SOPS 8996 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3862.996
AT ITER 4738 NEW BEST:: SOT 28404 SOS 8990 HAS SOPS 8990 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3861.99
AT ITER 4777 NEW BEST:: SOT 28408 SOS 8994 HAS SOPS 8994 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3860.994
AT ITER 4826 NEW BEST:: SOT 28341 SOS 8902 HAS SOPS 8902 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3851.902
AT ITER 4855 NEW BEST:: SOT 28340 SOS 8901 HAS SOPS 8901 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3850.901
AT ITER 4910 NEW BEST:: SOT 28340 SOS 8883 HAS SOPS 8883 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3844.883
AT ITER 4911 NEW BEST:: SOT 28330 SOS 8875 HAS SOPS 8875 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3836.875
AT ITER 4981 NEW BEST:: SOT 28304 SOS 8848 HAS SOPS 8848 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3808.848
AT ITER 4989 NEW BEST:: SOT 28304 SOS 8828 HAS SOPS 8828 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3804.828
AT ITER 5044 NEW BEST:: SOT 28274 SOS 8791 HAS SOPS 8791 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3765.791
AT ITER 5129 NEW BEST:: SOT 28269 SOS 8780 HAS SOPS 8780 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3758.78
AT ITER 5160 NEW BEST:: SOT 28269 SOS 8775 HAS SOPS 8775 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3757.775
AT ITER 5165 NEW BEST:: SOT 28264 SOS 8769 HAS SOPS 8769 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3751.769
AT ITER 5194 NEW BEST:: SOT 28264 SOS 8763 HAS SOPS 8763 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3749.763
AT ITER 5437 NEW BEST:: SOT 28264 SOS 8766 HAS SOPS 8766 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3748.766
AT ITER 5495 NEW BEST:: SOT 28264 SOS 8764 HAS SOPS 8764 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3746.764
AT ITER 5502 NEW BEST:: SOT 28264 SOS 8750 HAS SOPS 8750 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3744.75
AT ITER 5524 NEW BEST:: SOT 28254 SOS 8718 HAS SOPS 8718 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3728.718
AT ITER 5562 NEW BEST:: SOT 28251 SOS 8703 HAS SOPS 8703 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3725.703
AT ITER 5585 NEW BEST:: SOT 28251 SOS 8688 HAS SOPS 8688 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3722.688
AT ITER 5695 NEW BEST:: SOT 28247 SOS 8680 HAS SOPS 8680 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3722.68
AT ITER 5724 NEW BEST:: SOT 28246 SOS 8654 HAS SOPS 8654 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3720.654
AT ITER 5811 NEW BEST:: SOT 28246 SOS 8658 HAS SOPS 8658 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3716.658
AT ITER 5849 NEW BEST:: SOT 28246 SOS 8670 HAS SOPS 8670 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3712.67
AT ITER 5905 NEW BEST:: SOT 28226 SOS 8580 HAS SOPS 8580 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3704.58
AT ITER 5914 NEW BEST:: SOT 28216 SOS 8571 HAS SOPS 8571 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3695.571
AT ITER 5919 NEW BEST:: SOT 28216 SOS 8553 HAS SOPS 8553 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3689.553
AT ITER 5931 NEW BEST:: SOT 28212 SOS 8535 HAS SOPS 8535 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3683.535
AT ITER 5962 NEW BEST:: SOT 28197 SOS 8521 HAS SOPS 8521 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3669.521
AT ITER 5985 NEW BEST:: SOT 28196 SOS 8514 HAS SOPS 8514 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3666.514
AT ITER 5999 NEW BEST:: SOT 28195 SOS 8513 HAS SOPS 8513 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3665.513
AT ITER 6069 NEW BEST:: SOT 28193 SOS 8511 HAS SOPS 8511 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3663.511
AT ITER 6406 NEW BEST:: SOT 28190 SOS 8509 HAS SOPS 8509 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3661.509
AT ITER 6418 NEW BEST:: SOT 28185 SOS 8501 HAS SOPS 8501 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3661.501
AT ITER 6422 NEW BEST:: SOT 28184 SOS 8489 HAS SOPS 8489 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3657.489
AT ITER 6455 NEW BEST:: SOT 28174 SOS 8478 HAS SOPS 8478 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3639.478
AT ITER 6644 NEW BEST:: SOT 28172 SOS 8438 HAS SOPS 8438 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3635.438
AT ITER 6750 NEW BEST:: SOT 28171 SOS 8431 HAS SOPS 8431 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3632.431
AT ITER 6906 NEW BEST:: SOT 28166 SOS 8420 HAS SOPS 8420 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3607.42
AT ITER 6912 NEW BEST:: SOT 28165 SOS 8391 HAS SOPS 8391 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3602.391
AT ITER 7064 NEW BEST:: SOT 28164 SOS 8377 HAS SOPS 8377 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3600.377
AT ITER 7087 NEW BEST:: SOT 28163 SOS 8355 HAS SOPS 8355 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3598.355
AT ITER 7128 NEW BEST:: SOT 28163 SOS 8365 HAS SOPS 8365 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3596.365
AT ITER 7138 NEW BEST:: SOT 28158 SOS 8355 HAS SOPS 8355 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3586.355
AT ITER 7185 NEW BEST:: SOT 28155 SOS 8342 HAS SOPS 8342 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3577.342
AT ITER 7198 NEW BEST:: SOT 28155 SOS 8342 HAS SOPS 8342 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3572.342
AT ITER 7251 NEW BEST:: SOT 28151 SOS 8335 HAS SOPS 8335 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3561.335
AT ITER 7305 NEW BEST:: SOT 28148 SOS 8326 HAS SOPS 8326 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3556.326
AT ITER 7313 NEW BEST:: SOT 28148 SOS 8277 HAS SOPS 8277 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3554.277
AT ITER 7374 NEW BEST:: SOT 28148 SOS 8273 HAS SOPS 8273 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3550.273
AT ITER 7550 NEW BEST:: SOT 28146 SOS 8271 HAS SOPS 8271 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3548.271
AT ITER 7613 NEW BEST:: SOT 28145 SOS 8270 HAS SOPS 8270 HAS SOUS 3539 HAS SOUPS 3539 WITH SCORE 3547.27
AT ITER 7635 NEW BEST:: SOT 28145 SOS 8257 HAS SOPS 8257 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3546.257
AT ITER 7637 NEW BEST:: SOT 28145 SOS 8256 HAS SOPS 8256 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3545.256
AT ITER 7660 NEW BEST:: SOT 28142 SOS 8235 HAS SOPS 8235 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3536.235
AT ITER 7695 NEW BEST:: SOT 28142 SOS 8235 HAS SOPS 8235 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3534.235
AT ITER 7720 NEW BEST:: SOT 28141 SOS 8229 HAS SOPS 8229 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3532.229
AT ITER 7761 NEW BEST:: SOT 28141 SOS 8220 HAS SOPS 8220 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3531.22
AT ITER 7875 NEW BEST:: SOT 28111 SOS 8165 HAS SOPS 8165 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3515.165
AT ITER 8163 NEW BEST:: SOT 28111 SOS 8130 HAS SOPS 8130 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3508.13
AT ITER 8168 NEW BEST:: SOT 28109 SOS 8129 HAS SOPS 8129 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3507.129
AT ITER 8312 NEW BEST:: SOT 28106 SOS 8128 HAS SOPS 8128 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3506.128
AT ITER 8314 NEW BEST:: SOT 28098 SOS 8114 HAS SOPS 8114 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3496.114
AT ITER 8374 NEW BEST:: SOT 28098 SOS 8113 HAS SOPS 8113 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3495.113
AT ITER 8401 NEW BEST:: SOT 28098 SOS 8108 HAS SOPS 8108 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3494.108
AT ITER 8692 NEW BEST:: SOT 28098 SOS 8106 HAS SOPS 8106 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3492.106
AT ITER 8798 NEW BEST:: SOT 28101 SOS 8108 HAS SOPS 8108 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3490.108
AT ITER 8936 NEW BEST:: SOT 28099 SOS 8106 HAS SOPS 8106 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3488.106
AT ITER 9002 NEW BEST:: SOT 28101 SOS 8089 HAS SOPS 8089 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3487.089
AT ITER 9036 NEW BEST:: SOT 28099 SOS 8087 HAS SOPS 8087 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3477.087
AT ITER 9410 NEW BEST:: SOT 28099 SOS 8087 HAS SOPS 8087 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3473.087
AT ITER 9444 NEW BEST:: SOT 28096 SOS 8084 HAS SOPS 8084 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3455.084
AT ITER 9482 NEW BEST:: SOT 28094 SOS 8087 HAS SOPS 8087 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3454.087
AT ITER 9772 NEW BEST:: SOT 28088 SOS 8059 HAS SOPS 8059 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3454.059
AT ITER 9970 NEW BEST:: SOT 28085 SOS 8056 HAS SOPS 8056 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3451.056
BK_STOP 1678599587958
--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}
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-226"
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-226, 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-167840349500392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-226.tgz
mv HexagonalGrid-PT-226 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 ;