About the Execution of Smart+red for StigmergyElection-PT-08b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 934.035 | 3600000.00 | 3722879.00 | 7902.20 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651600664.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-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651600664
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 16:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 16:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 16:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 16:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 16:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 16:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 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 12M 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 1679458970822
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-08b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 04:22:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 04:22:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 04:22:55] [INFO ] Load time of PNML (sax parser for PT used): 1472 ms
[2023-03-22 04:22:55] [INFO ] Transformed 1107 places.
[2023-03-22 04:22:55] [INFO ] Transformed 14564 transitions.
[2023-03-22 04:22:55] [INFO ] Found NUPN structural information;
[2023-03-22 04:22:55] [INFO ] Parsed PT model containing 1107 places and 14564 transitions and 216524 arcs in 1827 ms.
[2023-03-22 04:22:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1107 places, 14564 transitions and 216524 arcs took 262 ms.
Total runtime 2155 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 08b
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: 1107 places, 14564 transitions, 216524 arcs.
AT ITER 0 NEW BEST:: SOT 13965511 SOS 2297607 HAS SOPS 2297607 HAS SOUS 1515700 HAS SOUPS 1515700 WITH SCORE 1517997.607
AT ITER 7 NEW BEST:: SOT 13962743 SOS 2295803 HAS SOPS 2295803 HAS SOUS 1512841 HAS SOUPS 1512841 WITH SCORE 1515136.803
AT ITER 13 NEW BEST:: SOT 13962742 SOS 2295801 HAS SOPS 2295801 HAS SOUS 1512839 HAS SOUPS 1512839 WITH SCORE 1515134.801
AT ITER 15 NEW BEST:: SOT 13962742 SOS 2295801 HAS SOPS 2295801 HAS SOUS 1512720 HAS SOUPS 1512720 WITH SCORE 1515015.801
AT ITER 17 NEW BEST:: SOT 13962838 SOS 2295745 HAS SOPS 2295745 HAS SOUS 1512664 HAS SOUPS 1512664 WITH SCORE 1514959.745
AT ITER 22 NEW BEST:: SOT 13962733 SOS 2308975 HAS SOPS 2308975 HAS SOUS 1512559 HAS SOUPS 1512559 WITH SCORE 1514867.975
AT ITER 59 NEW BEST:: SOT 13958755 SOS 2305793 HAS SOPS 2305793 HAS SOUS 1508616 HAS SOUPS 1508616 WITH SCORE 1510921.793
AT ITER 80 NEW BEST:: SOT 13958754 SOS 2305791 HAS SOPS 2305791 HAS SOUS 1508614 HAS SOUPS 1508614 WITH SCORE 1510919.791
AT ITER 98 NEW BEST:: SOT 13958753 SOS 2305789 HAS SOPS 2305789 HAS SOUS 1508612 HAS SOUPS 1508612 WITH SCORE 1510917.789
AT ITER 100 NEW BEST:: SOT 13958797 SOS 2305877 HAS SOPS 2305877 HAS SOUS 1508570 HAS SOUPS 1508570 WITH SCORE 1510875.877
AT ITER 114 NEW BEST:: SOT 13958615 SOS 2305655 HAS SOPS 2305655 HAS SOUS 1508334 HAS SOUPS 1508334 WITH SCORE 1510639.655
AT ITER 152 NEW BEST:: SOT 13948629 SOS 3054654 HAS SOPS 3054654 HAS SOUS 1499191 HAS SOUPS 1499191 WITH SCORE 1502245.654
AT ITER 169 NEW BEST:: SOT 13932700 SOS 3986425 HAS SOPS 3986425 HAS SOUS 1485218 HAS SOUPS 1485218 WITH SCORE 1489204.425
AT ITER 175 NEW BEST:: SOT 13922834 SOS 5445519 HAS SOPS 5445519 HAS SOUS 1476122 HAS SOUPS 1476122 WITH SCORE 1481567.519
AT ITER 184 NEW BEST:: SOT 13922833 SOS 5445517 HAS SOPS 5445517 HAS SOUS 1476120 HAS SOUPS 1476120 WITH SCORE 1481565.517
AT ITER 185 NEW BEST:: SOT 13922832 SOS 5445515 HAS SOPS 5445515 HAS SOUS 1476118 HAS SOUPS 1476118 WITH SCORE 1481563.515
AT ITER 191 NEW BEST:: SOT 13922710 SOS 5445393 HAS SOPS 5445393 HAS SOUS 1475996 HAS SOUPS 1475996 WITH SCORE 1481441.393
AT ITER 202 NEW BEST:: SOT 13922680 SOS 5445333 HAS SOPS 5445333 HAS SOUS 1475936 HAS SOUPS 1475936 WITH SCORE 1481381.333
AT ITER 204 NEW BEST:: SOT 13922679 SOS 5445331 HAS SOPS 5445331 HAS SOUS 1475934 HAS SOUPS 1475934 WITH SCORE 1481379.331
AT ITER 209 NEW BEST:: SOT 13922679 SOS 5445278 HAS SOPS 5445278 HAS SOUS 1475881 HAS SOUPS 1475881 WITH SCORE 1481326.278
AT ITER 309 NEW BEST:: SOT 13922669 SOS 5445258 HAS SOPS 5445258 HAS SOUS 1475861 HAS SOUPS 1475861 WITH SCORE 1481306.258
AT ITER 336 NEW BEST:: SOT 13922573 SOS 5445066 HAS SOPS 5445066 HAS SOUS 1475617 HAS SOUPS 1475617 WITH SCORE 1481062.066
AT ITER 362 NEW BEST:: SOT 13922474 SOS 5444928 HAS SOPS 5444928 HAS SOUS 1475518 HAS SOUPS 1475518 WITH SCORE 1480962.928
AT ITER 369 NEW BEST:: SOT 13922473 SOS 5444926 HAS SOPS 5444926 HAS SOUS 1475516 HAS SOUPS 1475516 WITH SCORE 1480960.926
AT ITER 373 NEW BEST:: SOT 13922603 SOS 5445107 HAS SOPS 5445107 HAS SOUS 1474602 HAS SOUPS 1474602 WITH SCORE 1480047.107
AT ITER 383 NEW BEST:: SOT 13922552 SOS 5445105 HAS SOPS 5445105 HAS SOUS 1474600 HAS SOUPS 1474600 WITH SCORE 1480045.105
AT ITER 409 NEW BEST:: SOT 13922552 SOS 5445073 HAS SOPS 5445073 HAS SOUS 1474599 HAS SOUPS 1474599 WITH SCORE 1480044.073
AT ITER 430 NEW BEST:: SOT 13922434 SOS 5444837 HAS SOPS 5444837 HAS SOUS 1474295 HAS SOUPS 1474295 WITH SCORE 1479739.837
AT ITER 448 NEW BEST:: SOT 13896502 SOS 5973735 HAS SOPS 5973735 HAS SOUS 1452493 HAS SOUPS 1452493 WITH SCORE 1458466.735
AT ITER 453 NEW BEST:: SOT 13896384 SOS 5756986 HAS SOPS 5756986 HAS SOUS 1452188 HAS SOUPS 1452188 WITH SCORE 1457944.986
AT ITER 457 NEW BEST:: SOT 13896383 SOS 5756984 HAS SOPS 5756984 HAS SOUS 1452186 HAS SOUPS 1452186 WITH SCORE 1457942.984
AT ITER 458 NEW BEST:: SOT 13896376 SOS 5756970 HAS SOPS 5756970 HAS SOUS 1452179 HAS SOUPS 1452179 WITH SCORE 1457935.97
AT ITER 462 NEW BEST:: SOT 13896376 SOS 5756970 HAS SOPS 5756970 HAS SOUS 1452177 HAS SOUPS 1452177 WITH SCORE 1457933.97
AT ITER 464 NEW BEST:: SOT 13896266 SOS 5756750 HAS SOPS 5756750 HAS SOUS 1451957 HAS SOUPS 1451957 WITH SCORE 1457713.75
AT ITER 475 NEW BEST:: SOT 13892942 SOS 5764612 HAS SOPS 5764612 HAS SOUS 1449254 HAS SOUPS 1449254 WITH SCORE 1455018.612
AT ITER 481 NEW BEST:: SOT 13892941 SOS 5764610 HAS SOPS 5764610 HAS SOUS 1449252 HAS SOUPS 1449252 WITH SCORE 1455016.61
AT ITER 483 NEW BEST:: SOT 13851686 SOS 6219180 HAS SOPS 6219180 HAS SOUS 1418515 HAS SOUPS 1418515 WITH SCORE 1424734.18
AT ITER 489 NEW BEST:: SOT 13851685 SOS 6219178 HAS SOPS 6219178 HAS SOUS 1418513 HAS SOUPS 1418513 WITH SCORE 1424732.178
AT ITER 508 NEW BEST:: SOT 13800101 SOS 6275567 HAS SOPS 6275567 HAS SOUS 1371228 HAS SOUPS 1371228 WITH SCORE 1377503.567
AT ITER 513 NEW BEST:: SOT 13719060 SOS 6205971 HAS SOPS 6205971 HAS SOUS 1292571 HAS SOUPS 1292571 WITH SCORE 1298776.971
AT ITER 522 NEW BEST:: SOT 13719069 SOS 6205989 HAS SOPS 6205989 HAS SOUS 1292431 HAS SOUPS 1292431 WITH SCORE 1298636.989
AT ITER 525 NEW BEST:: SOT 13719067 SOS 6205985 HAS SOPS 6205985 HAS SOUS 1292427 HAS SOUPS 1292427 WITH SCORE 1298632.985
AT ITER 534 NEW BEST:: SOT 13719045 SOS 6205941 HAS SOPS 6205941 HAS SOUS 1292383 HAS SOUPS 1292383 WITH SCORE 1298588.941
AT ITER 538 NEW BEST:: SOT 13719006 SOS 6205863 HAS SOPS 6205863 HAS SOUS 1292305 HAS SOUPS 1292305 WITH SCORE 1298510.863
AT ITER 552 NEW BEST:: SOT 13718956 SOS 6205855 HAS SOPS 6205855 HAS SOUS 1292297 HAS SOUPS 1292297 WITH SCORE 1298502.855
AT ITER 560 NEW BEST:: SOT 13718659 SOS 6206387 HAS SOPS 6206387 HAS SOUS 1292107 HAS SOUPS 1292107 WITH SCORE 1298313.387
AT ITER 570 NEW BEST:: SOT 13718658 SOS 6206385 HAS SOPS 6206385 HAS SOUS 1292105 HAS SOUPS 1292105 WITH SCORE 1298311.385
AT ITER 574 NEW BEST:: SOT 13718671 SOS 6206325 HAS SOPS 6206325 HAS SOUS 1292045 HAS SOUPS 1292045 WITH SCORE 1298251.325
AT ITER 576 NEW BEST:: SOT 13715208 SOS 6279351 HAS SOPS 6279351 HAS SOUS 1290518 HAS SOUPS 1290518 WITH SCORE 1296797.351
AT ITER 623 NEW BEST:: SOT 13715208 SOS 6279251 HAS SOPS 6279251 HAS SOUS 1290418 HAS SOUPS 1290418 WITH SCORE 1296697.251
AT ITER 646 NEW BEST:: SOT 13715173 SOS 6279181 HAS SOPS 6279181 HAS SOUS 1290383 HAS SOUPS 1290383 WITH SCORE 1296662.181
AT ITER 647 NEW BEST:: SOT 13697934 SOS 6558850 HAS SOPS 6558850 HAS SOUS 1274237 HAS SOUPS 1274237 WITH SCORE 1280795.85
AT ITER 651 NEW BEST:: SOT 13697933 SOS 6558848 HAS SOPS 6558848 HAS SOUS 1274235 HAS SOUPS 1274235 WITH SCORE 1280793.848
AT ITER 658 NEW BEST:: SOT 13697932 SOS 6558846 HAS SOPS 6558846 HAS SOUS 1274233 HAS SOUPS 1274233 WITH SCORE 1280791.846
AT ITER 662 NEW BEST:: SOT 13697910 SOS 6558802 HAS SOPS 6558802 HAS SOUS 1274189 HAS SOUPS 1274189 WITH SCORE 1280747.802
AT ITER 707 NEW BEST:: SOT 13697909 SOS 6558800 HAS SOPS 6558800 HAS SOUS 1274188 HAS SOUPS 1274188 WITH SCORE 1280746.8
AT ITER 713 NEW BEST:: SOT 13697668 SOS 6558318 HAS SOPS 6558318 HAS SOUS 1273636 HAS SOUPS 1273636 WITH SCORE 1280194.318
AT ITER 717 NEW BEST:: SOT 13668269 SOS 7750478 HAS SOPS 7750478 HAS SOUS 1249991 HAS SOUPS 1249991 WITH SCORE 1257741.478
AT ITER 718 NEW BEST:: SOT 13668258 SOS 7750456 HAS SOPS 7750456 HAS SOUS 1249982 HAS SOUPS 1249982 WITH SCORE 1257732.456
AT ITER 720 NEW BEST:: SOT 13640308 SOS 7722506 HAS SOPS 7722506 HAS SOUS 1222097 HAS SOUPS 1222097 WITH SCORE 1229819.506
AT ITER 723 NEW BEST:: SOT 13640244 SOS 7722458 HAS SOPS 7722458 HAS SOUS 1222077 HAS SOUPS 1222077 WITH SCORE 1229799.458
AT ITER 736 NEW BEST:: SOT 13640243 SOS 7722456 HAS SOPS 7722456 HAS SOUS 1222075 HAS SOUPS 1222075 WITH SCORE 1229797.456
AT ITER 746 NEW BEST:: SOT 13640198 SOS 7722419 HAS SOPS 7722419 HAS SOUS 1222038 HAS SOUPS 1222038 WITH SCORE 1229760.419
AT ITER 767 NEW BEST:: SOT 13640148 SOS 7722319 HAS SOPS 7722319 HAS SOUS 1221938 HAS SOUPS 1221938 WITH SCORE 1229660.319
AT ITER 783 NEW BEST:: SOT 13640201 SOS 7722049 HAS SOPS 7722049 HAS SOUS 1221668 HAS SOUPS 1221668 WITH SCORE 1229390.049
AT ITER 786 NEW BEST:: SOT 13640130 SOS 7721612 HAS SOPS 7721612 HAS SOUS 1221302 HAS SOUPS 1221302 WITH SCORE 1229023.612
AT ITER 792 NEW BEST:: SOT 13640129 SOS 7721610 HAS SOPS 7721610 HAS SOUS 1221300 HAS SOUPS 1221300 WITH SCORE 1229021.61
AT ITER 795 NEW BEST:: SOT 13640156 SOS 7721556 HAS SOPS 7721556 HAS SOUS 1221246 HAS SOUPS 1221246 WITH SCORE 1228967.556
AT ITER 802 NEW BEST:: SOT 13640044 SOS 7721332 HAS SOPS 7721332 HAS SOUS 1221022 HAS SOUPS 1221022 WITH SCORE 1228743.332
AT ITER 804 NEW BEST:: SOT 13640043 SOS 7721330 HAS SOPS 7721330 HAS SOUS 1221020 HAS SOUPS 1221020 WITH SCORE 1228741.33
AT ITER 833 NEW BEST:: SOT 13640028 SOS 7349564 HAS SOPS 7349564 HAS SOUS 1218706 HAS SOUPS 1218706 WITH SCORE 1226055.564
AT ITER 893 NEW BEST:: SOT 13640014 SOS 7349536 HAS SOPS 7349536 HAS SOUS 1218678 HAS SOUPS 1218678 WITH SCORE 1226027.536
AT ITER 895 NEW BEST:: SOT 13640123 SOS 7349493 HAS SOPS 7349493 HAS SOUS 1218635 HAS SOUPS 1218635 WITH SCORE 1225984.493
AT ITER 897 NEW BEST:: SOT 13639910 SOS 7408363 HAS SOPS 7408363 HAS SOUS 1216292 HAS SOUPS 1216292 WITH SCORE 1223700.363
AT ITER 917 NEW BEST:: SOT 13639773 SOS 7408305 HAS SOPS 7408305 HAS SOUS 1216194 HAS SOUPS 1216194 WITH SCORE 1223602.305
AT ITER 932 NEW BEST:: SOT 13639660 SOS 7408079 HAS SOPS 7408079 HAS SOUS 1215968 HAS SOUPS 1215968 WITH SCORE 1223376.079
AT ITER 939 NEW BEST:: SOT 13639660 SOS 7408066 HAS SOPS 7408066 HAS SOUS 1215955 HAS SOUPS 1215955 WITH SCORE 1223363.066
AT ITER 951 NEW BEST:: SOT 13639609 SOS 7408015 HAS SOPS 7408015 HAS SOUS 1215904 HAS SOUPS 1215904 WITH SCORE 1223312.015
AT ITER 957 NEW BEST:: SOT 13639608 SOS 7408013 HAS SOPS 7408013 HAS SOUS 1215902 HAS SOUPS 1215902 WITH SCORE 1223310.013
AT ITER 961 NEW BEST:: SOT 13639582 SOS 7407961 HAS SOPS 7407961 HAS SOUS 1215850 HAS SOUPS 1215850 WITH SCORE 1223257.961
AT ITER 966 NEW BEST:: SOT 13632929 SOS 8112445 HAS SOPS 8112445 HAS SOUS 1213410 HAS SOUPS 1213410 WITH SCORE 1221522.445
AT ITER 967 NEW BEST:: SOT 13632929 SOS 8112445 HAS SOPS 8112445 HAS SOUS 1213348 HAS SOUPS 1213348 WITH SCORE 1221460.445
AT ITER 978 NEW BEST:: SOT 13632881 SOS 8112397 HAS SOPS 8112397 HAS SOUS 1213300 HAS SOUPS 1213300 WITH SCORE 1221412.397
AT ITER 984 NEW BEST:: SOT 13632760 SOS 8112155 HAS SOPS 8112155 HAS SOUS 1213179 HAS SOUPS 1213179 WITH SCORE 1221291.155
AT ITER 1008 NEW BEST:: SOT 13632741 SOS 8112117 HAS SOPS 8112117 HAS SOUS 1213141 HAS SOUPS 1213141 WITH SCORE 1221253.117
AT ITER 1009 NEW BEST:: SOT 13632656 SOS 8111947 HAS SOPS 8111947 HAS SOUS 1212971 HAS SOUPS 1212971 WITH SCORE 1221082.947
AT ITER 1034 NEW BEST:: SOT 13632330 SOS 8111619 HAS SOPS 8111619 HAS SOUS 1212643 HAS SOUPS 1212643 WITH SCORE 1220754.619
AT ITER 1045 NEW BEST:: SOT 13632183 SOS 8111325 HAS SOPS 8111325 HAS SOUS 1212619 HAS SOUPS 1212619 WITH SCORE 1220730.325
AT ITER 1051 NEW BEST:: SOT 13627631 SOS 8151133 HAS SOPS 8151133 HAS SOUS 1210950 HAS SOUPS 1210950 WITH SCORE 1219101.133
AT ITER 1070 NEW BEST:: SOT 13572040 SOS 8326080 HAS SOPS 8326080 HAS SOUS 1161491 HAS SOUPS 1161491 WITH SCORE 1169817.08
AT ITER 1094 NEW BEST:: SOT 13572013 SOS 8326026 HAS SOPS 8326026 HAS SOUS 1161437 HAS SOUPS 1161437 WITH SCORE 1169763.026
AT ITER 1100 NEW BEST:: SOT 13571923 SOS 8325846 HAS SOPS 8325846 HAS SOUS 1161346 HAS SOUPS 1161346 WITH SCORE 1169671.846
AT ITER 1127 NEW BEST:: SOT 13571923 SOS 8325815 HAS SOPS 8325815 HAS SOUS 1161315 HAS SOUPS 1161315 WITH SCORE 1169640.815
AT ITER 1140 NEW BEST:: SOT 13571923 SOS 8325803 HAS SOPS 8325803 HAS SOUS 1161315 HAS SOUPS 1161315 WITH SCORE 1169640.803
AT ITER 1142 NEW BEST:: SOT 13571759 SOS 8325475 HAS SOPS 8325475 HAS SOUS 1160987 HAS SOUPS 1160987 WITH SCORE 1169312.475
AT ITER 1163 NEW BEST:: SOT 13571674 SOS 8325305 HAS SOPS 8325305 HAS SOUS 1160902 HAS SOUPS 1160902 WITH SCORE 1169227.305
AT ITER 1166 NEW BEST:: SOT 13571576 SOS 8325207 HAS SOPS 8325207 HAS SOUS 1160804 HAS SOUPS 1160804 WITH SCORE 1169129.207
AT ITER 1174 NEW BEST:: SOT 13571505 SOS 8325065 HAS SOPS 8325065 HAS SOUS 1160662 HAS SOUPS 1160662 WITH SCORE 1168987.065
AT ITER 1190 NEW BEST:: SOT 13571397 SOS 8308753 HAS SOPS 8308753 HAS SOUS 1160252 HAS SOUPS 1160252 WITH SCORE 1168560.753
AT ITER 1208 NEW BEST:: SOT 13562456 SOS 8301503 HAS SOPS 8301503 HAS SOUS 1151389 HAS SOUPS 1151389 WITH SCORE 1159690.503
AT ITER 1210 NEW BEST:: SOT 13562388 SOS 8301367 HAS SOPS 8301367 HAS SOUS 1151321 HAS SOUPS 1151321 WITH SCORE 1159622.367
AT ITER 1214 NEW BEST:: SOT 13562283 SOS 8301157 HAS SOPS 8301157 HAS SOUS 1151216 HAS SOUPS 1151216 WITH SCORE 1159517.157
AT ITER 1229 NEW BEST:: SOT 13562279 SOS 8301091 HAS SOPS 8301091 HAS SOUS 1151150 HAS SOUPS 1151150 WITH SCORE 1159451.091
AT ITER 1248 NEW BEST:: SOT 13562192 SOS 8301010 HAS SOPS 8301010 HAS SOUS 1151063 HAS SOUPS 1151063 WITH SCORE 1159364.01
AT ITER 1257 NEW BEST:: SOT 13562061 SOS 8300748 HAS SOPS 8300748 HAS SOUS 1151009 HAS SOUPS 1151009 WITH SCORE 1159309.748
AT ITER 1274 NEW BEST:: SOT 13562061 SOS 8300579 HAS SOPS 8300579 HAS SOUS 1150840 HAS SOUPS 1150840 WITH SCORE 1159140.579
AT ITER 1300 NEW BEST:: SOT 13562067 SOS 8300395 HAS SOPS 8300395 HAS SOUS 1150656 HAS SOUPS 1150656 WITH SCORE 1158956.395
AT ITER 1337 NEW BEST:: SOT 13562041 SOS 8300343 HAS SOPS 8300343 HAS SOUS 1150604 HAS SOUPS 1150604 WITH SCORE 1158904.343
AT ITER 1341 NEW BEST:: SOT 13562026 SOS 8300313 HAS SOPS 8300313 HAS SOUS 1150476 HAS SOUPS 1150476 WITH SCORE 1158776.313
AT ITER 1345 NEW BEST:: SOT 13561878 SOS 8300017 HAS SOPS 8300017 HAS SOUS 1150302 HAS SOUPS 1150302 WITH SCORE 1158602.017
AT ITER 1351 NEW BEST:: SOT 13561878 SOS 8299972 HAS SOPS 8299972 HAS SOUS 1150257 HAS SOUPS 1150257 WITH SCORE 1158556.972
AT ITER 1352 NEW BEST:: SOT 13561783 SOS 8299782 HAS SOPS 8299782 HAS SOUS 1150067 HAS SOUPS 1150067 WITH SCORE 1158366.782
AT ITER 1364 NEW BEST:: SOT 13471377 SOS 8441417 HAS SOPS 8441417 HAS SOUS 1085721 HAS SOUPS 1085721 WITH SCORE 1094162.417
AT ITER 1375 NEW BEST:: SOT 13336939 SOS 8343066 HAS SOPS 8343066 HAS SOUS 979141 HAS SOUPS 979141 WITH SCORE 987484.066
AT ITER 1406 NEW BEST:: SOT 13336916 SOS 8343020 HAS SOPS 8343020 HAS SOUS 978988 HAS SOUPS 978988 WITH SCORE 987331.02
AT ITER 1428 NEW BEST:: SOT 13336910 SOS 8343008 HAS SOPS 8343008 HAS SOUS 978976 HAS SOUPS 978976 WITH SCORE 987319.008
AT ITER 1447 NEW BEST:: SOT 13336765 SOS 8250378 HAS SOPS 8250378 HAS SOUS 978451 HAS SOUPS 978451 WITH SCORE 986701.378
AT ITER 1451 NEW BEST:: SOT 13336657 SOS 8250162 HAS SOPS 8250162 HAS SOUS 978235 HAS SOUPS 978235 WITH SCORE 986485.162
AT ITER 1453 NEW BEST:: SOT 13336657 SOS 8250137 HAS SOPS 8250137 HAS SOUS 978210 HAS SOUPS 978210 WITH SCORE 986460.137
AT ITER 1472 NEW BEST:: SOT 13336549 SOS 8249690 HAS SOPS 8249690 HAS SOUS 977994 HAS SOUPS 977994 WITH SCORE 986243.69
AT ITER 1479 NEW BEST:: SOT 13336525 SOS 8249642 HAS SOPS 8249642 HAS SOUS 977946 HAS SOUPS 977946 WITH SCORE 986195.642
AT ITER 1511 NEW BEST:: SOT 13336476 SOS 8249602 HAS SOPS 8249602 HAS SOUS 977873 HAS SOUPS 977873 WITH SCORE 986122.602
AT ITER 1514 NEW BEST:: SOT 13336455 SOS 8249560 HAS SOPS 8249560 HAS SOUS 977857 HAS SOUPS 977857 WITH SCORE 986106.56
AT ITER 1531 NEW BEST:: SOT 13336455 SOS 8249506 HAS SOPS 8249506 HAS SOUS 977803 HAS SOUPS 977803 WITH SCORE 986052.506
AT ITER 1543 NEW BEST:: SOT 13203703 SOS 8126403 HAS SOPS 8126403 HAS SOUS 858782 HAS SOUPS 858782 WITH SCORE 866908.403
AT ITER 1559 NEW BEST:: SOT 13203699 SOS 8126395 HAS SOPS 8126395 HAS SOUS 858774 HAS SOUPS 858774 WITH SCORE 866900.395
AT ITER 1562 NEW BEST:: SOT 12996908 SOS 7991218 HAS SOPS 7991218 HAS SOUS 736770 HAS SOUPS 736770 WITH SCORE 744761.218
AT ITER 1572 NEW BEST:: SOT 12996875 SOS 7991184 HAS SOPS 7991184 HAS SOUS 736724 HAS SOUPS 736724 WITH SCORE 744715.184
AT ITER 1585 NEW BEST:: SOT 12996611 SOS 7990656 HAS SOPS 7990656 HAS SOUS 736688 HAS SOUPS 736688 WITH SCORE 744678.656
AT ITER 1596 NEW BEST:: SOT 12995631 SOS 7989550 HAS SOPS 7989550 HAS SOUS 736192 HAS SOUPS 736192 WITH SCORE 744181.55
AT ITER 1603 NEW BEST:: SOT 12995548 SOS 7989384 HAS SOPS 7989384 HAS SOUS 736109 HAS SOUPS 736109 WITH SCORE 744098.384
AT ITER 1612 NEW BEST:: SOT 12995547 SOS 7989382 HAS SOPS 7989382 HAS SOUS 736107 HAS SOUPS 736107 WITH SCORE 744096.382
AT ITER 1620 NEW BEST:: SOT 12995446 SOS 7989180 HAS SOPS 7989180 HAS SOUS 735905 HAS SOUPS 735905 WITH SCORE 743894.18
AT ITER 1622 NEW BEST:: SOT 12995433 SOS 7989141 HAS SOPS 7989141 HAS SOUS 733719 HAS SOUPS 733719 WITH SCORE 741708.141
AT ITER 1689 NEW BEST:: SOT 12995423 SOS 7989121 HAS SOPS 7989121 HAS SOUS 733699 HAS SOUPS 733699 WITH SCORE 741688.121
AT ITER 1699 NEW BEST:: SOT 12995248 SOS 7988946 HAS SOPS 7988946 HAS SOUS 733524 HAS SOUPS 733524 WITH SCORE 741512.946
AT ITER 1712 NEW BEST:: SOT 12995247 SOS 7988944 HAS SOPS 7988944 HAS SOUS 733522 HAS SOUPS 733522 WITH SCORE 741510.944
AT ITER 1713 NEW BEST:: SOT 12995278 SOS 7988742 HAS SOPS 7988742 HAS SOUS 733320 HAS SOUPS 733320 WITH SCORE 741308.742
AT ITER 1717 NEW BEST:: SOT 13071798 SOS 7994537 HAS SOPS 7994537 HAS SOUS 725515 HAS SOUPS 725515 WITH SCORE 733509.537
AT ITER 1738 NEW BEST:: SOT 13071768 SOS 7994477 HAS SOPS 7994477 HAS SOUS 725455 HAS SOUPS 725455 WITH SCORE 733449.477
AT ITER 1750 NEW BEST:: SOT 13071768 SOS 7994477 HAS SOPS 7994477 HAS SOUS 725407 HAS SOUPS 725407 WITH SCORE 733401.477
AT ITER 1756 NEW BEST:: SOT 13071595 SOS 7994131 HAS SOPS 7994131 HAS SOUS 725061 HAS SOUPS 725061 WITH SCORE 733055.131
AT ITER 1763 NEW BEST:: SOT 13072686 SOS 7995270 HAS SOPS 7995270 HAS SOUS 721288 HAS SOUPS 721288 WITH SCORE 729283.27
AT ITER 1781 NEW BEST:: SOT 13072686 SOS 7995270 HAS SOPS 7995270 HAS SOUS 721209 HAS SOUPS 721209 WITH SCORE 729204.27
AT ITER 1791 NEW BEST:: SOT 13072387 SOS 7994672 HAS SOPS 7994672 HAS SOUS 720881 HAS SOUPS 720881 WITH SCORE 728875.672
AT ITER 1801 NEW BEST:: SOT 13072288 SOS 7973162 HAS SOPS 7973162 HAS SOUS 720683 HAS SOUPS 720683 WITH SCORE 728656.162
AT ITER 1848 NEW BEST:: SOT 12870481 SOS 7960709 HAS SOPS 7960709 HAS SOUS 597328 HAS SOUPS 597328 WITH SCORE 605288.709
AT ITER 1859 NEW BEST:: SOT 12870417 SOS 7960581 HAS SOPS 7960581 HAS SOUS 597200 HAS SOUPS 597200 WITH SCORE 605160.581
AT ITER 1878 NEW BEST:: SOT 12870369 SOS 7849029 HAS SOPS 7849029 HAS SOUS 595094 HAS SOUPS 595094 WITH SCORE 602943.029
AT ITER 1955 NEW BEST:: SOT 12870354 SOS 7848999 HAS SOPS 7848999 HAS SOUS 595064 HAS SOUPS 595064 WITH SCORE 602912.999
AT ITER 1969 NEW BEST:: SOT 12870333 SOS 7848957 HAS SOPS 7848957 HAS SOUS 595043 HAS SOUPS 595043 WITH SCORE 602891.957
AT ITER 1978 NEW BEST:: SOT 12870142 SOS 7848575 HAS SOPS 7848575 HAS SOUS 594661 HAS SOUPS 594661 WITH SCORE 602509.575
AT ITER 1981 NEW BEST:: SOT 12870049 SOS 7848389 HAS SOPS 7848389 HAS SOUS 594475 HAS SOUPS 594475 WITH SCORE 602323.389
AT ITER 2005 NEW BEST:: SOT 12869901 SOS 7848241 HAS SOPS 7848241 HAS SOUS 594327 HAS SOUPS 594327 WITH SCORE 602175.241
AT ITER 2051 NEW BEST:: SOT 12869776 SOS 7847991 HAS SOPS 7847991 HAS SOUS 593830 HAS SOUPS 593830 WITH SCORE 601677.991
AT ITER 2067 NEW BEST:: SOT 12869693 SOS 7847825 HAS SOPS 7847825 HAS SOUS 593664 HAS SOUPS 593664 WITH SCORE 601511.825
AT ITER 2071 NEW BEST:: SOT 12869639 SOS 7832165 HAS SOPS 7832165 HAS SOUS 591882 HAS SOUPS 591882 WITH SCORE 599714.165
AT ITER 2078 NEW BEST:: SOT 12869631 SOS 7832149 HAS SOPS 7832149 HAS SOUS 591866 HAS SOUPS 591866 WITH SCORE 599698.149
AT ITER 2100 NEW BEST:: SOT 12869630 SOS 7832147 HAS SOPS 7832147 HAS SOUS 591864 HAS SOUPS 591864 WITH SCORE 599696.147
AT ITER 2115 NEW BEST:: SOT 12869596 SOS 7832079 HAS SOPS 7832079 HAS SOUS 591855 HAS SOUPS 591855 WITH SCORE 599687.079
AT ITER 2120 NEW BEST:: SOT 12870094 SOS 7828883 HAS SOPS 7828883 HAS SOUS 591608 HAS SOUPS 591608 WITH SCORE 599436.883
AT ITER 2137 NEW BEST:: SOT 12869924 SOS 7828543 HAS SOPS 7828543 HAS SOUS 591288 HAS SOUPS 591288 WITH SCORE 599116.543
AT ITER 2146 NEW BEST:: SOT 12869351 SOS 7827770 HAS SOPS 7827770 HAS SOUS 590888 HAS SOUPS 590888 WITH SCORE 598715.77
AT ITER 2148 NEW BEST:: SOT 12869351 SOS 7802984 HAS SOPS 7802984 HAS SOUS 590871 HAS SOUPS 590871 WITH SCORE 598673.984
AT ITER 2160 NEW BEST:: SOT 12869298 SOS 7802878 HAS SOPS 7802878 HAS SOUS 590765 HAS SOUPS 590765 WITH SCORE 598567.878
AT ITER 2191 NEW BEST:: SOT 12869282 SOS 7802846 HAS SOPS 7802846 HAS SOUS 590733 HAS SOUPS 590733 WITH SCORE 598535.846
AT ITER 2194 NEW BEST:: SOT 12869298 SOS 7803027 HAS SOPS 7803027 HAS SOUS 590616 HAS SOUPS 590616 WITH SCORE 598419.027
AT ITER 2199 NEW BEST:: SOT 12869298 SOS 7803027 HAS SOPS 7803027 HAS SOUS 590523 HAS SOUPS 590523 WITH SCORE 598326.027
AT ITER 2201 NEW BEST:: SOT 12869273 SOS 7802977 HAS SOPS 7802977 HAS SOUS 590506 HAS SOUPS 590506 WITH SCORE 598308.977
AT ITER 2216 NEW BEST:: SOT 12869273 SOS 7770901 HAS SOPS 7770901 HAS SOUS 590484 HAS SOUPS 590484 WITH SCORE 598254.901
AT ITER 2218 NEW BEST:: SOT 12869273 SOS 7770868 HAS SOPS 7770868 HAS SOUS 590484 HAS SOUPS 590484 WITH SCORE 598254.868
AT ITER 2251 NEW BEST:: SOT 12869227 SOS 7770822 HAS SOPS 7770822 HAS SOUS 590438 HAS SOUPS 590438 WITH SCORE 598208.822
AT ITER 2256 NEW BEST:: SOT 12869150 SOS 7770668 HAS SOPS 7770668 HAS SOUS 590284 HAS SOUPS 590284 WITH SCORE 598054.668
AT ITER 2272 NEW BEST:: SOT 12854485 SOS 7782970 HAS SOPS 7782970 HAS SOUS 578448 HAS SOUPS 578448 WITH SCORE 586230.97
AT ITER 2295 NEW BEST:: SOT 12856372 SOS 7784743 HAS SOPS 7784743 HAS SOUS 576822 HAS SOUPS 576822 WITH SCORE 584606.743
AT ITER 2302 NEW BEST:: SOT 12856372 SOS 7784743 HAS SOPS 7784743 HAS SOUS 576390 HAS SOUPS 576390 WITH SCORE 584174.743
AT ITER 2312 NEW BEST:: SOT 12856421 SOS 7784841 HAS SOPS 7784841 HAS SOUS 576314 HAS SOUPS 576314 WITH SCORE 584098.841
AT ITER 2320 NEW BEST:: SOT 12856287 SOS 7784573 HAS SOPS 7784573 HAS SOUS 576046 HAS SOUPS 576046 WITH SCORE 583830.573
AT ITER 2371 NEW BEST:: SOT 12856142 SOS 7784283 HAS SOPS 7784283 HAS SOUS 575908 HAS SOUPS 575908 WITH SCORE 583692.283
AT ITER 2379 NEW BEST:: SOT 12856143 SOS 7784122 HAS SOPS 7784122 HAS SOUS 575786 HAS SOUPS 575786 WITH SCORE 583570.122
AT ITER 2380 NEW BEST:: SOT 12855886 SOS 7783608 HAS SOPS 7783608 HAS SOUS 575229 HAS SOUPS 575229 WITH SCORE 583012.608
AT ITER 2387 NEW BEST:: SOT 12855643 SOS 7408245 HAS SOPS 7408245 HAS SOUS 570444 HAS SOUPS 570444 WITH SCORE 577852.245
AT ITER 2393 NEW BEST:: SOT 12855643 SOS 7408242 HAS SOPS 7408242 HAS SOUS 570441 HAS SOUPS 570441 WITH SCORE 577849.242
AT ITER 2410 NEW BEST:: SOT 12855627 SOS 7408210 HAS SOPS 7408210 HAS SOUS 570409 HAS SOUPS 570409 WITH SCORE 577817.21
AT ITER 2439 NEW BEST:: SOT 12855577 SOS 7335210 HAS SOPS 7335210 HAS SOUS 570259 HAS SOUPS 570259 WITH SCORE 577594.21
AT ITER 2444 NEW BEST:: SOT 12855478 SOS 7335370 HAS SOPS 7335370 HAS SOUS 570238 HAS SOUPS 570238 WITH SCORE 577573.37
AT ITER 2457 NEW BEST:: SOT 12855457 SOS 7335328 HAS SOPS 7335328 HAS SOUS 570217 HAS SOUPS 570217 WITH SCORE 577552.328
AT ITER 2467 NEW BEST:: SOT 12855310 SOS 7335034 HAS SOPS 7335034 HAS SOUS 569923 HAS SOUPS 569923 WITH SCORE 577258.034
AT ITER 2479 NEW BEST:: SOT 12855404 SOS 7334869 HAS SOPS 7334869 HAS SOUS 569758 HAS SOUPS 569758 WITH SCORE 577092.869
AT ITER 2502 NEW BEST:: SOT 12855274 SOS 7334609 HAS SOPS 7334609 HAS SOUS 569498 HAS SOUPS 569498 WITH SCORE 576832.609
AT ITER 2513 NEW BEST:: SOT 12855188 SOS 7334351 HAS SOPS 7334351 HAS SOUS 569326 HAS SOUPS 569326 WITH SCORE 576660.351
AT ITER 2515 NEW BEST:: SOT 12855187 SOS 7334349 HAS SOPS 7334349 HAS SOUS 569324 HAS SOUPS 569324 WITH SCORE 576658.349
AT ITER 2516 NEW BEST:: SOT 12855187 SOS 7334254 HAS SOPS 7334254 HAS SOUS 569229 HAS SOUPS 569229 WITH SCORE 576563.254
AT ITER 2521 NEW BEST:: SOT 12855133 SOS 7334059 HAS SOPS 7334059 HAS SOUS 569175 HAS SOUPS 569175 WITH SCORE 576509.059
AT ITER 2524 NEW BEST:: SOT 12855134 SOS 7334061 HAS SOPS 7334061 HAS SOUS 569134 HAS SOUPS 569134 WITH SCORE 576468.061
AT ITER 2525 NEW BEST:: SOT 12855169 SOS 7334017 HAS SOPS 7334017 HAS SOUS 569130 HAS SOUPS 569130 WITH SCORE 576464.017
AT ITER 2535 NEW BEST:: SOT 12855121 SOS 7333921 HAS SOPS 7333921 HAS SOUS 569062 HAS SOUPS 569062 WITH SCORE 576395.921
AT ITER 2536 NEW BEST:: SOT 12855109 SOS 7333897 HAS SOPS 7333897 HAS SOUS 569038 HAS SOUPS 569038 WITH SCORE 576371.897
AT ITER 2548 NEW BEST:: SOT 12855095 SOS 7333869 HAS SOPS 7333869 HAS SOUS 569022 HAS SOUPS 569022 WITH SCORE 576355.869
AT ITER 2561 NEW BEST:: SOT 12854890 SOS 7333459 HAS SOPS 7333459 HAS SOUS 568817 HAS SOUPS 568817 WITH SCORE 576150.459
AT ITER 2565 NEW BEST:: SOT 12854778 SOS 7333235 HAS SOPS 7333235 HAS SOUS 568705 HAS SOUPS 568705 WITH SCORE 576038.235
AT ITER 2571 NEW BEST:: SOT 12854635 SOS 7332949 HAS SOPS 7332949 HAS SOUS 568405 HAS SOUPS 568405 WITH SCORE 575737.949
AT ITER 2584 NEW BEST:: SOT 12854475 SOS 7294133 HAS SOPS 7294133 HAS SOUS 561359 HAS SOUPS 561359 WITH SCORE 568653.133
AT ITER 2598 NEW BEST:: SOT 12854475 SOS 7294133 HAS SOPS 7294133 HAS SOUS 561289 HAS SOUPS 561289 WITH SCORE 568583.133
AT ITER 2602 NEW BEST:: SOT 12854475 SOS 7294128 HAS SOPS 7294128 HAS SOUS 561289 HAS SOUPS 561289 WITH SCORE 568583.128
AT ITER 2610 NEW BEST:: SOT 12854365 SOS 7294119 HAS SOPS 7294119 HAS SOUS 561239 HAS SOUPS 561239 WITH SCORE 568533.119
AT ITER 2619 NEW BEST:: SOT 12854288 SOS 7188017 HAS SOPS 7188017 HAS SOUS 560758 HAS SOUPS 560758 WITH SCORE 567946.017
AT ITER 2636 NEW BEST:: SOT 12854282 SOS 7188005 HAS SOPS 7188005 HAS SOUS 560746 HAS SOUPS 560746 WITH SCORE 567934.005
AT ITER 2647 NEW BEST:: SOT 12854282 SOS 7188004 HAS SOPS 7188004 HAS SOUS 560745 HAS SOUPS 560745 WITH SCORE 567933.004
AT ITER 2718 NEW BEST:: SOT 12854174 SOS 7187788 HAS SOPS 7187788 HAS SOUS 560637 HAS SOUPS 560637 WITH SCORE 567824.788
AT ITER 2722 NEW BEST:: SOT 12854112 SOS 7187664 HAS SOPS 7187664 HAS SOUS 560568 HAS SOUPS 560568 WITH SCORE 567755.664
AT ITER 2725 NEW BEST:: SOT 12854098 SOS 7187650 HAS SOPS 7187650 HAS SOUS 560554 HAS SOUPS 560554 WITH SCORE 567741.65
AT ITER 2739 NEW BEST:: SOT 12854097 SOS 7187648 HAS SOPS 7187648 HAS SOUS 560552 HAS SOUPS 560552 WITH SCORE 567739.648
AT ITER 2769 NEW BEST:: SOT 12854053 SOS 7187560 HAS SOPS 7187560 HAS SOUS 560464 HAS SOUPS 560464 WITH SCORE 567651.56
AT ITER 2772 NEW BEST:: SOT 12853819 SOS 7187092 HAS SOPS 7187092 HAS SOUS 560394 HAS SOUPS 560394 WITH SCORE 567581.092
AT ITER 2777 NEW BEST:: SOT 12853532 SOS 7186518 HAS SOPS 7186518 HAS SOUS 559820 HAS SOUPS 559820 WITH SCORE 567006.518
AT ITER 2801 NEW BEST:: SOT 12853480 SOS 6940961 HAS SOPS 6940961 HAS SOUS 556747 HAS SOUPS 556747 WITH SCORE 563687.961
AT ITER 2810 NEW BEST:: SOT 12853480 SOS 6940961 HAS SOPS 6940961 HAS SOUS 556725 HAS SOUPS 556725 WITH SCORE 563665.961
AT ITER 2823 NEW BEST:: SOT 12853394 SOS 6940789 HAS SOPS 6940789 HAS SOUS 556553 HAS SOUPS 556553 WITH SCORE 563493.789
AT ITER 2825 NEW BEST:: SOT 12853382 SOS 6940765 HAS SOPS 6940765 HAS SOUS 556529 HAS SOUPS 556529 WITH SCORE 563469.765
AT ITER 2838 NEW BEST:: SOT 12853341 SOS 6941323 HAS SOPS 6941323 HAS SOUS 556527 HAS SOUPS 556527 WITH SCORE 563468.323
AT ITER 2839 NEW BEST:: SOT 12853301 SOS 6941283 HAS SOPS 6941283 HAS SOUS 556487 HAS SOUPS 556487 WITH SCORE 563428.283
AT ITER 2851 NEW BEST:: SOT 12853284 SOS 6941249 HAS SOPS 6941249 HAS SOUS 556453 HAS SOUPS 556453 WITH SCORE 563394.249
AT ITER 2853 NEW BEST:: SOT 12853277 SOS 6941235 HAS SOPS 6941235 HAS SOUS 556446 HAS SOUPS 556446 WITH SCORE 563387.235
AT ITER 2899 NEW BEST:: SOT 12853276 SOS 6941233 HAS SOPS 6941233 HAS SOUS 556444 HAS SOUPS 556444 WITH SCORE 563385.233
AT ITER 2901 NEW BEST:: SOT 12853265 SOS 6941211 HAS SOPS 6941211 HAS SOUS 556422 HAS SOUPS 556422 WITH SCORE 563363.211
AT ITER 2925 NEW BEST:: SOT 12853153 SOS 6924283 HAS SOPS 6924283 HAS SOUS 553569 HAS SOUPS 553569 WITH SCORE 560493.283
AT ITER 2938 NEW BEST:: SOT 12853138 SOS 6915181 HAS SOPS 6915181 HAS SOUS 553441 HAS SOUPS 553441 WITH SCORE 560356.181
AT ITER 2941 NEW BEST:: SOT 12853069 SOS 6915043 HAS SOPS 6915043 HAS SOUS 553372 HAS SOUPS 553372 WITH SCORE 560287.043
AT ITER 2949 NEW BEST:: SOT 12853057 SOS 6915034 HAS SOPS 6915034 HAS SOUS 553363 HAS SOUPS 553363 WITH SCORE 560278.034
AT ITER 2953 NEW BEST:: SOT 12853014 SOS 6914900 HAS SOPS 6914900 HAS SOUS 553272 HAS SOUPS 553272 WITH SCORE 560186.9
AT ITER 2988 NEW BEST:: SOT 12852853 SOS 6914578 HAS SOPS 6914578 HAS SOUS 552950 HAS SOUPS 552950 WITH SCORE 559864.578
AT ITER 2989 NEW BEST:: SOT 12852853 SOS 6914565 HAS SOPS 6914565 HAS SOUS 552950 HAS SOUPS 552950 WITH SCORE 559864.565
AT ITER 3019 NEW BEST:: SOT 12852507 SOS 6914167 HAS SOPS 6914167 HAS SOUS 552818 HAS SOUPS 552818 WITH SCORE 559732.167
AT ITER 3030 NEW BEST:: SOT 12830915 SOS 6900375 HAS SOPS 6900375 HAS SOUS 534066 HAS SOUPS 534066 WITH SCORE 540966.375
AT ITER 3033 NEW BEST:: SOT 12830782 SOS 6900542 HAS SOPS 6900542 HAS SOUS 534024 HAS SOUPS 534024 WITH SCORE 540924.542
AT ITER 3039 NEW BEST:: SOT 12830877 SOS 6900292 HAS SOPS 6900292 HAS SOUS 533334 HAS SOUPS 533334 WITH SCORE 540234.292
AT ITER 3047 NEW BEST:: SOT 12830776 SOS 6506385 HAS SOPS 6506385 HAS SOUS 532736 HAS SOUPS 532736 WITH SCORE 539242.385
AT ITER 3049 NEW BEST:: SOT 12830681 SOS 6506195 HAS SOPS 6506195 HAS SOUS 532546 HAS SOUPS 532546 WITH SCORE 539052.195
AT ITER 3066 NEW BEST:: SOT 12830680 SOS 6506193 HAS SOPS 6506193 HAS SOUS 532544 HAS SOUPS 532544 WITH SCORE 539050.193
AT ITER 3093 NEW BEST:: SOT 12830511 SOS 6505855 HAS SOPS 6505855 HAS SOUS 532458 HAS SOUPS 532458 WITH SCORE 538963.855
AT ITER 3103 NEW BEST:: SOT 12830454 SOS 6505741 HAS SOPS 6505741 HAS SOUS 532344 HAS SOUPS 532344 WITH SCORE 538849.741
AT ITER 3107 NEW BEST:: SOT 12830350 SOS 6505533 HAS SOPS 6505533 HAS SOUS 532136 HAS SOUPS 532136 WITH SCORE 538641.533
AT ITER 3153 NEW BEST:: SOT 12830177 SOS 6505187 HAS SOPS 6505187 HAS SOUS 531790 HAS SOUPS 531790 WITH SCORE 538295.187
AT ITER 3180 NEW BEST:: SOT 12830053 SOS 6504939 HAS SOPS 6504939 HAS SOUS 531746 HAS SOUPS 531746 WITH SCORE 538250.939
AT ITER 3183 NEW BEST:: SOT 12829984 SOS 6504801 HAS SOPS 6504801 HAS SOUS 531608 HAS SOUPS 531608 WITH SCORE 538112.801
AT ITER 3202 NEW BEST:: SOT 12829868 SOS 6366977 HAS SOPS 6366977 HAS SOUS 528621 HAS SOUPS 528621 WITH SCORE 534987.977
AT ITER 3277 NEW BEST:: SOT 12829823 SOS 6366887 HAS SOPS 6366887 HAS SOUS 528531 HAS SOUPS 528531 WITH SCORE 534897.887
AT ITER 3308 NEW BEST:: SOT 12818532 SOS 7117093 HAS SOPS 7117093 HAS SOUS 518009 HAS SOUPS 518009 WITH SCORE 525126.093
AT ITER 3327 NEW BEST:: SOT 12816093 SOS 7114654 HAS SOPS 7114654 HAS SOUS 515436 HAS SOUPS 515436 WITH SCORE 522550.654
AT ITER 3334 NEW BEST:: SOT 12816086 SOS 7114250 HAS SOPS 7114250 HAS SOUS 515409 HAS SOUPS 515409 WITH SCORE 522523.25
AT ITER 3338 NEW BEST:: SOT 12815781 SOS 7113640 HAS SOPS 7113640 HAS SOUS 515174 HAS SOUPS 515174 WITH SCORE 522287.64
AT ITER 3349 NEW BEST:: SOT 12815761 SOS 7113600 HAS SOPS 7113600 HAS SOUS 515134 HAS SOUPS 515134 WITH SCORE 522247.6
AT ITER 3354 NEW BEST:: SOT 12815613 SOS 6558292 HAS SOPS 6558292 HAS SOUS 514161 HAS SOUPS 514161 WITH SCORE 520719.292
AT ITER 3365 NEW BEST:: SOT 12815576 SOS 6558218 HAS SOPS 6558218 HAS SOUS 514087 HAS SOUPS 514087 WITH SCORE 520645.218
AT ITER 3385 NEW BEST:: SOT 12815417 SOS 6552852 HAS SOPS 6552852 HAS SOUS 512088 HAS SOUPS 512088 WITH SCORE 518640.852
AT ITER 3388 NEW BEST:: SOT 12815272 SOS 6552562 HAS SOPS 6552562 HAS SOUS 511798 HAS SOUPS 511798 WITH SCORE 518350.562
AT ITER 3393 NEW BEST:: SOT 12815340 SOS 6552698 HAS SOPS 6552698 HAS SOUS 511702 HAS SOUPS 511702 WITH SCORE 518254.698
AT ITER 3396 NEW BEST:: SOT 12815270 SOS 6552558 HAS SOPS 6552558 HAS SOUS 511562 HAS SOUPS 511562 WITH SCORE 518114.558
AT ITER 3421 NEW BEST:: SOT 12815167 SOS 6552057 HAS SOPS 6552057 HAS SOUS 506220 HAS SOUPS 506220 WITH SCORE 512772.057
AT ITER 3437 NEW BEST:: SOT 12815245 SOS 6551719 HAS SOPS 6551719 HAS SOUS 505950 HAS SOUPS 505950 WITH SCORE 512501.719
AT ITER 3445 NEW BEST:: SOT 12815202 SOS 6551689 HAS SOPS 6551689 HAS SOUS 505920 HAS SOUPS 505920 WITH SCORE 512471.689
AT ITER 3446 NEW BEST:: SOT 12815182 SOS 6551649 HAS SOPS 6551649 HAS SOUS 505880 HAS SOUPS 505880 WITH SCORE 512431.649
AT ITER 3454 NEW BEST:: SOT 12815154 SOS 6551607 HAS SOPS 6551607 HAS SOUS 505838 HAS SOUPS 505838 WITH SCORE 512389.607
AT ITER 3462 NEW BEST:: SOT 12815149 SOS 6551581 HAS SOPS 6551581 HAS SOUS 505812 HAS SOUPS 505812 WITH SCORE 512363.581
AT ITER 3466 NEW BEST:: SOT 12815120 SOS 6551523 HAS SOPS 6551523 HAS SOUS 505754 HAS SOUPS 505754 WITH SCORE 512305.523
AT ITER 3495 NEW BEST:: SOT 12814935 SOS 6551153 HAS SOPS 6551153 HAS SOUS 505236 HAS SOUPS 505236 WITH SCORE 511787.153
AT ITER 3501 NEW BEST:: SOT 12814831 SOS 6550945 HAS SOPS 6550945 HAS SOUS 505195 HAS SOUPS 505195 WITH SCORE 511745.945
AT ITER 3505 NEW BEST:: SOT 12814831 SOS 6524029 HAS SOPS 6524029 HAS SOUS 504203 HAS SOUPS 504203 WITH SCORE 510727.029
AT ITER 3520 NEW BEST:: SOT 12814927 SOS 6524221 HAS SOPS 6524221 HAS SOUS 504193 HAS SOUPS 504193 WITH SCORE 510717.221
AT ITER 3529 NEW BEST:: SOT 12814927 SOS 6524096 HAS SOPS 6524096 HAS SOUS 504193 HAS SOUPS 504193 WITH SCORE 510717.096
AT ITER 3535 NEW BEST:: SOT 12814735 SOS 6523712 HAS SOPS 6523712 HAS SOUS 504069 HAS SOUPS 504069 WITH SCORE 510592.712
AT ITER 3546 NEW BEST:: SOT 12814638 SOS 6523518 HAS SOPS 6523518 HAS SOUS 503875 HAS SOUPS 503875 WITH SCORE 510398.518
AT ITER 3552 NEW BEST:: SOT 12814636 SOS 6523514 HAS SOPS 6523514 HAS SOUS 503871 HAS SOUPS 503871 WITH SCORE 510394.514
AT ITER 3558 NEW BEST:: SOT 12814578 SOS 6523398 HAS SOPS 6523398 HAS SOUS 503755 HAS SOUPS 503755 WITH SCORE 510278.398
AT ITER 3583 NEW BEST:: SOT 12814533 SOS 6523308 HAS SOPS 6523308 HAS SOUS 503665 HAS SOUPS 503665 WITH SCORE 510188.308
AT ITER 3587 NEW BEST:: SOT 12815433 SOS 6504580 HAS SOPS 6504580 HAS SOUS 503423 HAS SOUPS 503423 WITH SCORE 509927.58
AT ITER 3595 NEW BEST:: SOT 12815417 SOS 6504788 HAS SOPS 6504788 HAS SOUS 503407 HAS SOUPS 503407 WITH SCORE 509911.788
AT ITER 3603 NEW BEST:: SOT 12815413 SOS 6504780 HAS SOPS 6504780 HAS SOUS 503403 HAS SOUPS 503403 WITH SCORE 509907.78
AT ITER 3621 NEW BEST:: SOT 12815434 SOS 6504600 HAS SOPS 6504600 HAS SOUS 503334 HAS SOUPS 503334 WITH SCORE 509838.6
AT ITER 3645 NEW BEST:: SOT 12815427 SOS 6504591 HAS SOPS 6504591 HAS SOUS 503325 HAS SOUPS 503325 WITH SCORE 509829.591
AT ITER 3661 NEW BEST:: SOT 12815427 SOS 6504529 HAS SOPS 6504529 HAS SOUS 503263 HAS SOUPS 503263 WITH SCORE 509767.529
AT ITER 3695 NEW BEST:: SOT 12815414 SOS 6504503 HAS SOPS 6504503 HAS SOUS 503237 HAS SOUPS 503237 WITH SCORE 509741.503
AT ITER 3716 NEW BEST:: SOT 12815236 SOS 6504147 HAS SOPS 6504147 HAS SOUS 503059 HAS SOUPS 503059 WITH SCORE 509563.147
AT ITER 3717 NEW BEST:: SOT 12815146 SOS 6503967 HAS SOPS 6503967 HAS SOUS 502898 HAS SOUPS 502898 WITH SCORE 509401.967
AT ITER 3719 NEW BEST:: SOT 12815145 SOS 6503965 HAS SOPS 6503965 HAS SOUS 502896 HAS SOUPS 502896 WITH SCORE 509399.965
AT ITER 3748 NEW BEST:: SOT 12815081 SOS 6503930 HAS SOPS 6503930 HAS SOUS 502861 HAS SOUPS 502861 WITH SCORE 509364.93
AT ITER 3749 NEW BEST:: SOT 12813277 SOS 6503906 HAS SOPS 6503906 HAS SOUS 501695 HAS SOUPS 501695 WITH SCORE 508198.906
AT ITER 3758 NEW BEST:: SOT 12813082 SOS 6503516 HAS SOPS 6503516 HAS SOUS 501305 HAS SOUPS 501305 WITH SCORE 507808.516
AT ITER 3759 NEW BEST:: SOT 12812923 SOS 6450710 HAS SOPS 6450710 HAS SOUS 500930 HAS SOUPS 500930 WITH SCORE 507380.71
AT ITER 3780 NEW BEST:: SOT 12812831 SOS 6450577 HAS SOPS 6450577 HAS SOUS 499681 HAS SOUPS 499681 WITH SCORE 506131.577
AT ITER 3817 NEW BEST:: SOT 12812794 SOS 6450503 HAS SOPS 6450503 HAS SOUS 499612 HAS SOUPS 499612 WITH SCORE 506062.503
AT ITER 3818 NEW BEST:: SOT 12812785 SOS 6450485 HAS SOPS 6450485 HAS SOUS 499594 HAS SOUPS 499594 WITH SCORE 506044.485
AT ITER 3850 NEW BEST:: SOT 12812771 SOS 6450457 HAS SOPS 6450457 HAS SOUS 499494 HAS SOUPS 499494 WITH SCORE 505944.457
AT ITER 3852 NEW BEST:: SOT 12812698 SOS 6450311 HAS SOPS 6450311 HAS SOUS 499348 HAS SOUPS 499348 WITH SCORE 505798.311
AT ITER 3860 NEW BEST:: SOT 12812648 SOS 6450211 HAS SOPS 6450211 HAS SOUS 499248 HAS SOUPS 499248 WITH SCORE 505698.211
AT ITER 3908 NEW BEST:: SOT 12812645 SOS 6450205 HAS SOPS 6450205 HAS SOUS 499242 HAS SOUPS 499242 WITH SCORE 505692.205
AT ITER 3919 NEW BEST:: SOT 12812642 SOS 6450199 HAS SOPS 6450199 HAS SOUS 499236 HAS SOUPS 499236 WITH SCORE 505686.199
AT ITER 3940 NEW BEST:: SOT 12812629 SOS 6450186 HAS SOPS 6450186 HAS SOUS 499210 HAS SOUPS 499210 WITH SCORE 505660.186
AT ITER 3950 NEW BEST:: SOT 12812709 SOS 6450346 HAS SOPS 6450346 HAS SOUS 499121 HAS SOUPS 499121 WITH SCORE 505571.346
AT ITER 3985 NEW BEST:: SOT 12812744 SOS 6450334 HAS SOPS 6450334 HAS SOUS 499109 HAS SOUPS 499109 WITH SCORE 505559.334
AT ITER 3996 NEW BEST:: SOT 12812649 SOS 6450144 HAS SOPS 6450144 HAS SOUS 498919 HAS SOUPS 498919 WITH SCORE 505369.144
AT ITER 4009 NEW BEST:: SOT 12812465 SOS 6449776 HAS SOPS 6449776 HAS SOUS 498828 HAS SOUPS 498828 WITH SCORE 505277.776
AT ITER 4047 NEW BEST:: SOT 12812465 SOS 6449757 HAS SOPS 6449757 HAS SOUS 498828 HAS SOUPS 498828 WITH SCORE 505277.757
AT ITER 4069 NEW BEST:: SOT 12812457 SOS 6448973 HAS SOPS 6448973 HAS SOUS 498052 HAS SOUPS 498052 WITH SCORE 504500.973
AT ITER 4073 NEW BEST:: SOT 12812456 SOS 6448971 HAS SOPS 6448971 HAS SOUS 498050 HAS SOUPS 498050 WITH SCORE 504498.971
AT ITER 4084 NEW BEST:: SOT 12812373 SOS 6267367 HAS SOPS 6267367 HAS SOUS 497884 HAS SOUPS 497884 WITH SCORE 504151.367
AT ITER 4088 NEW BEST:: SOT 12812259 SOS 6193267 HAS SOPS 6193267 HAS SOUS 496858 HAS SOUPS 496858 WITH SCORE 503051.267
AT ITER 4090 NEW BEST:: SOT 12812030 SOS 6192809 HAS SOPS 6192809 HAS SOUS 496381 HAS SOUPS 496381 WITH SCORE 502573.809
AT ITER 4092 NEW BEST:: SOT 12811958 SOS 6192791 HAS SOPS 6192791 HAS SOUS 496363 HAS SOUPS 496363 WITH SCORE 502555.791
AT ITER 4094 NEW BEST:: SOT 12811739 SOS 6192353 HAS SOPS 6192353 HAS SOUS 495925 HAS SOUPS 495925 WITH SCORE 502117.353
AT ITER 4109 NEW BEST:: SOT 12811699 SOS 6192273 HAS SOPS 6192273 HAS SOUS 495845 HAS SOUPS 495845 WITH SCORE 502037.273
AT ITER 4113 NEW BEST:: SOT 12811683 SOS 6192257 HAS SOPS 6192257 HAS SOUS 495829 HAS SOUPS 495829 WITH SCORE 502021.257
AT ITER 4117 NEW BEST:: SOT 12736537 SOS 6745006 HAS SOPS 6745006 HAS SOUS 487170 HAS SOUPS 487170 WITH SCORE 493915.006
AT ITER 4120 NEW BEST:: SOT 12736537 SOS 6745006 HAS SOPS 6745006 HAS SOUS 487079 HAS SOUPS 487079 WITH SCORE 493824.006
AT ITER 4136 NEW BEST:: SOT 12736490 SOS 6744912 HAS SOPS 6744912 HAS SOUS 487032 HAS SOUPS 487032 WITH SCORE 493776.912
AT ITER 4157 NEW BEST:: SOT 12735510 SOS 6748472 HAS SOPS 6748472 HAS SOUS 486447 HAS SOUPS 486447 WITH SCORE 493195.472
AT ITER 4170 NEW BEST:: SOT 12735510 SOS 6748439 HAS SOPS 6748439 HAS SOUS 486447 HAS SOUPS 486447 WITH SCORE 493195.439
AT ITER 4190 NEW BEST:: SOT 12735468 SOS 6748355 HAS SOPS 6748355 HAS SOUS 486363 HAS SOUPS 486363 WITH SCORE 493111.355
AT ITER 4191 NEW BEST:: SOT 12735440 SOS 6748299 HAS SOPS 6748299 HAS SOUS 486307 HAS SOUPS 486307 WITH SCORE 493055.299
AT ITER 4207 NEW BEST:: SOT 12733703 SOS 6746562 HAS SOPS 6746562 HAS SOUS 484570 HAS SOUPS 484570 WITH SCORE 491316.562
AT ITER 4236 NEW BEST:: SOT 12733469 SOS 6746328 HAS SOPS 6746328 HAS SOUS 484336 HAS SOUPS 484336 WITH SCORE 491082.328
AT ITER 4254 NEW BEST:: SOT 12733465 SOS 6746320 HAS SOPS 6746320 HAS SOUS 484328 HAS SOUPS 484328 WITH SCORE 491074.32
AT ITER 4277 NEW BEST:: SOT 12733463 SOS 6746316 HAS SOPS 6746316 HAS SOUS 484324 HAS SOUPS 484324 WITH SCORE 491070.316
AT ITER 4300 NEW BEST:: SOT 12733459 SOS 6746308 HAS SOPS 6746308 HAS SOUS 484320 HAS SOUPS 484320 WITH SCORE 491066.308
AT ITER 4315 NEW BEST:: SOT 12733442 SOS 6746274 HAS SOPS 6746274 HAS SOUS 484303 HAS SOUPS 484303 WITH SCORE 491049.274
AT ITER 4329 NEW BEST:: SOT 12733116 SOS 6745622 HAS SOPS 6745622 HAS SOUS 483651 HAS SOUPS 483651 WITH SCORE 490396.622
AT ITER 4331 NEW BEST:: SOT 12733112 SOS 6745614 HAS SOPS 6745614 HAS SOUS 483643 HAS SOUPS 483643 WITH SCORE 490388.614
AT ITER 4346 NEW BEST:: SOT 12733111 SOS 6745612 HAS SOPS 6745612 HAS SOUS 483641 HAS SOUPS 483641 WITH SCORE 490386.612
AT ITER 4369 NEW BEST:: SOT 12732977 SOS 6745210 HAS SOPS 6745210 HAS SOUS 483239 HAS SOUPS 483239 WITH SCORE 489984.21
AT ITER 4380 NEW BEST:: SOT 12732977 SOS 6745210 HAS SOPS 6745210 HAS SOUS 483225 HAS SOUPS 483225 WITH SCORE 489970.21
AT ITER 4407 NEW BEST:: SOT 12732931 SOS 6745118 HAS SOPS 6745118 HAS SOUS 483199 HAS SOUPS 483199 WITH SCORE 489944.118
AT ITER 4409 NEW BEST:: SOT 12732849 SOS 6744954 HAS SOPS 6744954 HAS SOUS 483035 HAS SOUPS 483035 WITH SCORE 489779.954
AT ITER 4412 NEW BEST:: SOT 12732214 SOS 5755511 HAS SOPS 5755511 HAS SOUS 476767 HAS SOUPS 476767 WITH SCORE 482522.511
AT ITER 4423 NEW BEST:: SOT 12723746 SOS 5746909 HAS SOPS 5746909 HAS SOUS 469099 HAS SOUPS 469099 WITH SCORE 474845.909
AT ITER 4434 NEW BEST:: SOT 12723499 SOS 5746415 HAS SOPS 5746415 HAS SOUS 468605 HAS SOUPS 468605 WITH SCORE 474351.415
AT ITER 4452 NEW BEST:: SOT 12723372 SOS 5746161 HAS SOPS 5746161 HAS SOUS 468573 HAS SOUPS 468573 WITH SCORE 474319.161
AT ITER 4481 NEW BEST:: SOT 12723200 SOS 5745817 HAS SOPS 5745817 HAS SOUS 468229 HAS SOUPS 468229 WITH SCORE 473974.817
AT ITER 4486 NEW BEST:: SOT 12723197 SOS 5745811 HAS SOPS 5745811 HAS SOUS 468223 HAS SOUPS 468223 WITH SCORE 473968.811
AT ITER 4507 NEW BEST:: SOT 12709791 SOS 5732697 HAS SOPS 5732697 HAS SOUS 455109 HAS SOUPS 455109 WITH SCORE 460841.697
AT ITER 4533 NEW BEST:: SOT 12709790 SOS 5732695 HAS SOPS 5732695 HAS SOUS 455107 HAS SOUPS 455107 WITH SCORE 460839.695
AT ITER 4568 NEW BEST:: SOT 12709789 SOS 5732693 HAS SOPS 5732693 HAS SOUS 455105 HAS SOUPS 455105 WITH SCORE 460837.693
AT ITER 4571 NEW BEST:: SOT 12709784 SOS 5732683 HAS SOPS 5732683 HAS SOUS 455095 HAS SOUPS 455095 WITH SCORE 460827.683
AT ITER 4572 NEW BEST:: SOT 12709784 SOS 5617501 HAS SOPS 5617501 HAS SOUS 454937 HAS SOUPS 454937 WITH SCORE 460554.501
AT ITER 4576 NEW BEST:: SOT 12709778 SOS 5617489 HAS SOPS 5617489 HAS SOUS 454925 HAS SOUPS 454925 WITH SCORE 460542.489
AT ITER 4615 NEW BEST:: SOT 12709778 SOS 5617455 HAS SOPS 5617455 HAS SOUS 454925 HAS SOUPS 454925 WITH SCORE 460542.455
AT ITER 4641 NEW BEST:: SOT 12709708 SOS 5617315 HAS SOPS 5617315 HAS SOUS 454817 HAS SOUPS 454817 WITH SCORE 460434.315
AT ITER 4648 NEW BEST:: SOT 12709708 SOS 5616355 HAS SOPS 5616355 HAS SOUS 454737 HAS SOUPS 454737 WITH SCORE 460353.355
AT ITER 4649 NEW BEST:: SOT 12709678 SOS 5616325 HAS SOPS 5616325 HAS SOUS 454707 HAS SOUPS 454707 WITH SCORE 460323.325
AT ITER 4697 NEW BEST:: SOT 12709630 SOS 5616268 HAS SOPS 5616268 HAS SOUS 454650 HAS SOUPS 454650 WITH SCORE 460266.268
AT ITER 4704 NEW BEST:: SOT 12709404 SOS 5615816 HAS SOPS 5615816 HAS SOUS 454494 HAS SOUPS 454494 WITH SCORE 460109.816
AT ITER 4754 NEW BEST:: SOT 12709383 SOS 5615806 HAS SOPS 5615806 HAS SOUS 454484 HAS SOUPS 454484 WITH SCORE 460099.806
AT ITER 4781 NEW BEST:: SOT 12709063 SOS 5615166 HAS SOPS 5615166 HAS SOUS 453844 HAS SOUPS 453844 WITH SCORE 459459.166
AT ITER 4787 NEW BEST:: SOT 12709061 SOS 5615002 HAS SOPS 5615002 HAS SOUS 453838 HAS SOUPS 453838 WITH SCORE 459453.002
AT ITER 4834 NEW BEST:: SOT 12708792 SOS 5614169 HAS SOPS 5614169 HAS SOUS 453275 HAS SOUPS 453275 WITH SCORE 458889.169
AT ITER 4845 NEW BEST:: SOT 12708898 SOS 5614026 HAS SOPS 5614026 HAS SOUS 453265 HAS SOUPS 453265 WITH SCORE 458879.026
AT ITER 4856 NEW BEST:: SOT 12708862 SOS 5517663 HAS SOPS 5517663 HAS SOUS 452846 HAS SOUPS 452846 WITH SCORE 458363.663
AT ITER 4862 NEW BEST:: SOT 12708818 SOS 5517641 HAS SOPS 5517641 HAS SOUS 452824 HAS SOUPS 452824 WITH SCORE 458341.641
AT ITER 4869 NEW BEST:: SOT 12708814 SOS 5517633 HAS SOPS 5517633 HAS SOUS 452816 HAS SOUPS 452816 WITH SCORE 458333.633
AT ITER 4883 NEW BEST:: SOT 12708792 SOS 5517589 HAS SOPS 5517589 HAS SOUS 452772 HAS SOUPS 452772 WITH SCORE 458289.589
AT ITER 4922 NEW BEST:: SOT 12708752 SOS 5517509 HAS SOPS 5517509 HAS SOUS 452692 HAS SOUPS 452692 WITH SCORE 458209.509
AT ITER 4933 NEW BEST:: SOT 12708632 SOS 5517389 HAS SOPS 5517389 HAS SOUS 452572 HAS SOUPS 452572 WITH SCORE 458089.389
AT ITER 4961 NEW BEST:: SOT 12708605 SOS 5517308 HAS SOPS 5517308 HAS SOUS 452491 HAS SOUPS 452491 WITH SCORE 458008.308
AT ITER 4988 NEW BEST:: SOT 12708601 SOS 5517300 HAS SOPS 5517300 HAS SOUS 452483 HAS SOUPS 452483 WITH SCORE 458000.3
AT ITER 4996 NEW BEST:: SOT 12708572 SOS 5517242 HAS SOPS 5517242 HAS SOUS 452425 HAS SOUPS 452425 WITH SCORE 457942.242
AT ITER 4997 NEW BEST:: SOT 12708667 SOS 5517432 HAS SOPS 5517432 HAS SOUS 452392 HAS SOUPS 452392 WITH SCORE 457909.432
AT ITER 5012 NEW BEST:: SOT 12708613 SOS 5517324 HAS SOPS 5517324 HAS SOUS 452100 HAS SOUPS 452100 WITH SCORE 457617.324
AT ITER 5025 NEW BEST:: SOT 12708525 SOS 5517148 HAS SOPS 5517148 HAS SOUS 451924 HAS SOUPS 451924 WITH SCORE 457441.148
AT ITER 5036 NEW BEST:: SOT 12708431 SOS 5517054 HAS SOPS 5517054 HAS SOUS 451830 HAS SOUPS 451830 WITH SCORE 457347.054
AT ITER 5050 NEW BEST:: SOT 12708429 SOS 5517044 HAS SOPS 5517044 HAS SOUS 451819 HAS SOUPS 451819 WITH SCORE 457336.044
AT ITER 5054 NEW BEST:: SOT 12708411 SOS 5517008 HAS SOPS 5517008 HAS SOUS 451783 HAS SOUPS 451783 WITH SCORE 457300.008
AT ITER 5059 NEW BEST:: SOT 12708397 SOS 5516994 HAS SOPS 5516994 HAS SOUS 451769 HAS SOUPS 451769 WITH SCORE 457285.994
AT ITER 5084 NEW BEST:: SOT 12708397 SOS 5516994 HAS SOPS 5516994 HAS SOUS 451738 HAS SOUPS 451738 WITH SCORE 457254.994
AT ITER 5090 NEW BEST:: SOT 12708397 SOS 5516994 HAS SOPS 5516994 HAS SOUS 451734 HAS SOUPS 451734 WITH SCORE 457250.994
AT ITER 5096 NEW BEST:: SOT 12708189 SOS 5516578 HAS SOPS 5516578 HAS SOUS 451532 HAS SOUPS 451532 WITH SCORE 457048.578
AT ITER 5100 NEW BEST:: SOT 12708209 SOS 5516505 HAS SOPS 5516505 HAS SOUS 451459 HAS SOUPS 451459 WITH SCORE 456975.505
AT ITER 5120 NEW BEST:: SOT 12707912 SOS 5515911 HAS SOPS 5515911 HAS SOUS 450865 HAS SOUPS 450865 WITH SCORE 456380.911
AT ITER 5138 NEW BEST:: SOT 12707895 SOS 5515877 HAS SOPS 5515877 HAS SOUS 450831 HAS SOUPS 450831 WITH SCORE 456346.877
AT ITER 5152 NEW BEST:: SOT 12707765 SOS 5515617 HAS SOPS 5515617 HAS SOUS 450719 HAS SOUPS 450719 WITH SCORE 456234.617
AT ITER 5171 NEW BEST:: SOT 12707765 SOS 5515617 HAS SOPS 5515617 HAS SOUS 450704 HAS SOUPS 450704 WITH SCORE 456219.617
AT ITER 5185 NEW BEST:: SOT 12707693 SOS 5515473 HAS SOPS 5515473 HAS SOUS 450632 HAS SOUPS 450632 WITH SCORE 456147.473
AT ITER 5218 NEW BEST:: SOT 12707689 SOS 5515465 HAS SOPS 5515465 HAS SOUS 450624 HAS SOUPS 450624 WITH SCORE 456139.465
AT ITER 5259 NEW BEST:: SOT 12707520 SOS 5487911 HAS SOPS 5487911 HAS SOUS 450596 HAS SOUPS 450596 WITH SCORE 456083.911
AT ITER 5260 NEW BEST:: SOT 12707404 SOS 5487679 HAS SOPS 5487679 HAS SOUS 450539 HAS SOUPS 450539 WITH SCORE 456026.679
AT ITER 5355 NEW BEST:: SOT 12707281 SOS 5487433 HAS SOPS 5487433 HAS SOUS 450293 HAS SOUPS 450293 WITH SCORE 455780.433
AT ITER 5374 NEW BEST:: SOT 12707248 SOS 5487367 HAS SOPS 5487367 HAS SOUS 450227 HAS SOUPS 450227 WITH SCORE 455714.367
AT ITER 5388 NEW BEST:: SOT 12707129 SOS 5487129 HAS SOPS 5487129 HAS SOUS 449989 HAS SOUPS 449989 WITH SCORE 455476.129
AT ITER 5399 NEW BEST:: SOT 12707067 SOS 5487005 HAS SOPS 5487005 HAS SOUS 449865 HAS SOUPS 449865 WITH SCORE 455352.005
AT ITER 5411 NEW BEST:: SOT 12707040 SOS 5486951 HAS SOPS 5486951 HAS SOUS 449811 HAS SOUPS 449811 WITH SCORE 455297.951
AT ITER 5417 NEW BEST:: SOT 12706917 SOS 5486705 HAS SOPS 5486705 HAS SOUS 449565 HAS SOUPS 449565 WITH SCORE 455051.705
AT ITER 5430 NEW BEST:: SOT 12706875 SOS 5486621 HAS SOPS 5486621 HAS SOUS 449481 HAS SOUPS 449481 WITH SCORE 454967.621
AT ITER 5438 NEW BEST:: SOT 12706866 SOS 5486603 HAS SOPS 5486603 HAS SOUS 449463 HAS SOUPS 449463 WITH SCORE 454949.603
AT ITER 5476 NEW BEST:: SOT 12706827 SOS 5486525 HAS SOPS 5486525 HAS SOUS 449385 HAS SOUPS 449385 WITH SCORE 454871.525
AT ITER 5484 NEW BEST:: SOT 12706721 SOS 5079942 HAS SOPS 5079942 HAS SOUS 449412 HAS SOUPS 449412 WITH SCORE 454491.942
AT ITER 5504 NEW BEST:: SOT 12706585 SOS 5079670 HAS SOPS 5079670 HAS SOUS 449140 HAS SOUPS 449140 WITH SCORE 454219.67
AT ITER 5535 NEW BEST:: SOT 12706568 SOS 5079636 HAS SOPS 5079636 HAS SOUS 449106 HAS SOUPS 449106 WITH SCORE 454185.636
AT ITER 5542 NEW BEST:: SOT 12706386 SOS 5079272 HAS SOPS 5079272 HAS SOUS 448742 HAS SOUPS 448742 WITH SCORE 453821.272
AT ITER 5549 NEW BEST:: SOT 12706385 SOS 5079270 HAS SOPS 5079270 HAS SOUS 448740 HAS SOUPS 448740 WITH SCORE 453819.27
AT ITER 5564 NEW BEST:: SOT 12706077 SOS 5079870 HAS SOPS 5079870 HAS SOUS 448578 HAS SOUPS 448578 WITH SCORE 453657.87
AT ITER 5599 NEW BEST:: SOT 12706000 SOS 5079716 HAS SOPS 5079716 HAS SOUS 448501 HAS SOUPS 448501 WITH SCORE 453580.716
AT ITER 5601 NEW BEST:: SOT 12705997 SOS 5079520 HAS SOPS 5079520 HAS SOUS 448495 HAS SOUPS 448495 WITH SCORE 453574.52
AT ITER 5611 NEW BEST:: SOT 12706045 SOS 5079642 HAS SOPS 5079642 HAS SOUS 447823 HAS SOUPS 447823 WITH SCORE 452902.642
AT ITER 5617 NEW BEST:: SOT 12705990 SOS 5079532 HAS SOPS 5079532 HAS SOUS 447746 HAS SOUPS 447746 WITH SCORE 452825.532
AT ITER 5622 NEW BEST:: SOT 12705990 SOS 5079532 HAS SOPS 5079532 HAS SOUS 447725 HAS SOUPS 447725 WITH SCORE 452804.532
AT ITER 5639 NEW BEST:: SOT 12705967 SOS 5079486 HAS SOPS 5079486 HAS SOUS 447702 HAS SOUPS 447702 WITH SCORE 452781.486
AT ITER 5647 NEW BEST:: SOT 12705967 SOS 5079449 HAS SOPS 5079449 HAS SOUS 447702 HAS SOUPS 447702 WITH SCORE 452781.449
AT ITER 5655 NEW BEST:: SOT 12705818 SOS 5079151 HAS SOPS 5079151 HAS SOUS 447553 HAS SOUPS 447553 WITH SCORE 452632.151
AT ITER 5670 NEW BEST:: SOT 12705729 SOS 5078973 HAS SOPS 5078973 HAS SOUS 447491 HAS SOUPS 447491 WITH SCORE 452569.973
AT ITER 5672 NEW BEST:: SOT 12705597 SOS 5078709 HAS SOPS 5078709 HAS SOUS 447227 HAS SOUPS 447227 WITH SCORE 452305.709
AT ITER 5729 NEW BEST:: SOT 12705554 SOS 5078623 HAS SOPS 5078623 HAS SOUS 447141 HAS SOUPS 447141 WITH SCORE 452219.623
AT ITER 5738 NEW BEST:: SOT 12705513 SOS 5078541 HAS SOPS 5078541 HAS SOUS 447059 HAS SOUPS 447059 WITH SCORE 452137.541
AT ITER 5765 NEW BEST:: SOT 12705467 SOS 5078449 HAS SOPS 5078449 HAS SOUS 446967 HAS SOUPS 446967 WITH SCORE 452045.449
AT ITER 5771 NEW BEST:: SOT 12705447 SOS 5078409 HAS SOPS 5078409 HAS SOUS 446927 HAS SOUPS 446927 WITH SCORE 452005.409
AT ITER 5814 NEW BEST:: SOT 12705447 SOS 5078403 HAS SOPS 5078403 HAS SOUS 446927 HAS SOUPS 446927 WITH SCORE 452005.403
AT ITER 5822 NEW BEST:: SOT 12705443 SOS 5078399 HAS SOPS 5078399 HAS SOUS 446923 HAS SOUPS 446923 WITH SCORE 452001.399
AT ITER 5856 NEW BEST:: SOT 12705443 SOS 5078382 HAS SOPS 5078382 HAS SOUS 446906 HAS SOUPS 446906 WITH SCORE 451984.382
AT ITER 5861 NEW BEST:: SOT 12705347 SOS 5078190 HAS SOPS 5078190 HAS SOUS 446714 HAS SOUPS 446714 WITH SCORE 451792.19
AT ITER 5865 NEW BEST:: SOT 12705213 SOS 4996048 HAS SOPS 4996048 HAS SOUS 445842 HAS SOUPS 445842 WITH SCORE 450838.048
AT ITER 5885 NEW BEST:: SOT 12705212 SOS 4996046 HAS SOPS 4996046 HAS SOUS 445840 HAS SOUPS 445840 WITH SCORE 450836.046
AT ITER 5897 NEW BEST:: SOT 12696598 SOS 4987517 HAS SOPS 4987517 HAS SOUS 443695 HAS SOUPS 443695 WITH SCORE 448682.517
AT ITER 5934 NEW BEST:: SOT 12696596 SOS 4987513 HAS SOPS 4987513 HAS SOUS 443691 HAS SOUPS 443691 WITH SCORE 448678.513
AT ITER 5947 NEW BEST:: SOT 12696579 SOS 4987496 HAS SOPS 4987496 HAS SOUS 443674 HAS SOUPS 443674 WITH SCORE 448661.496
AT ITER 5996 NEW BEST:: SOT 12696441 SOS 4987220 HAS SOPS 4987220 HAS SOUS 443536 HAS SOUPS 443536 WITH SCORE 448523.22
AT ITER 6037 NEW BEST:: SOT 12696196 SOS 4986730 HAS SOPS 4986730 HAS SOUS 443046 HAS SOUPS 443046 WITH SCORE 448032.73
AT ITER 6056 NEW BEST:: SOT 12696127 SOS 4986592 HAS SOPS 4986592 HAS SOUS 443041 HAS SOUPS 443041 WITH SCORE 448027.592
AT ITER 6060 NEW BEST:: SOT 12696127 SOS 4986592 HAS SOPS 4986592 HAS SOUS 443003 HAS SOUPS 443003 WITH SCORE 447989.592
AT ITER 6084 NEW BEST:: SOT 12696111 SOS 4970000 HAS SOPS 4970000 HAS SOUS 442764 HAS SOUPS 442764 WITH SCORE 447734.0
AT ITER 6088 NEW BEST:: SOT 12696072 SOS 4969922 HAS SOPS 4969922 HAS SOUS 442720 HAS SOUPS 442720 WITH SCORE 447689.922
AT ITER 6143 NEW BEST:: SOT 12695997 SOS 4969866 HAS SOPS 4969866 HAS SOUS 442664 HAS SOUPS 442664 WITH SCORE 447633.866
AT ITER 6151 NEW BEST:: SOT 12695843 SOS 4969712 HAS SOPS 4969712 HAS SOUS 442510 HAS SOUPS 442510 WITH SCORE 447479.712
AT ITER 6174 NEW BEST:: SOT 12695816 SOS 4969658 HAS SOPS 4969658 HAS SOUS 442456 HAS SOUPS 442456 WITH SCORE 447425.658
AT ITER 6202 NEW BEST:: SOT 12695766 SOS 4969558 HAS SOPS 4969558 HAS SOUS 442356 HAS SOUPS 442356 WITH SCORE 447325.558
AT ITER 6214 NEW BEST:: SOT 12695741 SOS 4969508 HAS SOPS 4969508 HAS SOUS 442306 HAS SOUPS 442306 WITH SCORE 447275.508
AT ITER 6226 NEW BEST:: SOT 12695809 SOS 4969476 HAS SOPS 4969476 HAS SOUS 442290 HAS SOUPS 442290 WITH SCORE 447259.476
AT ITER 6235 NEW BEST:: SOT 12695725 SOS 4969308 HAS SOPS 4969308 HAS SOUS 442164 HAS SOUPS 442164 WITH SCORE 447133.308
AT ITER 6238 NEW BEST:: SOT 12695725 SOS 4969141 HAS SOPS 4969141 HAS SOUS 442164 HAS SOUPS 442164 WITH SCORE 447133.141
AT ITER 6245 NEW BEST:: SOT 12695864 SOS 4969419 HAS SOPS 4969419 HAS SOUS 442032 HAS SOUPS 442032 WITH SCORE 447001.419
AT ITER 6272 NEW BEST:: SOT 12695812 SOS 4969315 HAS SOPS 4969315 HAS SOUS 441928 HAS SOUPS 441928 WITH SCORE 446897.315
AT ITER 6276 NEW BEST:: SOT 12695773 SOS 4969237 HAS SOPS 4969237 HAS SOUS 441810 HAS SOUPS 441810 WITH SCORE 446779.237
AT ITER 6281 NEW BEST:: SOT 12695744 SOS 4969179 HAS SOPS 4969179 HAS SOUS 441752 HAS SOUPS 441752 WITH SCORE 446721.179
AT ITER 6298 NEW BEST:: SOT 12693044 SOS 4966479 HAS SOPS 4966479 HAS SOUS 439052 HAS SOUPS 439052 WITH SCORE 444018.479
AT ITER 6307 NEW BEST:: SOT 12692994 SOS 4966379 HAS SOPS 4966379 HAS SOUS 438952 HAS SOUPS 438952 WITH SCORE 443918.379
AT ITER 6310 NEW BEST:: SOT 12692994 SOS 4964282 HAS SOPS 4964282 HAS SOUS 437943 HAS SOUPS 437943 WITH SCORE 442907.282
AT ITER 6317 NEW BEST:: SOT 12692961 SOS 4964216 HAS SOPS 4964216 HAS SOUS 437877 HAS SOUPS 437877 WITH SCORE 442841.216
AT ITER 6331 NEW BEST:: SOT 12692942 SOS 4964178 HAS SOPS 4964178 HAS SOUS 437839 HAS SOUPS 437839 WITH SCORE 442803.178
AT ITER 6356 NEW BEST:: SOT 12692913 SOS 4964120 HAS SOPS 4964120 HAS SOUS 437781 HAS SOUPS 437781 WITH SCORE 442745.12
AT ITER 6357 NEW BEST:: SOT 12692811 SOS 4964036 HAS SOPS 4964036 HAS SOUS 437577 HAS SOUPS 437577 WITH SCORE 442541.036
AT ITER 6360 NEW BEST:: SOT 12692797 SOS 4964008 HAS SOPS 4964008 HAS SOUS 437549 HAS SOUPS 437549 WITH SCORE 442513.008
AT ITER 6385 NEW BEST:: SOT 12692789 SOS 4963966 HAS SOPS 4963966 HAS SOUS 437507 HAS SOUPS 437507 WITH SCORE 442470.966
AT ITER 6422 NEW BEST:: SOT 12692656 SOS 4963856 HAS SOPS 4963856 HAS SOUS 437424 HAS SOUPS 437424 WITH SCORE 442387.856
AT ITER 6445 NEW BEST:: SOT 12692656 SOS 4858880 HAS SOPS 4858880 HAS SOUS 437352 HAS SOUPS 437352 WITH SCORE 442210.88
AT ITER 6446 NEW BEST:: SOT 12692571 SOS 4831854 HAS SOPS 4831854 HAS SOUS 435367 HAS SOUPS 435367 WITH SCORE 440198.854
AT ITER 6477 NEW BEST:: SOT 12692539 SOS 4831806 HAS SOPS 4831806 HAS SOUS 435319 HAS SOUPS 435319 WITH SCORE 440150.806
AT ITER 6526 NEW BEST:: SOT 12692505 SOS 4831738 HAS SOPS 4831738 HAS SOUS 435251 HAS SOUPS 435251 WITH SCORE 440082.738
AT ITER 6534 NEW BEST:: SOT 12692146 SOS 4229595 HAS SOPS 4229595 HAS SOUS 434686 HAS SOUPS 434686 WITH SCORE 438915.595
AT ITER 6565 NEW BEST:: SOT 12692061 SOS 4229425 HAS SOPS 4229425 HAS SOUS 434516 HAS SOUPS 434516 WITH SCORE 438745.425
AT ITER 6567 NEW BEST:: SOT 12692040 SOS 4229404 HAS SOPS 4229404 HAS SOUS 434495 HAS SOUPS 434495 WITH SCORE 438724.404
AT ITER 6586 NEW BEST:: SOT 12691901 SOS 4229126 HAS SOPS 4229126 HAS SOUS 434217 HAS SOUPS 434217 WITH SCORE 438446.126
AT ITER 6596 NEW BEST:: SOT 12691809 SOS 4228942 HAS SOPS 4228942 HAS SOUS 434033 HAS SOUPS 434033 WITH SCORE 438261.942
AT ITER 6618 NEW BEST:: SOT 12691723 SOS 4228770 HAS SOPS 4228770 HAS SOUS 433861 HAS SOUPS 433861 WITH SCORE 438089.77
AT ITER 6632 NEW BEST:: SOT 12691597 SOS 4228518 HAS SOPS 4228518 HAS SOUS 433786 HAS SOUPS 433786 WITH SCORE 438014.518
AT ITER 6636 NEW BEST:: SOT 12691577 SOS 4215970 HAS SOPS 4215970 HAS SOUS 433594 HAS SOUPS 433594 WITH SCORE 437809.97
AT ITER 6668 NEW BEST:: SOT 12691510 SOS 4215836 HAS SOPS 4215836 HAS SOUS 433460 HAS SOUPS 433460 WITH SCORE 437675.836
AT ITER 6669 NEW BEST:: SOT 12691505 SOS 4215826 HAS SOPS 4215826 HAS SOUS 433450 HAS SOUPS 433450 WITH SCORE 437665.826
AT ITER 6671 NEW BEST:: SOT 12691495 SOS 4215816 HAS SOPS 4215816 HAS SOUS 433440 HAS SOUPS 433440 WITH SCORE 437655.816
AT ITER 6710 NEW BEST:: SOT 12691495 SOS 4215704 HAS SOPS 4215704 HAS SOUS 433440 HAS SOUPS 433440 WITH SCORE 437655.704
AT ITER 6838 NEW BEST:: SOT 12691597 SOS 4215693 HAS SOPS 4215693 HAS SOUS 433429 HAS SOUPS 433429 WITH SCORE 437644.693
AT ITER 6873 NEW BEST:: SOT 12691492 SOS 4215483 HAS SOPS 4215483 HAS SOUS 433172 HAS SOUPS 433172 WITH SCORE 437387.483
AT ITER 6887 NEW BEST:: SOT 12691404 SOS 3762910 HAS SOPS 3762910 HAS SOUS 433029 HAS SOUPS 433029 WITH SCORE 436791.91
AT ITER 6892 NEW BEST:: SOT 12691404 SOS 3762883 HAS SOPS 3762883 HAS SOUS 433029 HAS SOUPS 433029 WITH SCORE 436791.883
AT ITER 6898 NEW BEST:: SOT 12691345 SOS 3762765 HAS SOPS 3762765 HAS SOUS 432911 HAS SOUPS 432911 WITH SCORE 436673.765
AT ITER 6902 NEW BEST:: SOT 12691337 SOS 3762749 HAS SOPS 3762749 HAS SOUS 432895 HAS SOUPS 432895 WITH SCORE 436657.749
AT ITER 6921 NEW BEST:: SOT 12691338 SOS 3762751 HAS SOPS 3762751 HAS SOUS 432891 HAS SOUPS 432891 WITH SCORE 436653.751
AT ITER 6949 NEW BEST:: SOT 12691321 SOS 3762751 HAS SOPS 3762751 HAS SOUS 432874 HAS SOUPS 432874 WITH SCORE 436636.751
AT ITER 6959 NEW BEST:: SOT 12691320 SOS 3762749 HAS SOPS 3762749 HAS SOUS 432872 HAS SOUPS 432872 WITH SCORE 436634.749
AT ITER 6983 NEW BEST:: SOT 12691288 SOS 3762685 HAS SOPS 3762685 HAS SOUS 432808 HAS SOUPS 432808 WITH SCORE 436570.685
AT ITER 6992 NEW BEST:: SOT 12691286 SOS 3762681 HAS SOPS 3762681 HAS SOUS 432806 HAS SOUPS 432806 WITH SCORE 436568.681
AT ITER 7024 NEW BEST:: SOT 12691262 SOS 3762657 HAS SOPS 3762657 HAS SOUS 432782 HAS SOUPS 432782 WITH SCORE 436544.657
AT ITER 7078 NEW BEST:: SOT 12691254 SOS 3762641 HAS SOPS 3762641 HAS SOUS 432766 HAS SOUPS 432766 WITH SCORE 436528.641
AT ITER 7088 NEW BEST:: SOT 12691254 SOS 3756815 HAS SOPS 3756815 HAS SOUS 432748 HAS SOUPS 432748 WITH SCORE 436504.815
AT ITER 7089 NEW BEST:: SOT 12691199 SOS 3756705 HAS SOPS 3756705 HAS SOUS 432638 HAS SOUPS 432638 WITH SCORE 436394.705
AT ITER 7100 NEW BEST:: SOT 12691137 SOS 3629824 HAS SOPS 3629824 HAS SOUS 432491 HAS SOUPS 432491 WITH SCORE 436120.824
AT ITER 7143 NEW BEST:: SOT 12695984 SOS 3634591 HAS SOPS 3634591 HAS SOUS 423082 HAS SOUPS 423082 WITH SCORE 426716.591
AT ITER 7174 NEW BEST:: SOT 12695894 SOS 3485695 HAS SOPS 3485695 HAS SOUS 422567 HAS SOUPS 422567 WITH SCORE 426052.695
AT ITER 7186 NEW BEST:: SOT 12695892 SOS 3485691 HAS SOPS 3485691 HAS SOUS 422563 HAS SOUPS 422563 WITH SCORE 426048.691
AT ITER 7213 NEW BEST:: SOT 12695842 SOS 3485591 HAS SOPS 3485591 HAS SOUS 422463 HAS SOUPS 422463 WITH SCORE 425948.591
AT ITER 7225 NEW BEST:: SOT 12695830 SOS 3485567 HAS SOPS 3485567 HAS SOUS 422439 HAS SOUPS 422439 WITH SCORE 425924.567
AT ITER 7229 NEW BEST:: SOT 12695951 SOS 3485809 HAS SOPS 3485809 HAS SOUS 422372 HAS SOUPS 422372 WITH SCORE 425857.809
AT ITER 7266 NEW BEST:: SOT 12695946 SOS 3485773 HAS SOPS 3485773 HAS SOUS 422362 HAS SOUPS 422362 WITH SCORE 425847.773
AT ITER 7273 NEW BEST:: SOT 12695916 SOS 3485713 HAS SOPS 3485713 HAS SOUS 422302 HAS SOUPS 422302 WITH SCORE 425787.713
AT ITER 7276 NEW BEST:: SOT 12695894 SOS 3485691 HAS SOPS 3485691 HAS SOUS 422280 HAS SOUPS 422280 WITH SCORE 425765.691
AT ITER 7286 NEW BEST:: SOT 12695870 SOS 3485643 HAS SOPS 3485643 HAS SOUS 422232 HAS SOUPS 422232 WITH SCORE 425717.643
AT ITER 7310 NEW BEST:: SOT 12695821 SOS 3485545 HAS SOPS 3485545 HAS SOUS 422134 HAS SOUPS 422134 WITH SCORE 425619.545
AT ITER 7312 NEW BEST:: SOT 12695701 SOS 3485305 HAS SOPS 3485305 HAS SOUS 422014 HAS SOUPS 422014 WITH SCORE 425499.305
AT ITER 7329 NEW BEST:: SOT 12695745 SOS 3485323 HAS SOPS 3485323 HAS SOUS 422005 HAS SOUPS 422005 WITH SCORE 425490.323
AT ITER 7348 NEW BEST:: SOT 12695742 SOS 3485317 HAS SOPS 3485317 HAS SOUS 421999 HAS SOUPS 421999 WITH SCORE 425484.317
AT ITER 7352 NEW BEST:: SOT 12695738 SOS 3485309 HAS SOPS 3485309 HAS SOUS 421991 HAS SOUPS 421991 WITH SCORE 425476.309
AT ITER 7356 NEW BEST:: SOT 12695613 SOS 3485059 HAS SOPS 3485059 HAS SOUS 421741 HAS SOUPS 421741 WITH SCORE 425226.059
AT ITER 7368 NEW BEST:: SOT 12695460 SOS 3484753 HAS SOPS 3484753 HAS SOUS 421594 HAS SOUPS 421594 WITH SCORE 425078.753
AT ITER 7372 NEW BEST:: SOT 12689628 SOS 3478921 HAS SOPS 3478921 HAS SOUS 415762 HAS SOUPS 415762 WITH SCORE 419240.921
AT ITER 7378 NEW BEST:: SOT 12689595 SOS 3478855 HAS SOPS 3478855 HAS SOUS 415696 HAS SOUPS 415696 WITH SCORE 419174.855
AT ITER 7415 NEW BEST:: SOT 12689551 SOS 3478767 HAS SOPS 3478767 HAS SOUS 415608 HAS SOUPS 415608 WITH SCORE 419086.767
AT ITER 7421 NEW BEST:: SOT 12689449 SOS 3478268 HAS SOPS 3478268 HAS SOUS 415404 HAS SOUPS 415404 WITH SCORE 418882.268
AT ITER 7434 NEW BEST:: SOT 12689435 SOS 3478240 HAS SOPS 3478240 HAS SOUS 415390 HAS SOUPS 415390 WITH SCORE 418868.24
AT ITER 7455 NEW BEST:: SOT 12689315 SOS 3478000 HAS SOPS 3478000 HAS SOUS 415210 HAS SOUPS 415210 WITH SCORE 418688.0
AT ITER 7457 NEW BEST:: SOT 12689238 SOS 3477846 HAS SOPS 3477846 HAS SOUS 415056 HAS SOUPS 415056 WITH SCORE 418533.846
AT ITER 7469 NEW BEST:: SOT 12689077 SOS 3477684 HAS SOPS 3477684 HAS SOUS 414894 HAS SOUPS 414894 WITH SCORE 418371.684
AT ITER 7478 NEW BEST:: SOT 12689068 SOS 3477666 HAS SOPS 3477666 HAS SOUS 414876 HAS SOUPS 414876 WITH SCORE 418353.666
AT ITER 7547 NEW BEST:: SOT 12688986 SOS 3477502 HAS SOPS 3477502 HAS SOUS 414712 HAS SOUPS 414712 WITH SCORE 418189.502
AT ITER 7579 NEW BEST:: SOT 12688973 SOS 3477476 HAS SOPS 3477476 HAS SOUS 414686 HAS SOUPS 414686 WITH SCORE 418163.476
AT ITER 7657 NEW BEST:: SOT 12688962 SOS 3204204 HAS SOPS 3204204 HAS SOUS 414664 HAS SOUPS 414664 WITH SCORE 417868.204
AT ITER 7710 NEW BEST:: SOT 12688921 SOS 3204122 HAS SOPS 3204122 HAS SOUS 414575 HAS SOUPS 414575 WITH SCORE 417779.122
AT ITER 7716 NEW BEST:: SOT 12688851 SOS 3203982 HAS SOPS 3203982 HAS SOUS 414435 HAS SOUPS 414435 WITH SCORE 417638.982
AT ITER 7776 NEW BEST:: SOT 12688828 SOS 3203913 HAS SOPS 3203913 HAS SOUS 414389 HAS SOUPS 414389 WITH SCORE 417592.913
AT ITER 7786 NEW BEST:: SOT 12688613 SOS 3203483 HAS SOPS 3203483 HAS SOUS 414031 HAS SOUPS 414031 WITH SCORE 417234.483
AT ITER 7813 NEW BEST:: SOT 12688610 SOS 3203477 HAS SOPS 3203477 HAS SOUS 414028 HAS SOUPS 414028 WITH SCORE 417231.477
AT ITER 7828 NEW BEST:: SOT 12688596 SOS 3203449 HAS SOPS 3203449 HAS SOUS 413986 HAS SOUPS 413986 WITH SCORE 417189.449
AT ITER 7875 NEW BEST:: SOT 12688474 SOS 3203205 HAS SOPS 3203205 HAS SOUS 413742 HAS SOUPS 413742 WITH SCORE 416945.205
AT ITER 7890 NEW BEST:: SOT 12688407 SOS 3203071 HAS SOPS 3203071 HAS SOUS 413608 HAS SOUPS 413608 WITH SCORE 416811.071
AT ITER 7920 NEW BEST:: SOT 12688384 SOS 3203025 HAS SOPS 3203025 HAS SOUS 413562 HAS SOUPS 413562 WITH SCORE 416765.025
AT ITER 7941 NEW BEST:: SOT 12688375 SOS 3203007 HAS SOPS 3203007 HAS SOUS 413544 HAS SOUPS 413544 WITH SCORE 416747.007
AT ITER 7968 NEW BEST:: SOT 12688253 SOS 3202911 HAS SOPS 3202911 HAS SOUS 413422 HAS SOUPS 413422 WITH SCORE 416624.911
AT ITER 7988 NEW BEST:: SOT 12688243 SOS 3202926 HAS SOPS 3202926 HAS SOUS 413421 HAS SOUPS 413421 WITH SCORE 416623.926
AT ITER 8016 NEW BEST:: SOT 12688195 SOS 3202830 HAS SOPS 3202830 HAS SOUS 413378 HAS SOUPS 413378 WITH SCORE 416580.83
AT ITER 8039 NEW BEST:: SOT 12688167 SOS 3202774 HAS SOPS 3202774 HAS SOUS 413322 HAS SOUPS 413322 WITH SCORE 416524.774
AT ITER 8055 NEW BEST:: SOT 12688118 SOS 3202749 HAS SOPS 3202749 HAS SOUS 413294 HAS SOUPS 413294 WITH SCORE 416496.749
AT ITER 8075 NEW BEST:: SOT 12688118 SOS 3202727 HAS SOPS 3202727 HAS SOUS 413272 HAS SOUPS 413272 WITH SCORE 416474.727
AT ITER 8085 NEW BEST:: SOT 12688244 SOS 2980551 HAS SOPS 2980551 HAS SOUS 413320 HAS SOUPS 413320 WITH SCORE 416300.551
AT ITER 8086 NEW BEST:: SOT 12688225 SOS 2980513 HAS SOPS 2980513 HAS SOUS 413301 HAS SOUPS 413301 WITH SCORE 416281.513
AT ITER 8093 NEW BEST:: SOT 12688267 SOS 2979349 HAS SOPS 2979349 HAS SOUS 413239 HAS SOUPS 413239 WITH SCORE 416218.349
AT ITER 8094 NEW BEST:: SOT 12688215 SOS 2979245 HAS SOPS 2979245 HAS SOUS 413135 HAS SOUPS 413135 WITH SCORE 416114.245
AT ITER 8164 NEW BEST:: SOT 12688174 SOS 2979163 HAS SOPS 2979163 HAS SOUS 412893 HAS SOUPS 412893 WITH SCORE 415872.163
AT ITER 8195 NEW BEST:: SOT 12687958 SOS 2978984 HAS SOPS 2978984 HAS SOUS 412714 HAS SOUPS 412714 WITH SCORE 415692.984
AT ITER 8197 NEW BEST:: SOT 12687844 SOS 2978756 HAS SOPS 2978756 HAS SOUS 412486 HAS SOUPS 412486 WITH SCORE 415464.756
AT ITER 8199 NEW BEST:: SOT 12687816 SOS 2975724 HAS SOPS 2975724 HAS SOUS 410086 HAS SOUPS 410086 WITH SCORE 413061.724
AT ITER 8206 NEW BEST:: SOT 12687740 SOS 2975572 HAS SOPS 2975572 HAS SOUS 409934 HAS SOUPS 409934 WITH SCORE 412909.572
AT ITER 8233 NEW BEST:: SOT 12687737 SOS 2975566 HAS SOPS 2975566 HAS SOUS 409830 HAS SOUPS 409830 WITH SCORE 412805.566
AT ITER 8243 NEW BEST:: SOT 12687733 SOS 2975558 HAS SOPS 2975558 HAS SOUS 409822 HAS SOUPS 409822 WITH SCORE 412797.558
AT ITER 8274 NEW BEST:: SOT 12687725 SOS 2975542 HAS SOPS 2975542 HAS SOUS 409806 HAS SOUPS 409806 WITH SCORE 412781.542
AT ITER 8305 NEW BEST:: SOT 12687725 SOS 2975538 HAS SOPS 2975538 HAS SOUS 409806 HAS SOUPS 409806 WITH SCORE 412781.538
AT ITER 8342 NEW BEST:: SOT 12687699 SOS 2975486 HAS SOPS 2975486 HAS SOUS 409754 HAS SOUPS 409754 WITH SCORE 412729.486
AT ITER 8350 NEW BEST:: SOT 12687642 SOS 2975524 HAS SOPS 2975524 HAS SOUS 409725 HAS SOUPS 409725 WITH SCORE 412700.524
AT ITER 8356 NEW BEST:: SOT 12687637 SOS 2975514 HAS SOPS 2975514 HAS SOUS 409715 HAS SOUPS 409715 WITH SCORE 412690.514
AT ITER 8366 NEW BEST:: SOT 12687577 SOS 2975394 HAS SOPS 2975394 HAS SOUS 409661 HAS SOUPS 409661 WITH SCORE 412636.394
AT ITER 8386 NEW BEST:: SOT 12687565 SOS 2975370 HAS SOPS 2975370 HAS SOUS 409637 HAS SOUPS 409637 WITH SCORE 412612.37
AT ITER 8397 NEW BEST:: SOT 12687464 SOS 2975322 HAS SOPS 2975322 HAS SOUS 409589 HAS SOUPS 409589 WITH SCORE 412564.322
AT ITER 8413 NEW BEST:: SOT 12687460 SOS 2975314 HAS SOPS 2975314 HAS SOUS 409581 HAS SOUPS 409581 WITH SCORE 412556.314
AT ITER 8417 NEW BEST:: SOT 12687460 SOS 2975314 HAS SOPS 2975314 HAS SOUS 409536 HAS SOUPS 409536 WITH SCORE 412511.314
AT ITER 8430 NEW BEST:: SOT 12687335 SOS 2975238 HAS SOPS 2975238 HAS SOUS 409411 HAS SOUPS 409411 WITH SCORE 412386.238
AT ITER 8445 NEW BEST:: SOT 12687306 SOS 2975180 HAS SOPS 2975180 HAS SOUS 409353 HAS SOUPS 409353 WITH SCORE 412328.18
AT ITER 8456 NEW BEST:: SOT 12687262 SOS 2975092 HAS SOPS 2975092 HAS SOUS 409265 HAS SOUPS 409265 WITH SCORE 412240.092
AT ITER 8467 NEW BEST:: SOT 12687261 SOS 2975090 HAS SOPS 2975090 HAS SOUS 409263 HAS SOUPS 409263 WITH SCORE 412238.09
AT ITER 8488 NEW BEST:: SOT 12687260 SOS 2975088 HAS SOPS 2975088 HAS SOUS 409261 HAS SOUPS 409261 WITH SCORE 412236.088
AT ITER 8507 NEW BEST:: SOT 12687236 SOS 2975040 HAS SOPS 2975040 HAS SOUS 409213 HAS SOUPS 409213 WITH SCORE 412188.04
AT ITER 8528 NEW BEST:: SOT 12687230 SOS 2975102 HAS SOPS 2975102 HAS SOUS 409212 HAS SOUPS 409212 WITH SCORE 412187.102
AT ITER 8530 NEW BEST:: SOT 12687175 SOS 2975089 HAS SOPS 2975089 HAS SOUS 409184 HAS SOUPS 409184 WITH SCORE 412159.089
AT ITER 8568 NEW BEST:: SOT 12687170 SOS 2975079 HAS SOPS 2975079 HAS SOUS 409178 HAS SOUPS 409178 WITH SCORE 412153.079
AT ITER 8588 NEW BEST:: SOT 12687169 SOS 2975077 HAS SOPS 2975077 HAS SOUS 409176 HAS SOUPS 409176 WITH SCORE 412151.077
AT ITER 8605 NEW BEST:: SOT 12687164 SOS 2975067 HAS SOPS 2975067 HAS SOUS 409171 HAS SOUPS 409171 WITH SCORE 412146.067
AT ITER 8614 NEW BEST:: SOT 12687158 SOS 2975055 HAS SOPS 2975055 HAS SOUS 409159 HAS SOUPS 409159 WITH SCORE 412134.055
AT ITER 8670 NEW BEST:: SOT 12687087 SOS 2974913 HAS SOPS 2974913 HAS SOUS 409017 HAS SOUPS 409017 WITH SCORE 411991.913
AT ITER 8689 NEW BEST:: SOT 12687071 SOS 2974881 HAS SOPS 2974881 HAS SOUS 408985 HAS SOUPS 408985 WITH SCORE 411959.881
AT ITER 8696 NEW BEST:: SOT 12686904 SOS 2974547 HAS SOPS 2974547 HAS SOUS 408651 HAS SOUPS 408651 WITH SCORE 411625.547
AT ITER 8709 NEW BEST:: SOT 12686820 SOS 2974379 HAS SOPS 2974379 HAS SOUS 408483 HAS SOUPS 408483 WITH SCORE 411457.379
AT ITER 8713 NEW BEST:: SOT 12686688 SOS 2974115 HAS SOPS 2974115 HAS SOUS 408376 HAS SOUPS 408376 WITH SCORE 411350.115
AT ITER 8813 NEW BEST:: SOT 12686620 SOS 2973979 HAS SOPS 2973979 HAS SOUS 408240 HAS SOUPS 408240 WITH SCORE 411213.979
AT ITER 8842 NEW BEST:: SOT 12686601 SOS 2973941 HAS SOPS 2973941 HAS SOUS 408202 HAS SOUPS 408202 WITH SCORE 411175.941
AT ITER 8844 NEW BEST:: SOT 12686572 SOS 2973883 HAS SOPS 2973883 HAS SOUS 408144 HAS SOUPS 408144 WITH SCORE 411117.883
AT ITER 8859 NEW BEST:: SOT 12686620 SOS 2973979 HAS SOPS 2973979 HAS SOUS 408133 HAS SOUPS 408133 WITH SCORE 411106.979
AT ITER 8881 NEW BEST:: SOT 12686616 SOS 2973971 HAS SOPS 2973971 HAS SOUS 408129 HAS SOUPS 408129 WITH SCORE 411102.971
AT ITER 8885 NEW BEST:: SOT 12686555 SOS 2973849 HAS SOPS 2973849 HAS SOUS 407868 HAS SOUPS 407868 WITH SCORE 410841.849
AT ITER 8887 NEW BEST:: SOT 12686550 SOS 2973839 HAS SOPS 2973839 HAS SOUS 407828 HAS SOUPS 407828 WITH SCORE 410801.839
AT ITER 8913 NEW BEST:: SOT 12686537 SOS 2973813 HAS SOPS 2973813 HAS SOUS 407815 HAS SOUPS 407815 WITH SCORE 410788.813
AT ITER 8922 NEW BEST:: SOT 12686450 SOS 2973639 HAS SOPS 2973639 HAS SOUS 407641 HAS SOUPS 407641 WITH SCORE 410614.639
AT ITER 8945 NEW BEST:: SOT 12686436 SOS 2973611 HAS SOPS 2973611 HAS SOUS 407613 HAS SOUPS 407613 WITH SCORE 410586.611
AT ITER 8949 NEW BEST:: SOT 12686386 SOS 2973511 HAS SOPS 2973511 HAS SOUS 407513 HAS SOUPS 407513 WITH SCORE 410486.511
AT ITER 9020 NEW BEST:: SOT 12686298 SOS 2973430 HAS SOPS 2973430 HAS SOUS 407432 HAS SOUPS 407432 WITH SCORE 410405.43
AT ITER 9029 NEW BEST:: SOT 12686293 SOS 2973420 HAS SOPS 2973420 HAS SOUS 407427 HAS SOUPS 407427 WITH SCORE 410400.42
AT ITER 9054 NEW BEST:: SOT 12686273 SOS 2973380 HAS SOPS 2973380 HAS SOUS 407387 HAS SOUPS 407387 WITH SCORE 410360.38
AT ITER 9132 NEW BEST:: SOT 12686334 SOS 2973198 HAS SOPS 2973198 HAS SOUS 406840 HAS SOUPS 406840 WITH SCORE 409813.198
AT ITER 9162 NEW BEST:: SOT 12686304 SOS 2973138 HAS SOPS 2973138 HAS SOUS 406810 HAS SOUPS 406810 WITH SCORE 409783.138
AT ITER 9175 NEW BEST:: SOT 12686304 SOS 2973138 HAS SOPS 2973138 HAS SOUS 406797 HAS SOUPS 406797 WITH SCORE 409770.138
AT ITER 9205 NEW BEST:: SOT 12686264 SOS 2973078 HAS SOPS 2973078 HAS SOUS 406757 HAS SOUPS 406757 WITH SCORE 409730.078
AT ITER 9238 NEW BEST:: SOT 12686258 SOS 2973066 HAS SOPS 2973066 HAS SOUS 406745 HAS SOUPS 406745 WITH SCORE 409718.066
AT ITER 9271 NEW BEST:: SOT 12686254 SOS 2973058 HAS SOPS 2973058 HAS SOUS 406737 HAS SOUPS 406737 WITH SCORE 409710.058
AT ITER 9325 NEW BEST:: SOT 12686234 SOS 2973018 HAS SOPS 2973018 HAS SOUS 406697 HAS SOUPS 406697 WITH SCORE 409670.018
AT ITER 9372 NEW BEST:: SOT 12686226 SOS 2973002 HAS SOPS 2973002 HAS SOUS 406681 HAS SOUPS 406681 WITH SCORE 409654.002
AT ITER 9406 NEW BEST:: SOT 12686220 SOS 2972990 HAS SOPS 2972990 HAS SOUS 406669 HAS SOUPS 406669 WITH SCORE 409641.99
AT ITER 9416 NEW BEST:: SOT 12686166 SOS 2972936 HAS SOPS 2972936 HAS SOUS 406615 HAS SOUPS 406615 WITH SCORE 409587.936
AT ITER 9440 NEW BEST:: SOT 12686075 SOS 2972754 HAS SOPS 2972754 HAS SOUS 406433 HAS SOUPS 406433 WITH SCORE 409405.754
AT ITER 9521 NEW BEST:: SOT 12686075 SOS 2638317 HAS SOPS 2638317 HAS SOUS 406454 HAS SOUPS 406454 WITH SCORE 409092.317
AT ITER 9524 NEW BEST:: SOT 12686075 SOS 2638317 HAS SOPS 2638317 HAS SOUS 406430 HAS SOUPS 406430 WITH SCORE 409068.317
AT ITER 9557 NEW BEST:: SOT 12686053 SOS 2638317 HAS SOPS 2638317 HAS SOUS 406280 HAS SOUPS 406280 WITH SCORE 408918.317
AT ITER 9579 NEW BEST:: SOT 12686051 SOS 2638327 HAS SOPS 2638327 HAS SOUS 406276 HAS SOUPS 406276 WITH SCORE 408914.327
AT ITER 9585 NEW BEST:: SOT 12686051 SOS 2638248 HAS SOPS 2638248 HAS SOUS 406138 HAS SOUPS 406138 WITH SCORE 408776.248
AT ITER 9592 NEW BEST:: SOT 12686043 SOS 2638232 HAS SOPS 2638232 HAS SOUS 406122 HAS SOUPS 406122 WITH SCORE 408760.232
AT ITER 9631 NEW BEST:: SOT 12686027 SOS 2638184 HAS SOPS 2638184 HAS SOUS 406090 HAS SOUPS 406090 WITH SCORE 408728.184
AT ITER 9692 NEW BEST:: SOT 12686012 SOS 2638154 HAS SOPS 2638154 HAS SOUS 406060 HAS SOUPS 406060 WITH SCORE 408698.154
AT ITER 9774 NEW BEST:: SOT 12686015 SOS 2638160 HAS SOPS 2638160 HAS SOUS 405961 HAS SOUPS 405961 WITH SCORE 408599.16
AT ITER 9805 NEW BEST:: SOT 12686014 SOS 2638158 HAS SOPS 2638158 HAS SOUS 405959 HAS SOUPS 405959 WITH SCORE 408597.158
AT ITER 9812 NEW BEST:: SOT 12685987 SOS 2638077 HAS SOPS 2638077 HAS SOUS 405905 HAS SOUPS 405905 WITH SCORE 408543.077
AT ITER 9845 NEW BEST:: SOT 12685962 SOS 2638043 HAS SOPS 2638043 HAS SOUS 405871 HAS SOUPS 405871 WITH SCORE 408509.043
AT ITER 9858 NEW BEST:: SOT 12685955 SOS 2638029 HAS SOPS 2638029 HAS SOUS 405857 HAS SOUPS 405857 WITH SCORE 408495.029
AT ITER 9867 NEW BEST:: SOT 12685912 SOS 2637943 HAS SOPS 2637943 HAS SOUS 405771 HAS SOUPS 405771 WITH SCORE 408408.943
AT ITER 9889 NEW BEST:: SOT 12685903 SOS 2637925 HAS SOPS 2637925 HAS SOUS 405753 HAS SOUPS 405753 WITH SCORE 408390.925
AT ITER 9895 NEW BEST:: SOT 12685875 SOS 2637897 HAS SOPS 2637897 HAS SOUS 405725 HAS SOUPS 405725 WITH SCORE 408362.897
AT ITER 9915 NEW BEST:: SOT 12685922 SOS 2637991 HAS SOPS 2637991 HAS SOUS 405713 HAS SOUPS 405713 WITH SCORE 408350.991
AT ITER 9953 NEW BEST:: SOT 12685893 SOS 2637933 HAS SOPS 2637933 HAS SOUS 405655 HAS SOUPS 405655 WITH SCORE 408292.933
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15847764 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16066840 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-08b"
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-08b, 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-167912651600664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-08b.tgz
mv StigmergyElection-PT-08b 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 ;