About the Execution of Smart+red for StigmergyElection-PT-06b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4931.376 | 3600000.00 | 3623995.00 | 7104.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651500632.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 StigmergyElection-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500632
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 7.8K Feb 26 16:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 16:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 16:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 16:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 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 1679444837261
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=StigmergyElection-PT-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 00:27:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 00:27:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 00:27:20] [INFO ] Load time of PNML (sax parser for PT used): 454 ms
[2023-03-22 00:27:20] [INFO ] Transformed 835 places.
[2023-03-22 00:27:20] [INFO ] Transformed 2416 transitions.
[2023-03-22 00:27:20] [INFO ] Found NUPN structural information;
[2023-03-22 00:27:20] [INFO ] Parsed PT model containing 835 places and 2416 transitions and 20130 arcs in 636 ms.
[2023-03-22 00:27:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 835 places, 2416 transitions and 20130 arcs took 45 ms.
Total runtime 745 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 06b
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: 835 places, 2416 transitions, 20130 arcs.
AT ITER 0 NEW BEST:: SOT 1533255 SOS 265372 HAS SOPS 265372 HAS SOUS 205772 HAS SOUPS 205772 WITH SCORE 206037.372
AT ITER 6 NEW BEST:: SOT 1533188 SOS 265303 HAS SOPS 265303 HAS SOUS 205703 HAS SOUPS 205703 WITH SCORE 205968.303
AT ITER 22 NEW BEST:: SOT 1533037 SOS 265152 HAS SOPS 265152 HAS SOUS 205552 HAS SOUPS 205552 WITH SCORE 205817.152
AT ITER 32 NEW BEST:: SOT 1532674 SOS 264807 HAS SOPS 264807 HAS SOUS 205207 HAS SOUPS 205207 WITH SCORE 205471.807
AT ITER 34 NEW BEST:: SOT 1530578 SOS 268558 HAS SOPS 268558 HAS SOUS 203586 HAS SOUPS 203586 WITH SCORE 203854.558
AT ITER 37 NEW BEST:: SOT 1529397 SOS 267377 HAS SOPS 267377 HAS SOUS 202440 HAS SOUPS 202440 WITH SCORE 202707.377
AT ITER 48 NEW BEST:: SOT 1529396 SOS 267375 HAS SOPS 267375 HAS SOUS 202438 HAS SOUPS 202438 WITH SCORE 202705.375
AT ITER 72 NEW BEST:: SOT 1527428 SOS 356554 HAS SOPS 356554 HAS SOUS 202136 HAS SOUPS 202136 WITH SCORE 202492.554
AT ITER 90 NEW BEST:: SOT 1527427 SOS 356552 HAS SOPS 356552 HAS SOUS 202134 HAS SOUPS 202134 WITH SCORE 202490.552
AT ITER 91 NEW BEST:: SOT 1527398 SOS 356494 HAS SOPS 356494 HAS SOUS 202076 HAS SOUPS 202076 WITH SCORE 202432.494
AT ITER 109 NEW BEST:: SOT 1525578 SOS 354734 HAS SOPS 354734 HAS SOUS 200171 HAS SOUPS 200171 WITH SCORE 200525.734
AT ITER 117 NEW BEST:: SOT 1525533 SOS 354688 HAS SOPS 354688 HAS SOUS 200125 HAS SOUPS 200125 WITH SCORE 200479.688
AT ITER 118 NEW BEST:: SOT 1525504 SOS 361324 HAS SOPS 361324 HAS SOUS 200071 HAS SOUPS 200071 WITH SCORE 200432.324
AT ITER 134 NEW BEST:: SOT 1525445 SOS 370516 HAS SOPS 370516 HAS SOUS 200059 HAS SOUPS 200059 WITH SCORE 200429.516
AT ITER 145 NEW BEST:: SOT 1525444 SOS 370514 HAS SOPS 370514 HAS SOUS 200057 HAS SOUPS 200057 WITH SCORE 200427.514
AT ITER 164 NEW BEST:: SOT 1525401 SOS 370428 HAS SOPS 370428 HAS SOUS 199971 HAS SOUPS 199971 WITH SCORE 200341.428
AT ITER 178 NEW BEST:: SOT 1525392 SOS 370426 HAS SOPS 370426 HAS SOUS 199965 HAS SOUPS 199965 WITH SCORE 200335.426
AT ITER 188 NEW BEST:: SOT 1525375 SOS 370409 HAS SOPS 370409 HAS SOUS 199948 HAS SOUPS 199948 WITH SCORE 200318.409
AT ITER 244 NEW BEST:: SOT 1525332 SOS 370323 HAS SOPS 370323 HAS SOUS 199862 HAS SOUPS 199862 WITH SCORE 200232.323
AT ITER 264 NEW BEST:: SOT 1523829 SOS 379196 HAS SOPS 379196 HAS SOUS 199176 HAS SOUPS 199176 WITH SCORE 199555.196
AT ITER 284 NEW BEST:: SOT 1523828 SOS 379194 HAS SOPS 379194 HAS SOUS 199174 HAS SOUPS 199174 WITH SCORE 199553.194
AT ITER 285 NEW BEST:: SOT 1523800 SOS 379168 HAS SOPS 379168 HAS SOUS 199148 HAS SOUPS 199148 WITH SCORE 199527.168
AT ITER 294 NEW BEST:: SOT 1523652 SOS 378872 HAS SOPS 378872 HAS SOUS 199000 HAS SOUPS 199000 WITH SCORE 199378.872
AT ITER 304 NEW BEST:: SOT 1523652 SOS 378923 HAS SOPS 378923 HAS SOUS 198998 HAS SOUPS 198998 WITH SCORE 199376.923
AT ITER 336 NEW BEST:: SOT 1523651 SOS 378921 HAS SOPS 378921 HAS SOUS 198996 HAS SOUPS 198996 WITH SCORE 199374.921
AT ITER 383 NEW BEST:: SOT 1523484 SOS 378587 HAS SOPS 378587 HAS SOUS 198838 HAS SOUPS 198838 WITH SCORE 199216.587
AT ITER 391 NEW BEST:: SOT 1523453 SOS 378577 HAS SOPS 378577 HAS SOUS 198828 HAS SOUPS 198828 WITH SCORE 199206.577
AT ITER 405 NEW BEST:: SOT 1523453 SOS 378672 HAS SOPS 378672 HAS SOUS 198827 HAS SOUPS 198827 WITH SCORE 199205.672
AT ITER 412 NEW BEST:: SOT 1523119 SOS 378690 HAS SOPS 378690 HAS SOUS 198546 HAS SOUPS 198546 WITH SCORE 198924.69
AT ITER 415 NEW BEST:: SOT 1522479 SOS 378042 HAS SOPS 378042 HAS SOUS 197914 HAS SOUPS 197914 WITH SCORE 198292.042
AT ITER 419 NEW BEST:: SOT 1522333 SOS 378505 HAS SOPS 378505 HAS SOUS 197873 HAS SOUPS 197873 WITH SCORE 198251.505
AT ITER 444 NEW BEST:: SOT 1522241 SOS 378384 HAS SOPS 378384 HAS SOUS 197736 HAS SOUPS 197736 WITH SCORE 198114.384
AT ITER 446 NEW BEST:: SOT 1522193 SOS 378288 HAS SOPS 378288 HAS SOUS 197688 HAS SOUPS 197688 WITH SCORE 198066.288
AT ITER 488 NEW BEST:: SOT 1522286 SOS 378233 HAS SOPS 378233 HAS SOUS 197633 HAS SOUPS 197633 WITH SCORE 198011.233
AT ITER 495 NEW BEST:: SOT 1522286 SOS 378170 HAS SOPS 378170 HAS SOUS 197633 HAS SOUPS 197633 WITH SCORE 198011.17
AT ITER 516 NEW BEST:: SOT 1522249 SOS 389544 HAS SOPS 389544 HAS SOUS 197562 HAS SOUPS 197562 WITH SCORE 197951.544
AT ITER 566 NEW BEST:: SOT 1522125 SOS 389296 HAS SOPS 389296 HAS SOUS 197282 HAS SOUPS 197282 WITH SCORE 197671.296
AT ITER 584 NEW BEST:: SOT 1522124 SOS 389294 HAS SOPS 389294 HAS SOUS 197280 HAS SOUPS 197280 WITH SCORE 197669.294
AT ITER 585 NEW BEST:: SOT 1522021 SOS 389088 HAS SOPS 389088 HAS SOUS 197177 HAS SOUPS 197177 WITH SCORE 197566.088
AT ITER 591 NEW BEST:: SOT 1522020 SOS 389088 HAS SOPS 389088 HAS SOUS 197176 HAS SOUPS 197176 WITH SCORE 197565.088
AT ITER 606 NEW BEST:: SOT 1522019 SOS 389086 HAS SOPS 389086 HAS SOUS 197174 HAS SOUPS 197174 WITH SCORE 197563.086
AT ITER 610 NEW BEST:: SOT 1522019 SOS 389086 HAS SOPS 389086 HAS SOUS 197104 HAS SOUPS 197104 WITH SCORE 197493.086
AT ITER 612 NEW BEST:: SOT 1522015 SOS 389048 HAS SOPS 389048 HAS SOUS 197082 HAS SOUPS 197082 WITH SCORE 197471.048
AT ITER 624 NEW BEST:: SOT 1519380 SOS 402139 HAS SOPS 402139 HAS SOUS 195845 HAS SOUPS 195845 WITH SCORE 196247.139
AT ITER 635 NEW BEST:: SOT 1519273 SOS 423811 HAS SOPS 423811 HAS SOUS 195821 HAS SOUPS 195821 WITH SCORE 196244.811
AT ITER 641 NEW BEST:: SOT 1516384 SOS 431647 HAS SOPS 431647 HAS SOUS 193397 HAS SOUPS 193397 WITH SCORE 193828.647
AT ITER 663 NEW BEST:: SOT 1516372 SOS 431623 HAS SOPS 431623 HAS SOUS 193385 HAS SOUPS 193385 WITH SCORE 193816.623
AT ITER 665 NEW BEST:: SOT 1516205 SOS 431289 HAS SOPS 431289 HAS SOUS 193302 HAS SOUPS 193302 WITH SCORE 193733.289
AT ITER 676 NEW BEST:: SOT 1511774 SOS 436919 HAS SOPS 436919 HAS SOUS 190267 HAS SOUPS 190267 WITH SCORE 190703.919
AT ITER 690 NEW BEST:: SOT 1511737 SOS 436836 HAS SOPS 436836 HAS SOUS 190234 HAS SOUPS 190234 WITH SCORE 190670.836
AT ITER 695 NEW BEST:: SOT 1511745 SOS 436852 HAS SOPS 436852 HAS SOUS 190080 HAS SOUPS 190080 WITH SCORE 190516.852
AT ITER 705 NEW BEST:: SOT 1511716 SOS 436794 HAS SOPS 436794 HAS SOUS 190022 HAS SOUPS 190022 WITH SCORE 190458.794
AT ITER 743 NEW BEST:: SOT 1511691 SOS 436744 HAS SOPS 436744 HAS SOUS 189972 HAS SOUPS 189972 WITH SCORE 190408.744
AT ITER 751 NEW BEST:: SOT 1511653 SOS 436682 HAS SOPS 436682 HAS SOUS 189936 HAS SOUPS 189936 WITH SCORE 190372.682
AT ITER 769 NEW BEST:: SOT 1511652 SOS 436680 HAS SOPS 436680 HAS SOUS 189934 HAS SOUPS 189934 WITH SCORE 190370.68
AT ITER 772 NEW BEST:: SOT 1511635 SOS 436646 HAS SOPS 436646 HAS SOUS 189917 HAS SOUPS 189917 WITH SCORE 190353.646
AT ITER 780 NEW BEST:: SOT 1508394 SOS 457807 HAS SOPS 457807 HAS SOUS 188768 HAS SOUPS 188768 WITH SCORE 189225.807
AT ITER 828 NEW BEST:: SOT 1508394 SOS 457744 HAS SOPS 457744 HAS SOUS 188705 HAS SOUPS 188705 WITH SCORE 189162.744
AT ITER 852 NEW BEST:: SOT 1508298 SOS 457552 HAS SOPS 457552 HAS SOUS 188609 HAS SOUPS 188609 WITH SCORE 189066.552
AT ITER 854 NEW BEST:: SOT 1508262 SOS 457516 HAS SOPS 457516 HAS SOUS 188573 HAS SOUPS 188573 WITH SCORE 189030.516
AT ITER 859 NEW BEST:: SOT 1508190 SOS 457420 HAS SOPS 457420 HAS SOUS 188477 HAS SOUPS 188477 WITH SCORE 188934.42
AT ITER 866 NEW BEST:: SOT 1508190 SOS 456880 HAS SOPS 456880 HAS SOUS 188462 HAS SOUPS 188462 WITH SCORE 188918.88
AT ITER 881 NEW BEST:: SOT 1508058 SOS 456748 HAS SOPS 456748 HAS SOUS 188330 HAS SOUPS 188330 WITH SCORE 188786.748
AT ITER 887 NEW BEST:: SOT 1508011 SOS 456654 HAS SOPS 456654 HAS SOUS 188236 HAS SOUPS 188236 WITH SCORE 188692.654
AT ITER 892 NEW BEST:: SOT 1508032 SOS 456696 HAS SOPS 456696 HAS SOUS 188188 HAS SOUPS 188188 WITH SCORE 188644.696
AT ITER 903 NEW BEST:: SOT 1508014 SOS 456678 HAS SOPS 456678 HAS SOUS 188170 HAS SOUPS 188170 WITH SCORE 188626.678
AT ITER 914 NEW BEST:: SOT 1507974 SOS 456618 HAS SOPS 456618 HAS SOUS 188130 HAS SOUPS 188130 WITH SCORE 188586.618
AT ITER 921 NEW BEST:: SOT 1508033 SOS 456588 HAS SOPS 456588 HAS SOUS 188021 HAS SOUPS 188021 WITH SCORE 188477.588
AT ITER 932 NEW BEST:: SOT 1507940 SOS 456565 HAS SOPS 456565 HAS SOUS 187998 HAS SOUPS 187998 WITH SCORE 188454.565
AT ITER 943 NEW BEST:: SOT 1507833 SOS 447639 HAS SOPS 447639 HAS SOUS 187151 HAS SOUPS 187151 WITH SCORE 187598.639
AT ITER 948 NEW BEST:: SOT 1507730 SOS 447433 HAS SOPS 447433 HAS SOUS 187048 HAS SOUPS 187048 WITH SCORE 187495.433
AT ITER 961 NEW BEST:: SOT 1504143 SOS 524584 HAS SOPS 524584 HAS SOUS 186104 HAS SOUPS 186104 WITH SCORE 186628.584
AT ITER 962 NEW BEST:: SOT 1504143 SOS 524550 HAS SOPS 524550 HAS SOUS 186087 HAS SOUPS 186087 WITH SCORE 186611.55
AT ITER 990 NEW BEST:: SOT 1503847 SOS 524274 HAS SOPS 524274 HAS SOUS 185811 HAS SOUPS 185811 WITH SCORE 186335.274
AT ITER 1010 NEW BEST:: SOT 1503872 SOS 524242 HAS SOPS 524242 HAS SOUS 185779 HAS SOUPS 185779 WITH SCORE 186303.242
AT ITER 1015 NEW BEST:: SOT 1503929 SOS 524176 HAS SOPS 524176 HAS SOUS 185713 HAS SOUPS 185713 WITH SCORE 186237.176
AT ITER 1019 NEW BEST:: SOT 1503928 SOS 524174 HAS SOPS 524174 HAS SOUS 185709 HAS SOUPS 185709 WITH SCORE 186233.174
AT ITER 1034 NEW BEST:: SOT 1503928 SOS 524174 HAS SOPS 524174 HAS SOUS 185648 HAS SOUPS 185648 WITH SCORE 186172.174
AT ITER 1071 NEW BEST:: SOT 1503811 SOS 523940 HAS SOPS 523940 HAS SOUS 185531 HAS SOUPS 185531 WITH SCORE 186054.94
AT ITER 1076 NEW BEST:: SOT 1503810 SOS 523938 HAS SOPS 523938 HAS SOUS 185529 HAS SOUPS 185529 WITH SCORE 186052.938
AT ITER 1078 NEW BEST:: SOT 1495664 SOS 522505 HAS SOPS 522505 HAS SOUS 184834 HAS SOUPS 184834 WITH SCORE 185356.505
AT ITER 1086 NEW BEST:: SOT 1495612 SOS 522454 HAS SOPS 522454 HAS SOUS 184782 HAS SOUPS 184782 WITH SCORE 185304.454
AT ITER 1133 NEW BEST:: SOT 1495612 SOS 522278 HAS SOPS 522278 HAS SOUS 184771 HAS SOUPS 184771 WITH SCORE 185293.278
AT ITER 1137 NEW BEST:: SOT 1495533 SOS 488343 HAS SOPS 488343 HAS SOUS 184629 HAS SOUPS 184629 WITH SCORE 185117.343
AT ITER 1147 NEW BEST:: SOT 1495499 SOS 488309 HAS SOPS 488309 HAS SOUS 184595 HAS SOUPS 184595 WITH SCORE 185083.309
AT ITER 1148 NEW BEST:: SOT 1495495 SOS 488301 HAS SOPS 488301 HAS SOUS 184591 HAS SOUPS 184591 WITH SCORE 185079.301
AT ITER 1156 NEW BEST:: SOT 1495451 SOS 488285 HAS SOPS 488285 HAS SOUS 184547 HAS SOUPS 184547 WITH SCORE 185035.285
AT ITER 1162 NEW BEST:: SOT 1495235 SOS 488069 HAS SOPS 488069 HAS SOUS 184331 HAS SOUPS 184331 WITH SCORE 184819.069
AT ITER 1172 NEW BEST:: SOT 1495206 SOS 488011 HAS SOPS 488011 HAS SOUS 184273 HAS SOUPS 184273 WITH SCORE 184761.011
AT ITER 1192 NEW BEST:: SOT 1495202 SOS 488003 HAS SOPS 488003 HAS SOUS 184265 HAS SOUPS 184265 WITH SCORE 184753.003
AT ITER 1205 NEW BEST:: SOT 1495262 SOS 488084 HAS SOPS 488084 HAS SOUS 184026 HAS SOUPS 184026 WITH SCORE 184514.084
AT ITER 1207 NEW BEST:: SOT 1495233 SOS 488026 HAS SOPS 488026 HAS SOUS 183968 HAS SOUPS 183968 WITH SCORE 184456.026
AT ITER 1255 NEW BEST:: SOT 1495219 SOS 488009 HAS SOPS 488009 HAS SOUS 183949 HAS SOUPS 183949 WITH SCORE 184437.009
AT ITER 1285 NEW BEST:: SOT 1495219 SOS 487921 HAS SOPS 487921 HAS SOUS 183949 HAS SOUPS 183949 WITH SCORE 184436.921
AT ITER 1287 NEW BEST:: SOT 1495061 SOS 446187 HAS SOPS 446187 HAS SOUS 183390 HAS SOUPS 183390 WITH SCORE 183836.187
AT ITER 1307 NEW BEST:: SOT 1495039 SOS 446168 HAS SOPS 446168 HAS SOUS 183368 HAS SOUPS 183368 WITH SCORE 183814.168
AT ITER 1314 NEW BEST:: SOT 1495039 SOS 446168 HAS SOPS 446168 HAS SOUS 183343 HAS SOUPS 183343 WITH SCORE 183789.168
AT ITER 1323 NEW BEST:: SOT 1495038 SOS 446166 HAS SOPS 446166 HAS SOUS 183341 HAS SOUPS 183341 WITH SCORE 183787.166
AT ITER 1342 NEW BEST:: SOT 1495007 SOS 446104 HAS SOPS 446104 HAS SOUS 183279 HAS SOUPS 183279 WITH SCORE 183725.104
AT ITER 1358 NEW BEST:: SOT 1495007 SOS 446035 HAS SOPS 446035 HAS SOUS 183210 HAS SOUPS 183210 WITH SCORE 183656.035
AT ITER 1359 NEW BEST:: SOT 1495005 SOS 446031 HAS SOPS 446031 HAS SOUS 183208 HAS SOUPS 183208 WITH SCORE 183654.031
AT ITER 1399 NEW BEST:: SOT 1495005 SOS 446082 HAS SOPS 446082 HAS SOUS 179236 HAS SOUPS 179236 WITH SCORE 179682.082
AT ITER 1402 NEW BEST:: SOT 1494975 SOS 446022 HAS SOPS 446022 HAS SOUS 179176 HAS SOUPS 179176 WITH SCORE 179622.022
AT ITER 1415 NEW BEST:: SOT 1494896 SOS 445864 HAS SOPS 445864 HAS SOUS 179123 HAS SOUPS 179123 WITH SCORE 179568.864
AT ITER 1417 NEW BEST:: SOT 1494868 SOS 445836 HAS SOPS 445836 HAS SOUS 179095 HAS SOUPS 179095 WITH SCORE 179540.836
AT ITER 1449 NEW BEST:: SOT 1494784 SOS 445668 HAS SOPS 445668 HAS SOUS 178927 HAS SOUPS 178927 WITH SCORE 179372.668
AT ITER 1454 NEW BEST:: SOT 1494789 SOS 445695 HAS SOPS 445695 HAS SOUS 178920 HAS SOUPS 178920 WITH SCORE 179365.695
AT ITER 1455 NEW BEST:: SOT 1490841 SOS 512626 HAS SOPS 512626 HAS SOUS 176042 HAS SOUPS 176042 WITH SCORE 176554.626
AT ITER 1461 NEW BEST:: SOT 1484606 SOS 510108 HAS SOPS 510108 HAS SOUS 171316 HAS SOUPS 171316 WITH SCORE 171826.108
AT ITER 1468 NEW BEST:: SOT 1484603 SOS 510102 HAS SOPS 510102 HAS SOUS 171313 HAS SOUPS 171313 WITH SCORE 171823.102
AT ITER 1475 NEW BEST:: SOT 1484574 SOS 510073 HAS SOPS 510073 HAS SOUS 171284 HAS SOUPS 171284 WITH SCORE 171794.073
AT ITER 1478 NEW BEST:: SOT 1484574 SOS 510073 HAS SOPS 510073 HAS SOUS 171144 HAS SOUPS 171144 WITH SCORE 171654.073
AT ITER 1501 NEW BEST:: SOT 1484504 SOS 500283 HAS SOPS 500283 HAS SOUS 171034 HAS SOUPS 171034 WITH SCORE 171534.283
AT ITER 1505 NEW BEST:: SOT 1484350 SOS 499975 HAS SOPS 499975 HAS SOUS 170706 HAS SOUPS 170706 WITH SCORE 171205.975
AT ITER 1526 NEW BEST:: SOT 1484179 SOS 499633 HAS SOPS 499633 HAS SOUS 170609 HAS SOUPS 170609 WITH SCORE 171108.633
AT ITER 1557 NEW BEST:: SOT 1483611 SOS 499063 HAS SOPS 499063 HAS SOUS 170049 HAS SOUPS 170049 WITH SCORE 170548.063
AT ITER 1582 NEW BEST:: SOT 1483584 SOS 499039 HAS SOPS 499039 HAS SOUS 170024 HAS SOUPS 170024 WITH SCORE 170523.039
AT ITER 1592 NEW BEST:: SOT 1483599 SOS 499084 HAS SOPS 499084 HAS SOUS 169946 HAS SOUPS 169946 WITH SCORE 170445.084
AT ITER 1607 NEW BEST:: SOT 1483598 SOS 499082 HAS SOPS 499082 HAS SOUS 169944 HAS SOUPS 169944 WITH SCORE 170443.082
AT ITER 1637 NEW BEST:: SOT 1479264 SOS 594647 HAS SOPS 594647 HAS SOUS 168727 HAS SOUPS 168727 WITH SCORE 169321.647
AT ITER 1680 NEW BEST:: SOT 1479257 SOS 594465 HAS SOPS 594465 HAS SOUS 168692 HAS SOUPS 168692 WITH SCORE 169286.465
AT ITER 1682 NEW BEST:: SOT 1479244 SOS 594439 HAS SOPS 594439 HAS SOUS 168666 HAS SOUPS 168666 WITH SCORE 169260.439
AT ITER 1709 NEW BEST:: SOT 1479458 SOS 582297 HAS SOPS 582297 HAS SOUS 167685 HAS SOUPS 167685 WITH SCORE 168267.297
AT ITER 1717 NEW BEST:: SOT 1479458 SOS 582374 HAS SOPS 582374 HAS SOUS 167608 HAS SOUPS 167608 WITH SCORE 168190.374
AT ITER 1724 NEW BEST:: SOT 1479457 SOS 582348 HAS SOPS 582348 HAS SOUS 167606 HAS SOUPS 167606 WITH SCORE 168188.348
AT ITER 1732 NEW BEST:: SOT 1479413 SOS 582304 HAS SOPS 582304 HAS SOUS 167562 HAS SOUPS 167562 WITH SCORE 168144.304
AT ITER 1734 NEW BEST:: SOT 1479395 SOS 582268 HAS SOPS 582268 HAS SOUS 167544 HAS SOUPS 167544 WITH SCORE 168126.268
AT ITER 1742 NEW BEST:: SOT 1479464 SOS 582311 HAS SOPS 582311 HAS SOUS 167494 HAS SOUPS 167494 WITH SCORE 168076.311
AT ITER 1758 NEW BEST:: SOT 1479358 SOS 581993 HAS SOPS 581993 HAS SOUS 167388 HAS SOUPS 167388 WITH SCORE 167969.993
AT ITER 1767 NEW BEST:: SOT 1479342 SOS 581961 HAS SOPS 581961 HAS SOUS 167356 HAS SOUPS 167356 WITH SCORE 167937.961
AT ITER 1768 NEW BEST:: SOT 1479357 SOS 581917 HAS SOPS 581917 HAS SOUS 167312 HAS SOUPS 167312 WITH SCORE 167893.917
AT ITER 1779 NEW BEST:: SOT 1469441 SOS 660069 HAS SOPS 660069 HAS SOUS 160450 HAS SOUPS 160450 WITH SCORE 161110.069
AT ITER 1783 NEW BEST:: SOT 1469441 SOS 660050 HAS SOPS 660050 HAS SOUS 160450 HAS SOUPS 160450 WITH SCORE 161110.05
AT ITER 1794 NEW BEST:: SOT 1469391 SOS 659950 HAS SOPS 659950 HAS SOUS 160350 HAS SOUPS 160350 WITH SCORE 161009.95
AT ITER 1834 NEW BEST:: SOT 1469372 SOS 659912 HAS SOPS 659912 HAS SOUS 160171 HAS SOUPS 160171 WITH SCORE 160830.912
AT ITER 1840 NEW BEST:: SOT 1458286 SOS 650761 HAS SOPS 650761 HAS SOUS 155282 HAS SOUPS 155282 WITH SCORE 155932.761
AT ITER 1842 NEW BEST:: SOT 1458198 SOS 650585 HAS SOPS 650585 HAS SOUS 155106 HAS SOUPS 155106 WITH SCORE 155756.585
AT ITER 1844 NEW BEST:: SOT 1455481 SOS 659096 HAS SOPS 659096 HAS SOUS 154269 HAS SOUPS 154269 WITH SCORE 154928.096
AT ITER 1864 NEW BEST:: SOT 1455133 SOS 572741 HAS SOPS 572741 HAS SOUS 152580 HAS SOUPS 152580 WITH SCORE 153152.741
AT ITER 1867 NEW BEST:: SOT 1451620 SOS 570496 HAS SOPS 570496 HAS SOUS 150927 HAS SOUPS 150927 WITH SCORE 151497.496
AT ITER 1875 NEW BEST:: SOT 1451472 SOS 570406 HAS SOPS 570406 HAS SOUS 150837 HAS SOUPS 150837 WITH SCORE 151407.406
AT ITER 1905 NEW BEST:: SOT 1451472 SOS 570406 HAS SOPS 570406 HAS SOUS 150809 HAS SOUPS 150809 WITH SCORE 151379.406
AT ITER 1913 NEW BEST:: SOT 1451469 SOS 570400 HAS SOPS 570400 HAS SOUS 150803 HAS SOUPS 150803 WITH SCORE 151373.4
AT ITER 1929 NEW BEST:: SOT 1451370 SOS 570202 HAS SOPS 570202 HAS SOUS 150704 HAS SOUPS 150704 WITH SCORE 151274.202
AT ITER 1934 NEW BEST:: SOT 1451344 SOS 569934 HAS SOPS 569934 HAS SOUS 150582 HAS SOUPS 150582 WITH SCORE 151151.934
AT ITER 1935 NEW BEST:: SOT 1451343 SOS 567016 HAS SOPS 567016 HAS SOUS 150536 HAS SOUPS 150536 WITH SCORE 151103.016
AT ITER 1936 NEW BEST:: SOT 1451328 SOS 566986 HAS SOPS 566986 HAS SOUS 150506 HAS SOUPS 150506 WITH SCORE 151072.986
AT ITER 1972 NEW BEST:: SOT 1451322 SOS 566980 HAS SOPS 566980 HAS SOUS 150500 HAS SOUPS 150500 WITH SCORE 151066.98
AT ITER 1978 NEW BEST:: SOT 1451203 SOS 566742 HAS SOPS 566742 HAS SOUS 150262 HAS SOUPS 150262 WITH SCORE 150828.742
AT ITER 1991 NEW BEST:: SOT 1451179 SOS 566694 HAS SOPS 566694 HAS SOUS 150214 HAS SOUPS 150214 WITH SCORE 150780.694
AT ITER 2007 NEW BEST:: SOT 1451099 SOS 566534 HAS SOPS 566534 HAS SOUS 150017 HAS SOUPS 150017 WITH SCORE 150583.534
AT ITER 2013 NEW BEST:: SOT 1451087 SOS 566510 HAS SOPS 566510 HAS SOUS 149999 HAS SOUPS 149999 WITH SCORE 150565.51
AT ITER 2024 NEW BEST:: SOT 1451078 SOS 566492 HAS SOPS 566492 HAS SOUS 149978 HAS SOUPS 149978 WITH SCORE 150544.492
AT ITER 2026 NEW BEST:: SOT 1451078 SOS 566492 HAS SOPS 566492 HAS SOUS 149917 HAS SOUPS 149917 WITH SCORE 150483.492
AT ITER 2038 NEW BEST:: SOT 1451014 SOS 566364 HAS SOPS 566364 HAS SOUS 149789 HAS SOUPS 149789 WITH SCORE 150355.364
AT ITER 2041 NEW BEST:: SOT 1450997 SOS 566248 HAS SOPS 566248 HAS SOUS 149704 HAS SOUPS 149704 WITH SCORE 150270.248
AT ITER 2042 NEW BEST:: SOT 1450996 SOS 566246 HAS SOPS 566246 HAS SOUS 149618 HAS SOUPS 149618 WITH SCORE 150184.246
AT ITER 2075 NEW BEST:: SOT 1450973 SOS 566200 HAS SOPS 566200 HAS SOUS 149612 HAS SOUPS 149612 WITH SCORE 150178.2
AT ITER 2114 NEW BEST:: SOT 1450887 SOS 566114 HAS SOPS 566114 HAS SOUS 149526 HAS SOUPS 149526 WITH SCORE 150092.114
AT ITER 2120 NEW BEST:: SOT 1450803 SOS 566029 HAS SOPS 566029 HAS SOUS 149441 HAS SOUPS 149441 WITH SCORE 150007.029
AT ITER 2132 NEW BEST:: SOT 1449581 SOS 619954 HAS SOPS 619954 HAS SOUS 149094 HAS SOUPS 149094 WITH SCORE 149713.954
AT ITER 2137 NEW BEST:: SOT 1449575 SOS 619942 HAS SOPS 619942 HAS SOUS 149088 HAS SOUPS 149088 WITH SCORE 149707.942
AT ITER 2157 NEW BEST:: SOT 1449561 SOS 619914 HAS SOPS 619914 HAS SOUS 149060 HAS SOUPS 149060 WITH SCORE 149679.914
AT ITER 2159 NEW BEST:: SOT 1449559 SOS 619912 HAS SOPS 619912 HAS SOUS 149058 HAS SOUPS 149058 WITH SCORE 149677.912
AT ITER 2163 NEW BEST:: SOT 1449454 SOS 619702 HAS SOPS 619702 HAS SOUS 148848 HAS SOUPS 148848 WITH SCORE 149467.702
AT ITER 2164 NEW BEST:: SOT 1449431 SOS 619656 HAS SOPS 619656 HAS SOUS 148805 HAS SOUPS 148805 WITH SCORE 149424.656
AT ITER 2170 NEW BEST:: SOT 1449362 SOS 619518 HAS SOPS 619518 HAS SOUS 148766 HAS SOUPS 148766 WITH SCORE 149385.518
AT ITER 2211 NEW BEST:: SOT 1449249 SOS 619292 HAS SOPS 619292 HAS SOUS 148653 HAS SOUPS 148653 WITH SCORE 149272.292
AT ITER 2216 NEW BEST:: SOT 1449237 SOS 619268 HAS SOPS 619268 HAS SOUS 148641 HAS SOUPS 148641 WITH SCORE 149260.268
AT ITER 2224 NEW BEST:: SOT 1449208 SOS 619239 HAS SOPS 619239 HAS SOUS 148612 HAS SOUPS 148612 WITH SCORE 149231.239
AT ITER 2240 NEW BEST:: SOT 1449104 SOS 619031 HAS SOPS 619031 HAS SOUS 148398 HAS SOUPS 148398 WITH SCORE 149017.031
AT ITER 2255 NEW BEST:: SOT 1449094 SOS 566634 HAS SOPS 566634 HAS SOUS 148209 HAS SOUPS 148209 WITH SCORE 148775.634
AT ITER 2259 NEW BEST:: SOT 1449093 SOS 566632 HAS SOPS 566632 HAS SOUS 148207 HAS SOUPS 148207 WITH SCORE 148773.632
AT ITER 2277 NEW BEST:: SOT 1449054 SOS 566593 HAS SOPS 566593 HAS SOUS 148168 HAS SOUPS 148168 WITH SCORE 148734.593
AT ITER 2279 NEW BEST:: SOT 1448969 SOS 566479 HAS SOPS 566479 HAS SOUS 148054 HAS SOUPS 148054 WITH SCORE 148620.479
AT ITER 2286 NEW BEST:: SOT 1448961 SOS 566463 HAS SOPS 566463 HAS SOUS 148038 HAS SOUPS 148038 WITH SCORE 148604.463
AT ITER 2306 NEW BEST:: SOT 1448960 SOS 566461 HAS SOPS 566461 HAS SOUS 148036 HAS SOUPS 148036 WITH SCORE 148602.461
AT ITER 2317 NEW BEST:: SOT 1448746 SOS 565819 HAS SOPS 565819 HAS SOUS 147608 HAS SOUPS 147608 WITH SCORE 148173.819
AT ITER 2346 NEW BEST:: SOT 1448720 SOS 565767 HAS SOPS 565767 HAS SOUS 147556 HAS SOUPS 147556 WITH SCORE 148121.767
AT ITER 2353 NEW BEST:: SOT 1448787 SOS 565901 HAS SOPS 565901 HAS SOUS 147471 HAS SOUPS 147471 WITH SCORE 148036.901
AT ITER 2358 NEW BEST:: SOT 1448711 SOS 565749 HAS SOPS 565749 HAS SOUS 147319 HAS SOUPS 147319 WITH SCORE 147884.749
AT ITER 2376 NEW BEST:: SOT 1448711 SOS 565738 HAS SOPS 565738 HAS SOUS 147319 HAS SOUPS 147319 WITH SCORE 147884.738
AT ITER 2403 NEW BEST:: SOT 1448711 SOS 565728 HAS SOPS 565728 HAS SOUS 147319 HAS SOUPS 147319 WITH SCORE 147884.728
AT ITER 2411 NEW BEST:: SOT 1448439 SOS 590071 HAS SOPS 590071 HAS SOUS 147208 HAS SOUPS 147208 WITH SCORE 147798.071
AT ITER 2414 NEW BEST:: SOT 1448439 SOS 562774 HAS SOPS 562774 HAS SOUS 147065 HAS SOUPS 147065 WITH SCORE 147627.774
AT ITER 2415 NEW BEST:: SOT 1448383 SOS 562662 HAS SOPS 562662 HAS SOUS 146953 HAS SOUPS 146953 WITH SCORE 147515.662
AT ITER 2424 NEW BEST:: SOT 1448286 SOS 562468 HAS SOPS 562468 HAS SOUS 146759 HAS SOUPS 146759 WITH SCORE 147321.468
AT ITER 2435 NEW BEST:: SOT 1448202 SOS 562300 HAS SOPS 562300 HAS SOUS 146591 HAS SOUPS 146591 WITH SCORE 147153.3
AT ITER 2487 NEW BEST:: SOT 1448146 SOS 562316 HAS SOPS 562316 HAS SOUS 146588 HAS SOUPS 146588 WITH SCORE 147150.316
AT ITER 2489 NEW BEST:: SOT 1448118 SOS 562260 HAS SOPS 562260 HAS SOUS 146532 HAS SOUPS 146532 WITH SCORE 147094.26
AT ITER 2503 NEW BEST:: SOT 1448110 SOS 562244 HAS SOPS 562244 HAS SOUS 146516 HAS SOUPS 146516 WITH SCORE 147078.244
AT ITER 2506 NEW BEST:: SOT 1448059 SOS 562142 HAS SOPS 562142 HAS SOUS 146414 HAS SOUPS 146414 WITH SCORE 146976.142
AT ITER 2512 NEW BEST:: SOT 1448014 SOS 562052 HAS SOPS 562052 HAS SOUS 146369 HAS SOUPS 146369 WITH SCORE 146931.052
AT ITER 2557 NEW BEST:: SOT 1447837 SOS 517466 HAS SOPS 517466 HAS SOUS 145236 HAS SOUPS 145236 WITH SCORE 145753.466
AT ITER 2567 NEW BEST:: SOT 1447818 SOS 517428 HAS SOPS 517428 HAS SOUS 145217 HAS SOUPS 145217 WITH SCORE 145734.428
AT ITER 2644 NEW BEST:: SOT 1447817 SOS 517411 HAS SOPS 517411 HAS SOUS 145215 HAS SOUPS 145215 WITH SCORE 145732.411
AT ITER 2664 NEW BEST:: SOT 1447801 SOS 517395 HAS SOPS 517395 HAS SOUS 145199 HAS SOUPS 145199 WITH SCORE 145716.395
AT ITER 2669 NEW BEST:: SOT 1447800 SOS 517393 HAS SOPS 517393 HAS SOUS 145197 HAS SOUPS 145197 WITH SCORE 145714.393
AT ITER 2724 NEW BEST:: SOT 1447644 SOS 517081 HAS SOPS 517081 HAS SOUS 145041 HAS SOUPS 145041 WITH SCORE 145558.081
AT ITER 2763 NEW BEST:: SOT 1447631 SOS 517067 HAS SOPS 517067 HAS SOUS 145003 HAS SOUPS 145003 WITH SCORE 145520.067
AT ITER 2766 NEW BEST:: SOT 1447662 SOS 516943 HAS SOPS 516943 HAS SOUS 144945 HAS SOUPS 144945 WITH SCORE 145461.943
AT ITER 2770 NEW BEST:: SOT 1447662 SOS 516943 HAS SOPS 516943 HAS SOUS 144830 HAS SOUPS 144830 WITH SCORE 145346.943
AT ITER 2786 NEW BEST:: SOT 1447661 SOS 516915 HAS SOPS 516915 HAS SOUS 144826 HAS SOUPS 144826 WITH SCORE 145342.915
AT ITER 2808 NEW BEST:: SOT 1447580 SOS 511326 HAS SOPS 511326 HAS SOUS 144653 HAS SOUPS 144653 WITH SCORE 145164.326
AT ITER 2812 NEW BEST:: SOT 1447568 SOS 511302 HAS SOPS 511302 HAS SOUS 144629 HAS SOUPS 144629 WITH SCORE 145140.302
AT ITER 2823 NEW BEST:: SOT 1447475 SOS 511116 HAS SOPS 511116 HAS SOUS 144443 HAS SOUPS 144443 WITH SCORE 144954.116
AT ITER 2838 NEW BEST:: SOT 1447459 SOS 511084 HAS SOPS 511084 HAS SOUS 144411 HAS SOUPS 144411 WITH SCORE 144922.084
AT ITER 2848 NEW BEST:: SOT 1447411 SOS 510988 HAS SOPS 510988 HAS SOUS 144315 HAS SOUPS 144315 WITH SCORE 144825.988
AT ITER 2863 NEW BEST:: SOT 1447408 SOS 510982 HAS SOPS 510982 HAS SOUS 144289 HAS SOUPS 144289 WITH SCORE 144799.982
AT ITER 2878 NEW BEST:: SOT 1447408 SOS 510950 HAS SOPS 510950 HAS SOUS 144257 HAS SOUPS 144257 WITH SCORE 144767.95
AT ITER 2895 NEW BEST:: SOT 1447142 SOS 510418 HAS SOPS 510418 HAS SOUS 143725 HAS SOUPS 143725 WITH SCORE 144235.418
AT ITER 2939 NEW BEST:: SOT 1447104 SOS 509358 HAS SOPS 509358 HAS SOUS 142959 HAS SOUPS 142959 WITH SCORE 143468.358
AT ITER 2953 NEW BEST:: SOT 1447047 SOS 509244 HAS SOPS 509244 HAS SOUS 142845 HAS SOUPS 142845 WITH SCORE 143354.244
AT ITER 2985 NEW BEST:: SOT 1447037 SOS 509224 HAS SOPS 509224 HAS SOUS 142825 HAS SOUPS 142825 WITH SCORE 143334.224
AT ITER 2994 NEW BEST:: SOT 1447083 SOS 509198 HAS SOPS 509198 HAS SOUS 142799 HAS SOUPS 142799 WITH SCORE 143308.198
AT ITER 3014 NEW BEST:: SOT 1447027 SOS 509030 HAS SOPS 509030 HAS SOUS 142687 HAS SOUPS 142687 WITH SCORE 143196.03
AT ITER 3048 NEW BEST:: SOT 1447025 SOS 509026 HAS SOPS 509026 HAS SOUS 142684 HAS SOUPS 142684 WITH SCORE 143193.026
AT ITER 3098 NEW BEST:: SOT 1446997 SOS 508970 HAS SOPS 508970 HAS SOUS 142397 HAS SOUPS 142397 WITH SCORE 142905.97
AT ITER 3100 NEW BEST:: SOT 1446984 SOS 508944 HAS SOPS 508944 HAS SOUS 142371 HAS SOUPS 142371 WITH SCORE 142879.944
AT ITER 3103 NEW BEST:: SOT 1446966 SOS 508908 HAS SOPS 508908 HAS SOUS 142335 HAS SOUPS 142335 WITH SCORE 142843.908
AT ITER 3118 NEW BEST:: SOT 1446957 SOS 508890 HAS SOPS 508890 HAS SOUS 142317 HAS SOUPS 142317 WITH SCORE 142825.89
AT ITER 3151 NEW BEST:: SOT 1446926 SOS 508828 HAS SOPS 508828 HAS SOUS 142286 HAS SOUPS 142286 WITH SCORE 142794.828
AT ITER 3208 NEW BEST:: SOT 1446925 SOS 508826 HAS SOPS 508826 HAS SOUS 142284 HAS SOUPS 142284 WITH SCORE 142792.826
AT ITER 3213 NEW BEST:: SOT 1446875 SOS 508676 HAS SOPS 508676 HAS SOUS 142134 HAS SOUPS 142134 WITH SCORE 142642.676
AT ITER 3222 NEW BEST:: SOT 1446227 SOS 508028 HAS SOPS 508028 HAS SOUS 141486 HAS SOUPS 141486 WITH SCORE 141994.028
AT ITER 3233 NEW BEST:: SOT 1446263 SOS 507984 HAS SOPS 507984 HAS SOUS 141442 HAS SOUPS 141442 WITH SCORE 141949.984
AT ITER 3235 NEW BEST:: SOT 1430555 SOS 531952 HAS SOPS 531952 HAS SOUS 132573 HAS SOUPS 132573 WITH SCORE 133104.952
AT ITER 3236 NEW BEST:: SOT 1430490 SOS 531822 HAS SOPS 531822 HAS SOUS 132508 HAS SOUPS 132508 WITH SCORE 133039.822
AT ITER 3259 NEW BEST:: SOT 1430464 SOS 531770 HAS SOPS 531770 HAS SOUS 132456 HAS SOUPS 132456 WITH SCORE 132987.77
AT ITER 3279 NEW BEST:: SOT 1430311 SOS 531464 HAS SOPS 531464 HAS SOUS 132354 HAS SOUPS 132354 WITH SCORE 132885.464
AT ITER 3291 NEW BEST:: SOT 1430283 SOS 531315 HAS SOPS 531315 HAS SOUS 132298 HAS SOUPS 132298 WITH SCORE 132829.315
AT ITER 3302 NEW BEST:: SOT 1430219 SOS 531187 HAS SOPS 531187 HAS SOUS 132170 HAS SOUPS 132170 WITH SCORE 132701.187
AT ITER 3315 NEW BEST:: SOT 1430183 SOS 531185 HAS SOPS 531185 HAS SOUS 132168 HAS SOUPS 132168 WITH SCORE 132699.185
AT ITER 3334 NEW BEST:: SOT 1430155 SOS 531129 HAS SOPS 531129 HAS SOUS 132140 HAS SOUPS 132140 WITH SCORE 132671.129
AT ITER 3340 NEW BEST:: SOT 1430151 SOS 531121 HAS SOPS 531121 HAS SOUS 132132 HAS SOUPS 132132 WITH SCORE 132663.121
AT ITER 3345 NEW BEST:: SOT 1430053 SOS 530925 HAS SOPS 530925 HAS SOUS 131936 HAS SOUPS 131936 WITH SCORE 132466.925
AT ITER 3360 NEW BEST:: SOT 1430052 SOS 530923 HAS SOPS 530923 HAS SOUS 131934 HAS SOUPS 131934 WITH SCORE 132464.923
AT ITER 3365 NEW BEST:: SOT 1430031 SOS 530881 HAS SOPS 530881 HAS SOUS 131892 HAS SOUPS 131892 WITH SCORE 132422.881
AT ITER 3375 NEW BEST:: SOT 1429842 SOS 441565 HAS SOPS 441565 HAS SOUS 131516 HAS SOUPS 131516 WITH SCORE 131957.565
AT ITER 3387 NEW BEST:: SOT 1429779 SOS 441439 HAS SOPS 441439 HAS SOUS 131390 HAS SOUPS 131390 WITH SCORE 131831.439
AT ITER 3391 NEW BEST:: SOT 1429745 SOS 441371 HAS SOPS 441371 HAS SOUS 131356 HAS SOUPS 131356 WITH SCORE 131797.371
AT ITER 3406 NEW BEST:: SOT 1429660 SOS 436433 HAS SOPS 436433 HAS SOUS 131172 HAS SOUPS 131172 WITH SCORE 131608.433
AT ITER 3415 NEW BEST:: SOT 1429670 SOS 436453 HAS SOPS 436453 HAS SOUS 131158 HAS SOUPS 131158 WITH SCORE 131594.453
AT ITER 3422 NEW BEST:: SOT 1429651 SOS 436415 HAS SOPS 436415 HAS SOUS 131120 HAS SOUPS 131120 WITH SCORE 131556.415
AT ITER 3427 NEW BEST:: SOT 1429660 SOS 436253 HAS SOPS 436253 HAS SOUS 131057 HAS SOUPS 131057 WITH SCORE 131493.253
AT ITER 3438 NEW BEST:: SOT 1429602 SOS 436137 HAS SOPS 436137 HAS SOUS 130941 HAS SOUPS 130941 WITH SCORE 131377.137
AT ITER 3439 NEW BEST:: SOT 1429521 SOS 436039 HAS SOPS 436039 HAS SOUS 130843 HAS SOUPS 130843 WITH SCORE 131279.039
AT ITER 3486 NEW BEST:: SOT 1429458 SOS 434709 HAS SOPS 434709 HAS SOUS 130601 HAS SOUPS 130601 WITH SCORE 131035.709
AT ITER 3489 NEW BEST:: SOT 1429373 SOS 434539 HAS SOPS 434539 HAS SOUS 130431 HAS SOUPS 130431 WITH SCORE 130865.539
AT ITER 3512 NEW BEST:: SOT 1429131 SOS 434055 HAS SOPS 434055 HAS SOUS 129947 HAS SOUPS 129947 WITH SCORE 130381.055
AT ITER 3519 NEW BEST:: SOT 1429128 SOS 397911 HAS SOPS 397911 HAS SOUS 129582 HAS SOUPS 129582 WITH SCORE 129979.911
AT ITER 3520 NEW BEST:: SOT 1428997 SOS 397649 HAS SOPS 397649 HAS SOUS 129447 HAS SOUPS 129447 WITH SCORE 129844.649
AT ITER 3536 NEW BEST:: SOT 1428958 SOS 397571 HAS SOPS 397571 HAS SOUS 129369 HAS SOUPS 129369 WITH SCORE 129766.571
AT ITER 3548 NEW BEST:: SOT 1428926 SOS 396483 HAS SOPS 396483 HAS SOUS 129273 HAS SOUPS 129273 WITH SCORE 129669.483
AT ITER 3549 NEW BEST:: SOT 1428804 SOS 396239 HAS SOPS 396239 HAS SOUS 129087 HAS SOUPS 129087 WITH SCORE 129483.239
AT ITER 3555 NEW BEST:: SOT 1428757 SOS 393745 HAS SOPS 393745 HAS SOUS 128352 HAS SOUPS 128352 WITH SCORE 128745.745
AT ITER 3560 NEW BEST:: SOT 1428746 SOS 393742 HAS SOPS 393742 HAS SOUS 128349 HAS SOUPS 128349 WITH SCORE 128742.742
AT ITER 3575 NEW BEST:: SOT 1428631 SOS 393627 HAS SOPS 393627 HAS SOUS 128234 HAS SOUPS 128234 WITH SCORE 128627.627
AT ITER 3646 NEW BEST:: SOT 1428575 SOS 393515 HAS SOPS 393515 HAS SOUS 128181 HAS SOUPS 128181 WITH SCORE 128574.515
AT ITER 3648 NEW BEST:: SOT 1428555 SOS 390349 HAS SOPS 390349 HAS SOUS 127635 HAS SOUPS 127635 WITH SCORE 128025.349
AT ITER 3680 NEW BEST:: SOT 1428546 SOS 390331 HAS SOPS 390331 HAS SOUS 127617 HAS SOUPS 127617 WITH SCORE 128007.331
AT ITER 3776 NEW BEST:: SOT 1428498 SOS 390283 HAS SOPS 390283 HAS SOUS 127569 HAS SOUPS 127569 WITH SCORE 127959.283
AT ITER 3777 NEW BEST:: SOT 1428420 SOS 390127 HAS SOPS 390127 HAS SOUS 127557 HAS SOUPS 127557 WITH SCORE 127947.127
AT ITER 3786 NEW BEST:: SOT 1428359 SOS 390169 HAS SOPS 390169 HAS SOUS 127549 HAS SOUPS 127549 WITH SCORE 127939.169
AT ITER 3803 NEW BEST:: SOT 1428334 SOS 390119 HAS SOPS 390119 HAS SOUS 127499 HAS SOUPS 127499 WITH SCORE 127889.119
AT ITER 3810 NEW BEST:: SOT 1428422 SOS 390041 HAS SOPS 390041 HAS SOUS 127455 HAS SOUPS 127455 WITH SCORE 127845.041
AT ITER 3814 NEW BEST:: SOT 1428419 SOS 390035 HAS SOPS 390035 HAS SOUS 127449 HAS SOUPS 127449 WITH SCORE 127839.035
AT ITER 3815 NEW BEST:: SOT 1428290 SOS 389884 HAS SOPS 389884 HAS SOUS 127298 HAS SOUPS 127298 WITH SCORE 127687.884
AT ITER 3817 NEW BEST:: SOT 1428290 SOS 389864 HAS SOPS 389864 HAS SOUS 127270 HAS SOUPS 127270 WITH SCORE 127659.864
AT ITER 3832 NEW BEST:: SOT 1428243 SOS 389770 HAS SOPS 389770 HAS SOUS 127176 HAS SOUPS 127176 WITH SCORE 127565.77
AT ITER 3835 NEW BEST:: SOT 1428211 SOS 386934 HAS SOPS 386934 HAS SOUS 126972 HAS SOUPS 126972 WITH SCORE 127358.934
AT ITER 3857 NEW BEST:: SOT 1428199 SOS 386910 HAS SOPS 386910 HAS SOUS 126948 HAS SOUPS 126948 WITH SCORE 127334.91
AT ITER 3900 NEW BEST:: SOT 1427926 SOS 386364 HAS SOPS 386364 HAS SOUS 126754 HAS SOUPS 126754 WITH SCORE 127140.364
AT ITER 4012 NEW BEST:: SOT 1427922 SOS 386356 HAS SOPS 386356 HAS SOUS 126746 HAS SOUPS 126746 WITH SCORE 127132.356
AT ITER 4031 NEW BEST:: SOT 1427879 SOS 386270 HAS SOPS 386270 HAS SOUS 126706 HAS SOUPS 126706 WITH SCORE 127092.27
AT ITER 4056 NEW BEST:: SOT 1427667 SOS 385846 HAS SOPS 385846 HAS SOUS 126282 HAS SOUPS 126282 WITH SCORE 126667.846
AT ITER 4108 NEW BEST:: SOT 1427666 SOS 385796 HAS SOPS 385796 HAS SOUS 126266 HAS SOUPS 126266 WITH SCORE 126651.796
AT ITER 4133 NEW BEST:: SOT 1427539 SOS 385542 HAS SOPS 385542 HAS SOUS 126010 HAS SOUPS 126010 WITH SCORE 126395.542
AT ITER 4194 NEW BEST:: SOT 1427508 SOS 385480 HAS SOPS 385480 HAS SOUS 125948 HAS SOUPS 125948 WITH SCORE 126333.48
AT ITER 4209 NEW BEST:: SOT 1427508 SOS 385464 HAS SOPS 385464 HAS SOUS 125947 HAS SOUPS 125947 WITH SCORE 126332.464
AT ITER 4212 NEW BEST:: SOT 1427507 SOS 385463 HAS SOPS 385463 HAS SOUS 125945 HAS SOUPS 125945 WITH SCORE 126330.463
AT ITER 4214 NEW BEST:: SOT 1427460 SOS 385369 HAS SOPS 385369 HAS SOUS 125851 HAS SOUPS 125851 WITH SCORE 126236.369
AT ITER 4251 NEW BEST:: SOT 1427376 SOS 385201 HAS SOPS 385201 HAS SOUS 125768 HAS SOUPS 125768 WITH SCORE 126153.201
AT ITER 4287 NEW BEST:: SOT 1427196 SOS 384841 HAS SOPS 384841 HAS SOUS 125504 HAS SOUPS 125504 WITH SCORE 125888.841
AT ITER 4312 NEW BEST:: SOT 1427114 SOS 384879 HAS SOPS 384879 HAS SOUS 125460 HAS SOUPS 125460 WITH SCORE 125844.879
AT ITER 4340 NEW BEST:: SOT 1427108 SOS 384867 HAS SOPS 384867 HAS SOUS 125454 HAS SOUPS 125454 WITH SCORE 125838.867
AT ITER 4343 NEW BEST:: SOT 1427108 SOS 384867 HAS SOPS 384867 HAS SOUS 125407 HAS SOUPS 125407 WITH SCORE 125791.867
AT ITER 4382 NEW BEST:: SOT 1427077 SOS 384805 HAS SOPS 384805 HAS SOUS 125345 HAS SOUPS 125345 WITH SCORE 125729.805
AT ITER 4399 NEW BEST:: SOT 1426997 SOS 384645 HAS SOPS 384645 HAS SOUS 125185 HAS SOUPS 125185 WITH SCORE 125569.645
AT ITER 4531 NEW BEST:: SOT 1427046 SOS 384899 HAS SOPS 384899 HAS SOUS 125182 HAS SOUPS 125182 WITH SCORE 125566.899
AT ITER 4549 NEW BEST:: SOT 1427035 SOS 384877 HAS SOPS 384877 HAS SOUS 125160 HAS SOUPS 125160 WITH SCORE 125544.877
AT ITER 4552 NEW BEST:: SOT 1427032 SOS 384871 HAS SOPS 384871 HAS SOUS 125123 HAS SOUPS 125123 WITH SCORE 125507.871
AT ITER 4620 NEW BEST:: SOT 1427031 SOS 384869 HAS SOPS 384869 HAS SOUS 125121 HAS SOUPS 125121 WITH SCORE 125505.869
AT ITER 4686 NEW BEST:: SOT 1427016 SOS 384839 HAS SOPS 384839 HAS SOUS 125106 HAS SOUPS 125106 WITH SCORE 125490.839
AT ITER 4722 NEW BEST:: SOT 1426870 SOS 384547 HAS SOPS 384547 HAS SOUS 124960 HAS SOUPS 124960 WITH SCORE 125344.547
AT ITER 4724 NEW BEST:: SOT 1426870 SOS 384498 HAS SOPS 384498 HAS SOUS 124911 HAS SOUPS 124911 WITH SCORE 125295.498
AT ITER 4739 NEW BEST:: SOT 1426788 SOS 384334 HAS SOPS 384334 HAS SOUS 124619 HAS SOUPS 124619 WITH SCORE 125003.334
AT ITER 4747 NEW BEST:: SOT 1426788 SOS 384313 HAS SOPS 384313 HAS SOUS 124598 HAS SOUPS 124598 WITH SCORE 124982.313
AT ITER 4750 NEW BEST:: SOT 1426788 SOS 384304 HAS SOPS 384304 HAS SOUS 124598 HAS SOUPS 124598 WITH SCORE 124982.304
AT ITER 4766 NEW BEST:: SOT 1426783 SOS 384294 HAS SOPS 384294 HAS SOUS 124588 HAS SOUPS 124588 WITH SCORE 124972.294
AT ITER 4779 NEW BEST:: SOT 1426782 SOS 384292 HAS SOPS 384292 HAS SOUS 124586 HAS SOUPS 124586 WITH SCORE 124970.292
AT ITER 4781 NEW BEST:: SOT 1426775 SOS 384278 HAS SOPS 384278 HAS SOUS 124572 HAS SOUPS 124572 WITH SCORE 124956.278
AT ITER 4796 NEW BEST:: SOT 1426712 SOS 384215 HAS SOPS 384215 HAS SOUS 124509 HAS SOUPS 124509 WITH SCORE 124893.215
AT ITER 4815 NEW BEST:: SOT 1426712 SOS 384215 HAS SOPS 384215 HAS SOUS 124409 HAS SOUPS 124409 WITH SCORE 124793.215
AT ITER 4820 NEW BEST:: SOT 1426711 SOS 384339 HAS SOPS 384339 HAS SOUS 124407 HAS SOUPS 124407 WITH SCORE 124791.339
AT ITER 4824 NEW BEST:: SOT 1426711 SOS 384339 HAS SOPS 384339 HAS SOUS 124397 HAS SOUPS 124397 WITH SCORE 124781.339
AT ITER 4859 NEW BEST:: SOT 1426542 SOS 384238 HAS SOPS 384238 HAS SOUS 124318 HAS SOUPS 124318 WITH SCORE 124702.238
AT ITER 4968 NEW BEST:: SOT 1426541 SOS 384236 HAS SOPS 384236 HAS SOUS 124316 HAS SOUPS 124316 WITH SCORE 124700.236
AT ITER 4973 NEW BEST:: SOT 1426537 SOS 384228 HAS SOPS 384228 HAS SOUS 124308 HAS SOUPS 124308 WITH SCORE 124692.228
AT ITER 4974 NEW BEST:: SOT 1426514 SOS 384182 HAS SOPS 384182 HAS SOUS 124262 HAS SOUPS 124262 WITH SCORE 124646.182
AT ITER 4982 NEW BEST:: SOT 1426431 SOS 384016 HAS SOPS 384016 HAS SOUS 124179 HAS SOUPS 124179 WITH SCORE 124563.016
AT ITER 5016 NEW BEST:: SOT 1426384 SOS 383922 HAS SOPS 383922 HAS SOUS 124085 HAS SOUPS 124085 WITH SCORE 124468.922
AT ITER 5032 NEW BEST:: SOT 1426378 SOS 383910 HAS SOPS 383910 HAS SOUS 124073 HAS SOUPS 124073 WITH SCORE 124456.91
AT ITER 5052 NEW BEST:: SOT 1426329 SOS 383898 HAS SOPS 383898 HAS SOUS 124024 HAS SOUPS 124024 WITH SCORE 124407.898
AT ITER 5053 NEW BEST:: SOT 1426328 SOS 383896 HAS SOPS 383896 HAS SOUS 124022 HAS SOUPS 124022 WITH SCORE 124405.896
AT ITER 5054 NEW BEST:: SOT 1426818 SOS 377649 HAS SOPS 377649 HAS SOUS 124023 HAS SOUPS 124023 WITH SCORE 124400.649
AT ITER 5059 NEW BEST:: SOT 1426824 SOS 377541 HAS SOPS 377541 HAS SOUS 123915 HAS SOUPS 123915 WITH SCORE 124292.541
AT ITER 5139 NEW BEST:: SOT 1426823 SOS 377539 HAS SOPS 377539 HAS SOUS 123913 HAS SOUPS 123913 WITH SCORE 124290.539
AT ITER 5140 NEW BEST:: SOT 1426787 SOS 377485 HAS SOPS 377485 HAS SOUS 123859 HAS SOUPS 123859 WITH SCORE 124236.485
AT ITER 5153 NEW BEST:: SOT 1426774 SOS 377459 HAS SOPS 377459 HAS SOUS 123833 HAS SOUPS 123833 WITH SCORE 124210.459
AT ITER 5155 NEW BEST:: SOT 1426774 SOS 377437 HAS SOPS 377437 HAS SOUS 123811 HAS SOUPS 123811 WITH SCORE 124188.437
AT ITER 5187 NEW BEST:: SOT 1426633 SOS 377351 HAS SOPS 377351 HAS SOUS 123682 HAS SOUPS 123682 WITH SCORE 124059.351
AT ITER 5195 NEW BEST:: SOT 1426632 SOS 377349 HAS SOPS 377349 HAS SOUS 123680 HAS SOUPS 123680 WITH SCORE 124057.349
AT ITER 5274 NEW BEST:: SOT 1426607 SOS 377299 HAS SOPS 377299 HAS SOUS 123673 HAS SOUPS 123673 WITH SCORE 124050.299
AT ITER 5295 NEW BEST:: SOT 1426595 SOS 377275 HAS SOPS 377275 HAS SOUS 123649 HAS SOUPS 123649 WITH SCORE 124026.275
AT ITER 5300 NEW BEST:: SOT 1426575 SOS 377235 HAS SOPS 377235 HAS SOUS 123609 HAS SOUPS 123609 WITH SCORE 123986.235
AT ITER 5333 NEW BEST:: SOT 1426671 SOS 377329 HAS SOPS 377329 HAS SOUS 123578 HAS SOUPS 123578 WITH SCORE 123955.329
AT ITER 5349 NEW BEST:: SOT 1426651 SOS 377156 HAS SOPS 377156 HAS SOUS 123569 HAS SOUPS 123569 WITH SCORE 123946.156
AT ITER 5357 NEW BEST:: SOT 1426628 SOS 377110 HAS SOPS 377110 HAS SOUS 123523 HAS SOUPS 123523 WITH SCORE 123900.11
AT ITER 5375 NEW BEST:: SOT 1426613 SOS 375892 HAS SOPS 375892 HAS SOUS 123415 HAS SOUPS 123415 WITH SCORE 123790.892
AT ITER 5439 NEW BEST:: SOT 1426546 SOS 375758 HAS SOPS 375758 HAS SOUS 123281 HAS SOUPS 123281 WITH SCORE 123656.758
AT ITER 5468 NEW BEST:: SOT 1426524 SOS 375745 HAS SOPS 375745 HAS SOUS 123259 HAS SOUPS 123259 WITH SCORE 123634.745
AT ITER 5498 NEW BEST:: SOT 1426401 SOS 375499 HAS SOPS 375499 HAS SOUS 123013 HAS SOUPS 123013 WITH SCORE 123388.499
AT ITER 5512 NEW BEST:: SOT 1426400 SOS 375497 HAS SOPS 375497 HAS SOUS 123011 HAS SOUPS 123011 WITH SCORE 123386.497
AT ITER 5548 NEW BEST:: SOT 1426371 SOS 375439 HAS SOPS 375439 HAS SOUS 122953 HAS SOUPS 122953 WITH SCORE 123328.439
AT ITER 5554 NEW BEST:: SOT 1426362 SOS 375421 HAS SOPS 375421 HAS SOUS 122935 HAS SOUPS 122935 WITH SCORE 123310.421
AT ITER 5557 NEW BEST:: SOT 1426299 SOS 375295 HAS SOPS 375295 HAS SOUS 122809 HAS SOUPS 122809 WITH SCORE 123184.295
AT ITER 5649 NEW BEST:: SOT 1426299 SOS 375292 HAS SOPS 375292 HAS SOUS 122806 HAS SOUPS 122806 WITH SCORE 123181.292
AT ITER 5680 NEW BEST:: SOT 1426292 SOS 375278 HAS SOPS 375278 HAS SOUS 122792 HAS SOUPS 122792 WITH SCORE 123167.278
AT ITER 5685 NEW BEST:: SOT 1426274 SOS 375242 HAS SOPS 375242 HAS SOUS 122756 HAS SOUPS 122756 WITH SCORE 123131.242
AT ITER 5694 NEW BEST:: SOT 1426194 SOS 375082 HAS SOPS 375082 HAS SOUS 122646 HAS SOUPS 122646 WITH SCORE 123021.082
AT ITER 5777 NEW BEST:: SOT 1426135 SOS 368974 HAS SOPS 368974 HAS SOUS 122085 HAS SOUPS 122085 WITH SCORE 122453.974
AT ITER 5781 NEW BEST:: SOT 1426123 SOS 368950 HAS SOPS 368950 HAS SOUS 122061 HAS SOUPS 122061 WITH SCORE 122429.95
AT ITER 5788 NEW BEST:: SOT 1426123 SOS 368928 HAS SOPS 368928 HAS SOUS 122039 HAS SOUPS 122039 WITH SCORE 122407.928
AT ITER 5791 NEW BEST:: SOT 1426104 SOS 368890 HAS SOPS 368890 HAS SOUS 122001 HAS SOUPS 122001 WITH SCORE 122369.89
AT ITER 5819 NEW BEST:: SOT 1426086 SOS 368854 HAS SOPS 368854 HAS SOUS 121965 HAS SOUPS 121965 WITH SCORE 122333.854
AT ITER 5830 NEW BEST:: SOT 1426083 SOS 368848 HAS SOPS 368848 HAS SOUS 121959 HAS SOUPS 121959 WITH SCORE 122327.848
AT ITER 5877 NEW BEST:: SOT 1426065 SOS 368831 HAS SOPS 368831 HAS SOUS 121941 HAS SOUPS 121941 WITH SCORE 122309.831
AT ITER 5908 NEW BEST:: SOT 1426034 SOS 368691 HAS SOPS 368691 HAS SOUS 121879 HAS SOUPS 121879 WITH SCORE 122247.691
AT ITER 5918 NEW BEST:: SOT 1426034 SOS 368691 HAS SOPS 368691 HAS SOUS 121845 HAS SOUPS 121845 WITH SCORE 122213.691
AT ITER 5936 NEW BEST:: SOT 1426060 SOS 368743 HAS SOPS 368743 HAS SOUS 121807 HAS SOUPS 121807 WITH SCORE 122175.743
AT ITER 5942 NEW BEST:: SOT 1426025 SOS 368802 HAS SOPS 368802 HAS SOUS 121737 HAS SOUPS 121737 WITH SCORE 122105.802
AT ITER 5967 NEW BEST:: SOT 1425980 SOS 368712 HAS SOPS 368712 HAS SOUS 121647 HAS SOUPS 121647 WITH SCORE 122015.712
AT ITER 5992 NEW BEST:: SOT 1425980 SOS 364452 HAS SOPS 364452 HAS SOUS 120642 HAS SOUPS 120642 WITH SCORE 121006.452
AT ITER 6028 NEW BEST:: SOT 1425946 SOS 364384 HAS SOPS 364384 HAS SOUS 120574 HAS SOUPS 120574 WITH SCORE 120938.384
AT ITER 6045 NEW BEST:: SOT 1425985 SOS 364366 HAS SOPS 364366 HAS SOUS 120556 HAS SOUPS 120556 WITH SCORE 120920.366
AT ITER 6050 NEW BEST:: SOT 1425989 SOS 364374 HAS SOPS 364374 HAS SOUS 120476 HAS SOUPS 120476 WITH SCORE 120840.374
AT ITER 6075 NEW BEST:: SOT 1425989 SOS 364329 HAS SOPS 364329 HAS SOUS 120476 HAS SOUPS 120476 WITH SCORE 120840.329
AT ITER 6078 NEW BEST:: SOT 1425988 SOS 364327 HAS SOPS 364327 HAS SOUS 120474 HAS SOUPS 120474 WITH SCORE 120838.327
AT ITER 6080 NEW BEST:: SOT 1425987 SOS 364325 HAS SOPS 364325 HAS SOUS 120472 HAS SOUPS 120472 WITH SCORE 120836.325
AT ITER 6099 NEW BEST:: SOT 1425982 SOS 364320 HAS SOPS 364320 HAS SOUS 120462 HAS SOUPS 120462 WITH SCORE 120826.32
AT ITER 6119 NEW BEST:: SOT 1425940 SOS 364236 HAS SOPS 364236 HAS SOUS 120382 HAS SOUPS 120382 WITH SCORE 120746.236
AT ITER 6126 NEW BEST:: SOT 1425920 SOS 364216 HAS SOPS 364216 HAS SOUS 120362 HAS SOUPS 120362 WITH SCORE 120726.216
AT ITER 6138 NEW BEST:: SOT 1425920 SOS 364181 HAS SOPS 364181 HAS SOUS 120327 HAS SOUPS 120327 WITH SCORE 120691.181
AT ITER 6142 NEW BEST:: SOT 1425870 SOS 364081 HAS SOPS 364081 HAS SOUS 120318 HAS SOUPS 120318 WITH SCORE 120682.081
AT ITER 6148 NEW BEST:: SOT 1425826 SOS 363993 HAS SOPS 363993 HAS SOUS 120230 HAS SOUPS 120230 WITH SCORE 120593.993
AT ITER 6221 NEW BEST:: SOT 1425789 SOS 363919 HAS SOPS 363919 HAS SOUS 120156 HAS SOUPS 120156 WITH SCORE 120519.919
AT ITER 6235 NEW BEST:: SOT 1425785 SOS 363915 HAS SOPS 363915 HAS SOUS 120148 HAS SOUPS 120148 WITH SCORE 120511.915
AT ITER 6236 NEW BEST:: SOT 1425770 SOS 363885 HAS SOPS 363885 HAS SOUS 120118 HAS SOUPS 120118 WITH SCORE 120481.885
AT ITER 6261 NEW BEST:: SOT 1425798 SOS 363855 HAS SOPS 363855 HAS SOUS 119939 HAS SOUPS 119939 WITH SCORE 120302.855
AT ITER 6275 NEW BEST:: SOT 1427175 SOS 364446 HAS SOPS 364446 HAS SOUS 117320 HAS SOUPS 117320 WITH SCORE 117684.446
AT ITER 6277 NEW BEST:: SOT 1427260 SOS 364367 HAS SOPS 364367 HAS SOUS 117241 HAS SOUPS 117241 WITH SCORE 117605.367
AT ITER 6306 NEW BEST:: SOT 1427299 SOS 364445 HAS SOPS 364445 HAS SOUS 117234 HAS SOUPS 117234 WITH SCORE 117598.445
AT ITER 6329 NEW BEST:: SOT 1427292 SOS 364438 HAS SOPS 364438 HAS SOUS 117227 HAS SOUPS 117227 WITH SCORE 117591.438
AT ITER 6347 NEW BEST:: SOT 1427250 SOS 364354 HAS SOPS 364354 HAS SOUS 117143 HAS SOUPS 117143 WITH SCORE 117507.354
AT ITER 6355 NEW BEST:: SOT 1427179 SOS 364212 HAS SOPS 364212 HAS SOUS 117001 HAS SOUPS 117001 WITH SCORE 117365.212
AT ITER 6384 NEW BEST:: SOT 1427200 SOS 364187 HAS SOPS 364187 HAS SOUS 116976 HAS SOUPS 116976 WITH SCORE 117340.187
AT ITER 6389 NEW BEST:: SOT 1427199 SOS 364185 HAS SOPS 364185 HAS SOUS 116974 HAS SOUPS 116974 WITH SCORE 117338.185
AT ITER 6394 NEW BEST:: SOT 1427082 SOS 363951 HAS SOPS 363951 HAS SOUS 116740 HAS SOUPS 116740 WITH SCORE 117103.951
AT ITER 6396 NEW BEST:: SOT 1427015 SOS 356342 HAS SOPS 356342 HAS SOUS 116475 HAS SOUPS 116475 WITH SCORE 116831.342
AT ITER 6415 NEW BEST:: SOT 1426830 SOS 355972 HAS SOPS 355972 HAS SOUS 116105 HAS SOUPS 116105 WITH SCORE 116460.972
AT ITER 6432 NEW BEST:: SOT 1426829 SOS 355970 HAS SOPS 355970 HAS SOUS 116103 HAS SOUPS 116103 WITH SCORE 116458.97
AT ITER 6513 NEW BEST:: SOT 1426792 SOS 351924 HAS SOPS 351924 HAS SOUS 115846 HAS SOUPS 115846 WITH SCORE 116197.924
AT ITER 6595 NEW BEST:: SOT 1426671 SOS 351682 HAS SOPS 351682 HAS SOUS 115703 HAS SOUPS 115703 WITH SCORE 116054.682
AT ITER 6599 NEW BEST:: SOT 1426644 SOS 351628 HAS SOPS 351628 HAS SOUS 115649 HAS SOUPS 115649 WITH SCORE 116000.628
AT ITER 6624 NEW BEST:: SOT 1426627 SOS 351594 HAS SOPS 351594 HAS SOUS 115605 HAS SOUPS 115605 WITH SCORE 115956.594
AT ITER 6629 NEW BEST:: SOT 1426603 SOS 351546 HAS SOPS 351546 HAS SOUS 115581 HAS SOUPS 115581 WITH SCORE 115932.546
AT ITER 6668 NEW BEST:: SOT 1426518 SOS 351376 HAS SOPS 351376 HAS SOUS 115499 HAS SOUPS 115499 WITH SCORE 115850.376
AT ITER 6675 NEW BEST:: SOT 1426446 SOS 351232 HAS SOPS 351232 HAS SOUS 115451 HAS SOUPS 115451 WITH SCORE 115802.232
AT ITER 6680 NEW BEST:: SOT 1426430 SOS 351200 HAS SOPS 351200 HAS SOUS 115419 HAS SOUPS 115419 WITH SCORE 115770.2
AT ITER 6709 NEW BEST:: SOT 1426421 SOS 351182 HAS SOPS 351182 HAS SOUS 115401 HAS SOUPS 115401 WITH SCORE 115752.182
AT ITER 6711 NEW BEST:: SOT 1426403 SOS 351146 HAS SOPS 351146 HAS SOUS 115401 HAS SOUPS 115401 WITH SCORE 115752.146
AT ITER 6714 NEW BEST:: SOT 1426403 SOS 351146 HAS SOPS 351146 HAS SOUS 115320 HAS SOUPS 115320 WITH SCORE 115671.146
AT ITER 6719 NEW BEST:: SOT 1426402 SOS 351144 HAS SOPS 351144 HAS SOUS 115318 HAS SOUPS 115318 WITH SCORE 115669.144
AT ITER 6720 NEW BEST:: SOT 1426389 SOS 351118 HAS SOPS 351118 HAS SOUS 115165 HAS SOUPS 115165 WITH SCORE 115516.118
AT ITER 6727 NEW BEST:: SOT 1426345 SOS 352038 HAS SOPS 352038 HAS SOUS 115145 HAS SOUPS 115145 WITH SCORE 115497.038
AT ITER 6743 NEW BEST:: SOT 1426331 SOS 359392 HAS SOPS 359392 HAS SOUS 115118 HAS SOUPS 115118 WITH SCORE 115477.392
AT ITER 6801 NEW BEST:: SOT 1426313 SOS 359356 HAS SOPS 359356 HAS SOUS 115082 HAS SOUPS 115082 WITH SCORE 115441.356
AT ITER 6858 NEW BEST:: SOT 1426313 SOS 359327 HAS SOPS 359327 HAS SOUS 115053 HAS SOUPS 115053 WITH SCORE 115412.327
AT ITER 6866 NEW BEST:: SOT 1426291 SOS 359283 HAS SOPS 359283 HAS SOUS 115009 HAS SOUPS 115009 WITH SCORE 115368.283
AT ITER 6890 NEW BEST:: SOT 1426278 SOS 357681 HAS SOPS 357681 HAS SOUS 114645 HAS SOUPS 114645 WITH SCORE 115002.681
AT ITER 6911 NEW BEST:: SOT 1426212 SOS 357615 HAS SOPS 357615 HAS SOUS 114579 HAS SOUPS 114579 WITH SCORE 114936.615
AT ITER 6914 NEW BEST:: SOT 1426140 SOS 357487 HAS SOPS 357487 HAS SOUS 114451 HAS SOUPS 114451 WITH SCORE 114808.487
AT ITER 6942 NEW BEST:: SOT 1426114 SOS 357466 HAS SOPS 357466 HAS SOUS 114430 HAS SOUPS 114430 WITH SCORE 114787.466
AT ITER 6945 NEW BEST:: SOT 1426110 SOS 357458 HAS SOPS 357458 HAS SOUS 114422 HAS SOUPS 114422 WITH SCORE 114779.458
AT ITER 6980 NEW BEST:: SOT 1426061 SOS 357360 HAS SOPS 357360 HAS SOUS 114324 HAS SOUPS 114324 WITH SCORE 114681.36
AT ITER 7020 NEW BEST:: SOT 1426000 SOS 357238 HAS SOPS 357238 HAS SOUS 114202 HAS SOUPS 114202 WITH SCORE 114559.238
AT ITER 7034 NEW BEST:: SOT 1425974 SOS 357186 HAS SOPS 357186 HAS SOUS 114176 HAS SOUPS 114176 WITH SCORE 114533.186
AT ITER 7039 NEW BEST:: SOT 1425877 SOS 357098 HAS SOPS 357098 HAS SOUS 114088 HAS SOUPS 114088 WITH SCORE 114445.098
AT ITER 7040 NEW BEST:: SOT 1425832 SOS 356108 HAS SOPS 356108 HAS SOUS 113830 HAS SOUPS 113830 WITH SCORE 114186.108
AT ITER 7060 NEW BEST:: SOT 1425830 SOS 356104 HAS SOPS 356104 HAS SOUS 113826 HAS SOUPS 113826 WITH SCORE 114182.104
AT ITER 7094 NEW BEST:: SOT 1425804 SOS 356052 HAS SOPS 356052 HAS SOUS 113774 HAS SOUPS 113774 WITH SCORE 114130.052
AT ITER 7111 NEW BEST:: SOT 1425802 SOS 356048 HAS SOPS 356048 HAS SOUS 113768 HAS SOUPS 113768 WITH SCORE 114124.048
AT ITER 7125 NEW BEST:: SOT 1425774 SOS 356020 HAS SOPS 356020 HAS SOUS 113740 HAS SOUPS 113740 WITH SCORE 114096.02
AT ITER 7127 NEW BEST:: SOT 1425767 SOS 356006 HAS SOPS 356006 HAS SOUS 113726 HAS SOUPS 113726 WITH SCORE 114082.006
AT ITER 7161 NEW BEST:: SOT 1425767 SOS 355908 HAS SOPS 355908 HAS SOUS 113666 HAS SOUPS 113666 WITH SCORE 114021.908
AT ITER 7167 NEW BEST:: SOT 1425637 SOS 355648 HAS SOPS 355648 HAS SOUS 113474 HAS SOUPS 113474 WITH SCORE 113829.648
AT ITER 7211 NEW BEST:: SOT 1425557 SOS 355386 HAS SOPS 355386 HAS SOUS 113314 HAS SOUPS 113314 WITH SCORE 113669.386
AT ITER 7239 NEW BEST:: SOT 1425540 SOS 355384 HAS SOPS 355384 HAS SOUS 113312 HAS SOUPS 113312 WITH SCORE 113667.384
AT ITER 7251 NEW BEST:: SOT 1425438 SOS 355180 HAS SOPS 355180 HAS SOUS 113260 HAS SOUPS 113260 WITH SCORE 113615.18
AT ITER 7255 NEW BEST:: SOT 1425423 SOS 355150 HAS SOPS 355150 HAS SOUS 113217 HAS SOUPS 113217 WITH SCORE 113572.15
AT ITER 7268 NEW BEST:: SOT 1425406 SOS 355133 HAS SOPS 355133 HAS SOUS 113199 HAS SOUPS 113199 WITH SCORE 113554.133
AT ITER 7308 NEW BEST:: SOT 1425375 SOS 355071 HAS SOPS 355071 HAS SOUS 113137 HAS SOUPS 113137 WITH SCORE 113492.071
AT ITER 7375 NEW BEST:: SOT 1425360 SOS 355041 HAS SOPS 355041 HAS SOUS 113107 HAS SOUPS 113107 WITH SCORE 113462.041
AT ITER 7378 NEW BEST:: SOT 1425358 SOS 355057 HAS SOPS 355057 HAS SOUS 113105 HAS SOUPS 113105 WITH SCORE 113460.057
AT ITER 7390 NEW BEST:: SOT 1425293 SOS 354927 HAS SOPS 354927 HAS SOUS 113078 HAS SOUPS 113078 WITH SCORE 113432.927
AT ITER 7411 NEW BEST:: SOT 1425336 SOS 354911 HAS SOPS 354911 HAS SOUS 113062 HAS SOUPS 113062 WITH SCORE 113416.911
AT ITER 7448 NEW BEST:: SOT 1425336 SOS 354881 HAS SOPS 354881 HAS SOUS 113062 HAS SOUPS 113062 WITH SCORE 113416.881
AT ITER 7478 NEW BEST:: SOT 1425250 SOS 354709 HAS SOPS 354709 HAS SOUS 112890 HAS SOUPS 112890 WITH SCORE 113244.709
AT ITER 7485 NEW BEST:: SOT 1425240 SOS 354699 HAS SOPS 354699 HAS SOUS 112880 HAS SOUPS 112880 WITH SCORE 113234.699
AT ITER 7520 NEW BEST:: SOT 1425239 SOS 354697 HAS SOPS 354697 HAS SOUS 112878 HAS SOUPS 112878 WITH SCORE 113232.697
AT ITER 7522 NEW BEST:: SOT 1425162 SOS 354543 HAS SOPS 354543 HAS SOUS 112790 HAS SOUPS 112790 WITH SCORE 113144.543
AT ITER 7535 NEW BEST:: SOT 1425152 SOS 354523 HAS SOPS 354523 HAS SOUS 112771 HAS SOUPS 112771 WITH SCORE 113125.523
AT ITER 7559 NEW BEST:: SOT 1425152 SOS 354506 HAS SOPS 354506 HAS SOUS 112754 HAS SOUPS 112754 WITH SCORE 113108.506
AT ITER 7577 NEW BEST:: SOT 1425134 SOS 354470 HAS SOPS 354470 HAS SOUS 112736 HAS SOUPS 112736 WITH SCORE 113090.47
AT ITER 7609 NEW BEST:: SOT 1425105 SOS 354412 HAS SOPS 354412 HAS SOUS 112678 HAS SOUPS 112678 WITH SCORE 113032.412
AT ITER 7623 NEW BEST:: SOT 1425098 SOS 354478 HAS SOPS 354478 HAS SOUS 112664 HAS SOUPS 112664 WITH SCORE 113018.478
AT ITER 7640 NEW BEST:: SOT 1425098 SOS 354135 HAS SOPS 354135 HAS SOUS 112561 HAS SOUPS 112561 WITH SCORE 112915.135
AT ITER 7653 NEW BEST:: SOT 1425087 SOS 354113 HAS SOPS 354113 HAS SOUS 112539 HAS SOUPS 112539 WITH SCORE 112893.113
AT ITER 7707 NEW BEST:: SOT 1425087 SOS 354058 HAS SOPS 354058 HAS SOUS 112539 HAS SOUPS 112539 WITH SCORE 112893.058
AT ITER 7749 NEW BEST:: SOT 1425078 SOS 354016 HAS SOPS 354016 HAS SOUS 112497 HAS SOUPS 112497 WITH SCORE 112851.016
AT ITER 7788 NEW BEST:: SOT 1425065 SOS 354003 HAS SOPS 354003 HAS SOUS 112484 HAS SOUPS 112484 WITH SCORE 112838.003
AT ITER 7789 NEW BEST:: SOT 1425035 SOS 353943 HAS SOPS 353943 HAS SOUS 112424 HAS SOUPS 112424 WITH SCORE 112777.943
AT ITER 7797 NEW BEST:: SOT 1424963 SOS 353799 HAS SOPS 353799 HAS SOUS 112280 HAS SOUPS 112280 WITH SCORE 112633.799
AT ITER 7844 NEW BEST:: SOT 1424962 SOS 353796 HAS SOPS 353796 HAS SOUS 112279 HAS SOUPS 112279 WITH SCORE 112632.796
AT ITER 7848 NEW BEST:: SOT 1424950 SOS 353772 HAS SOPS 353772 HAS SOUS 112255 HAS SOUPS 112255 WITH SCORE 112608.772
AT ITER 7870 NEW BEST:: SOT 1424922 SOS 353716 HAS SOPS 353716 HAS SOUS 112199 HAS SOUPS 112199 WITH SCORE 112552.716
AT ITER 7878 NEW BEST:: SOT 1424911 SOS 353694 HAS SOPS 353694 HAS SOUS 112177 HAS SOUPS 112177 WITH SCORE 112530.694
AT ITER 7883 NEW BEST:: SOT 1424906 SOS 353684 HAS SOPS 353684 HAS SOUS 112167 HAS SOUPS 112167 WITH SCORE 112520.684
AT ITER 7894 NEW BEST:: SOT 1424873 SOS 353618 HAS SOPS 353618 HAS SOUS 112101 HAS SOUPS 112101 WITH SCORE 112454.618
AT ITER 7896 NEW BEST:: SOT 1424869 SOS 353610 HAS SOPS 353610 HAS SOUS 112094 HAS SOUPS 112094 WITH SCORE 112447.61
AT ITER 7909 NEW BEST:: SOT 1424820 SOS 353578 HAS SOPS 353578 HAS SOUS 112058 HAS SOUPS 112058 WITH SCORE 112411.578
AT ITER 7982 NEW BEST:: SOT 1424817 SOS 353572 HAS SOPS 353572 HAS SOUS 112052 HAS SOUPS 112052 WITH SCORE 112405.572
AT ITER 8025 NEW BEST:: SOT 1424815 SOS 353568 HAS SOPS 353568 HAS SOUS 112048 HAS SOUPS 112048 WITH SCORE 112401.568
AT ITER 8067 NEW BEST:: SOT 1424815 SOS 353568 HAS SOPS 353568 HAS SOUS 111973 HAS SOUPS 111973 WITH SCORE 112326.568
AT ITER 8073 NEW BEST:: SOT 1424774 SOS 343563 HAS SOPS 343563 HAS SOUS 111911 HAS SOUPS 111911 WITH SCORE 112254.563
AT ITER 8080 NEW BEST:: SOT 1424712 SOS 343439 HAS SOPS 343439 HAS SOUS 111787 HAS SOUPS 111787 WITH SCORE 112130.439
AT ITER 8096 NEW BEST:: SOT 1424704 SOS 343423 HAS SOPS 343423 HAS SOUS 111771 HAS SOUPS 111771 WITH SCORE 112114.423
AT ITER 8102 NEW BEST:: SOT 1424689 SOS 343418 HAS SOPS 343418 HAS SOUS 111766 HAS SOUPS 111766 WITH SCORE 112109.418
AT ITER 8130 NEW BEST:: SOT 1424654 SOS 343388 HAS SOPS 343388 HAS SOUS 111736 HAS SOUPS 111736 WITH SCORE 112079.388
AT ITER 8163 NEW BEST:: SOT 1424631 SOS 343342 HAS SOPS 343342 HAS SOUS 111690 HAS SOUPS 111690 WITH SCORE 112033.342
AT ITER 8190 NEW BEST:: SOT 1424630 SOS 343340 HAS SOPS 343340 HAS SOUS 111689 HAS SOUPS 111689 WITH SCORE 112032.34
AT ITER 8213 NEW BEST:: SOT 1424630 SOS 343248 HAS SOPS 343248 HAS SOUS 111689 HAS SOUPS 111689 WITH SCORE 112032.248
AT ITER 8270 NEW BEST:: SOT 1424605 SOS 343198 HAS SOPS 343198 HAS SOUS 111659 HAS SOUPS 111659 WITH SCORE 112002.198
AT ITER 8317 NEW BEST:: SOT 1424594 SOS 343176 HAS SOPS 343176 HAS SOUS 111637 HAS SOUPS 111637 WITH SCORE 111980.176
AT ITER 8369 NEW BEST:: SOT 1424072 SOS 342654 HAS SOPS 342654 HAS SOUS 111439 HAS SOUPS 111439 WITH SCORE 111781.654
AT ITER 8372 NEW BEST:: SOT 1423996 SOS 342502 HAS SOPS 342502 HAS SOUS 111282 HAS SOUPS 111282 WITH SCORE 111624.502
AT ITER 8383 NEW BEST:: SOT 1424001 SOS 342512 HAS SOPS 342512 HAS SOUS 111251 HAS SOUPS 111251 WITH SCORE 111593.512
AT ITER 8423 NEW BEST:: SOT 1423942 SOS 342397 HAS SOPS 342397 HAS SOUS 111155 HAS SOUPS 111155 WITH SCORE 111497.397
AT ITER 8455 NEW BEST:: SOT 1423942 SOS 342389 HAS SOPS 342389 HAS SOUS 111147 HAS SOUPS 111147 WITH SCORE 111489.389
AT ITER 8467 NEW BEST:: SOT 1423861 SOS 342227 HAS SOPS 342227 HAS SOUS 111022 HAS SOUPS 111022 WITH SCORE 111364.227
AT ITER 8469 NEW BEST:: SOT 1423806 SOS 342117 HAS SOPS 342117 HAS SOUS 110912 HAS SOUPS 110912 WITH SCORE 111254.117
AT ITER 8473 NEW BEST:: SOT 1423804 SOS 342113 HAS SOPS 342113 HAS SOUS 110910 HAS SOUPS 110910 WITH SCORE 111252.113
AT ITER 8490 NEW BEST:: SOT 1423694 SOS 341893 HAS SOPS 341893 HAS SOUS 110800 HAS SOUPS 110800 WITH SCORE 111141.893
AT ITER 8501 NEW BEST:: SOT 1423686 SOS 341877 HAS SOPS 341877 HAS SOUS 110784 HAS SOUPS 110784 WITH SCORE 111125.877
AT ITER 8508 NEW BEST:: SOT 1423669 SOS 341843 HAS SOPS 341843 HAS SOUS 110750 HAS SOUPS 110750 WITH SCORE 111091.843
AT ITER 8524 NEW BEST:: SOT 1422993 SOS 341957 HAS SOPS 341957 HAS SOUS 110366 HAS SOUPS 110366 WITH SCORE 110707.957
AT ITER 8572 NEW BEST:: SOT 1422911 SOS 341793 HAS SOPS 341793 HAS SOUS 110284 HAS SOUPS 110284 WITH SCORE 110625.793
AT ITER 8589 NEW BEST:: SOT 1422911 SOS 341790 HAS SOPS 341790 HAS SOUS 110284 HAS SOUPS 110284 WITH SCORE 110625.79
AT ITER 8597 NEW BEST:: SOT 1423026 SOS 342020 HAS SOPS 342020 HAS SOUS 110134 HAS SOUPS 110134 WITH SCORE 110476.02
AT ITER 8628 NEW BEST:: SOT 1423025 SOS 342018 HAS SOPS 342018 HAS SOUS 110132 HAS SOUPS 110132 WITH SCORE 110474.018
AT ITER 8677 NEW BEST:: SOT 1423025 SOS 342064 HAS SOPS 342064 HAS SOUS 110086 HAS SOUPS 110086 WITH SCORE 110428.064
AT ITER 8724 NEW BEST:: SOT 1422999 SOS 342012 HAS SOPS 342012 HAS SOUS 110034 HAS SOUPS 110034 WITH SCORE 110376.012
AT ITER 8732 NEW BEST:: SOT 1422998 SOS 341998 HAS SOPS 341998 HAS SOUS 110032 HAS SOUPS 110032 WITH SCORE 110373.998
AT ITER 8794 NEW BEST:: SOT 1422991 SOS 341984 HAS SOPS 341984 HAS SOUS 110025 HAS SOUPS 110025 WITH SCORE 110366.984
AT ITER 8826 NEW BEST:: SOT 1422954 SOS 341910 HAS SOPS 341910 HAS SOUS 109950 HAS SOUPS 109950 WITH SCORE 110291.91
AT ITER 8842 NEW BEST:: SOT 1422951 SOS 341904 HAS SOPS 341904 HAS SOUS 109944 HAS SOUPS 109944 WITH SCORE 110285.904
AT ITER 8871 NEW BEST:: SOT 1422862 SOS 324382 HAS SOPS 324382 HAS SOUS 109918 HAS SOUPS 109918 WITH SCORE 110242.382
AT ITER 8915 NEW BEST:: SOT 1422821 SOS 324300 HAS SOPS 324300 HAS SOUS 109877 HAS SOUPS 109877 WITH SCORE 110201.3
AT ITER 8918 NEW BEST:: SOT 1422821 SOS 324300 HAS SOPS 324300 HAS SOUS 109871 HAS SOUPS 109871 WITH SCORE 110195.3
AT ITER 8930 NEW BEST:: SOT 1422827 SOS 324030 HAS SOPS 324030 HAS SOUS 109793 HAS SOUPS 109793 WITH SCORE 110117.03
AT ITER 8958 NEW BEST:: SOT 1422822 SOS 324020 HAS SOPS 324020 HAS SOUS 109783 HAS SOUPS 109783 WITH SCORE 110107.02
AT ITER 8975 NEW BEST:: SOT 1422710 SOS 323856 HAS SOPS 323856 HAS SOUS 109685 HAS SOUPS 109685 WITH SCORE 110008.856
AT ITER 9019 NEW BEST:: SOT 1422593 SOS 323543 HAS SOPS 323543 HAS SOUS 109451 HAS SOUPS 109451 WITH SCORE 109774.543
AT ITER 9063 NEW BEST:: SOT 1422590 SOS 323537 HAS SOPS 323537 HAS SOUS 109445 HAS SOUPS 109445 WITH SCORE 109768.537
AT ITER 9071 NEW BEST:: SOT 1422577 SOS 323511 HAS SOPS 323511 HAS SOUS 109419 HAS SOUPS 109419 WITH SCORE 109742.511
AT ITER 9104 NEW BEST:: SOT 1422569 SOS 323495 HAS SOPS 323495 HAS SOUS 109403 HAS SOUPS 109403 WITH SCORE 109726.495
AT ITER 9174 NEW BEST:: SOT 1422563 SOS 323483 HAS SOPS 323483 HAS SOUS 109372 HAS SOUPS 109372 WITH SCORE 109695.483
AT ITER 9181 NEW BEST:: SOT 1422563 SOS 323481 HAS SOPS 323481 HAS SOUS 109370 HAS SOUPS 109370 WITH SCORE 109693.481
AT ITER 9188 NEW BEST:: SOT 1422507 SOS 323369 HAS SOPS 323369 HAS SOUS 109258 HAS SOUPS 109258 WITH SCORE 109581.369
AT ITER 9226 NEW BEST:: SOT 1422474 SOS 323303 HAS SOPS 323303 HAS SOUS 109192 HAS SOUPS 109192 WITH SCORE 109515.303
AT ITER 9261 NEW BEST:: SOT 1422440 SOS 323235 HAS SOPS 323235 HAS SOUS 109124 HAS SOUPS 109124 WITH SCORE 109447.235
AT ITER 9292 NEW BEST:: SOT 1422431 SOS 323217 HAS SOPS 323217 HAS SOUS 109106 HAS SOUPS 109106 WITH SCORE 109429.217
AT ITER 9308 NEW BEST:: SOT 1422412 SOS 323179 HAS SOPS 323179 HAS SOUS 109068 HAS SOUPS 109068 WITH SCORE 109391.179
AT ITER 9312 NEW BEST:: SOT 1422366 SOS 323087 HAS SOPS 323087 HAS SOUS 108981 HAS SOUPS 108981 WITH SCORE 109304.087
AT ITER 9325 NEW BEST:: SOT 1422329 SOS 323013 HAS SOPS 323013 HAS SOUS 108944 HAS SOUPS 108944 WITH SCORE 109267.013
AT ITER 9404 NEW BEST:: SOT 1422309 SOS 322973 HAS SOPS 322973 HAS SOUS 108934 HAS SOUPS 108934 WITH SCORE 109256.973
AT ITER 9448 NEW BEST:: SOT 1422299 SOS 322958 HAS SOPS 322958 HAS SOUS 108919 HAS SOUPS 108919 WITH SCORE 109241.958
AT ITER 9511 NEW BEST:: SOT 1422290 SOS 322956 HAS SOPS 322956 HAS SOUS 108915 HAS SOUPS 108915 WITH SCORE 109237.956
AT ITER 9523 NEW BEST:: SOT 1422280 SOS 322936 HAS SOPS 322936 HAS SOUS 108895 HAS SOUPS 108895 WITH SCORE 109217.936
AT ITER 9530 NEW BEST:: SOT 1422273 SOS 322922 HAS SOPS 322922 HAS SOUS 108881 HAS SOUPS 108881 WITH SCORE 109203.922
AT ITER 9546 NEW BEST:: SOT 1422254 SOS 322884 HAS SOPS 322884 HAS SOUS 108862 HAS SOUPS 108862 WITH SCORE 109184.884
AT ITER 9551 NEW BEST:: SOT 1422243 SOS 322862 HAS SOPS 322862 HAS SOUS 108840 HAS SOUPS 108840 WITH SCORE 109162.862
AT ITER 9557 NEW BEST:: SOT 1422206 SOS 322830 HAS SOPS 322830 HAS SOUS 108808 HAS SOUPS 108808 WITH SCORE 109130.83
AT ITER 9560 NEW BEST:: SOT 1422181 SOS 322780 HAS SOPS 322780 HAS SOUS 108783 HAS SOUPS 108783 WITH SCORE 109105.78
AT ITER 9574 NEW BEST:: SOT 1422162 SOS 322742 HAS SOPS 322742 HAS SOUS 108745 HAS SOUPS 108745 WITH SCORE 109067.742
AT ITER 9592 NEW BEST:: SOT 1422162 SOS 322715 HAS SOPS 322715 HAS SOUS 108745 HAS SOUPS 108745 WITH SCORE 109067.715
AT ITER 9658 NEW BEST:: SOT 1422112 SOS 322615 HAS SOPS 322615 HAS SOUS 108645 HAS SOUPS 108645 WITH SCORE 108967.615
AT ITER 9717 NEW BEST:: SOT 1422112 SOS 322613 HAS SOPS 322613 HAS SOUS 108645 HAS SOUPS 108645 WITH SCORE 108967.613
AT ITER 9780 NEW BEST:: SOT 1422111 SOS 322611 HAS SOPS 322611 HAS SOUS 108643 HAS SOUPS 108643 WITH SCORE 108965.611
AT ITER 9846 NEW BEST:: SOT 1422108 SOS 322605 HAS SOPS 322605 HAS SOUS 108637 HAS SOUPS 108637 WITH SCORE 108959.605
AT ITER 9852 NEW BEST:: SOT 1422050 SOS 322489 HAS SOPS 322489 HAS SOUS 108579 HAS SOUPS 108579 WITH SCORE 108901.489
AT ITER 9860 NEW BEST:: SOT 1422037 SOS 322463 HAS SOPS 322463 HAS SOUS 108553 HAS SOUPS 108553 WITH SCORE 108875.463
AT ITER 9863 NEW BEST:: SOT 1422037 SOS 322419 HAS SOPS 322419 HAS SOUS 108509 HAS SOUPS 108509 WITH SCORE 108831.419
AT ITER 9905 NEW BEST:: SOT 1422029 SOS 322403 HAS SOPS 322403 HAS SOUS 108493 HAS SOUPS 108493 WITH SCORE 108815.403
AT ITER 9923 NEW BEST:: SOT 1422011 SOS 312445 HAS SOPS 312445 HAS SOUS 108457 HAS SOUPS 108457 WITH SCORE 108769.445
AT ITER 9970 NEW BEST:: SOT 1422004 SOS 312431 HAS SOPS 312431 HAS SOUS 108434 HAS SOUPS 108434 WITH SCORE 108746.431
AT ITER 9993 NEW BEST:: SOT 1421090 SOS 313573 HAS SOPS 313573 HAS SOUS 107953 HAS SOUPS 107953 WITH SCORE 108266.573
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11235584 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121316 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyElection-PT-06b"
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 StigmergyElection-PT-06b, 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 r459-smll-167912651500632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-06b.tgz
mv StigmergyElection-PT-06b 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 ;