About the Execution of Smart+red for CloudReconfiguration-PT-305
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4219.075 | 3600000.00 | 3632474.00 | 10002.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.r107-tall-167814483700040.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 CloudReconfiguration-PT-305, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483700040
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.4K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678317651903
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=CloudReconfiguration-PT-305
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 23:20:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 23:20:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 23:20:53] [INFO ] Load time of PNML (sax parser for PT used): 122 ms
[2023-03-08 23:20:53] [INFO ] Transformed 2585 places.
[2023-03-08 23:20:53] [INFO ] Transformed 3095 transitions.
[2023-03-08 23:20:53] [INFO ] Found NUPN structural information;
[2023-03-08 23:20:53] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 199 ms.
[2023-03-08 23:20:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 24 ms.
Total runtime 252 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 305
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 39 NEW BEST:: SOT 4443155 SOS 758706 HAS SOPS 758706 HAS SOUS 699728 HAS SOUPS 699728 WITH SCORE 700486.706
AT ITER 45 NEW BEST:: SOT 4442983 SOS 759184 HAS SOPS 759184 HAS SOUS 699616 HAS SOUPS 699616 WITH SCORE 700375.184
AT ITER 65 NEW BEST:: SOT 4442983 SOS 758944 HAS SOPS 758944 HAS SOUS 699615 HAS SOUPS 699615 WITH SCORE 700373.944
AT ITER 70 NEW BEST:: SOT 4442983 SOS 758875 HAS SOPS 758875 HAS SOUS 699615 HAS SOUPS 699615 WITH SCORE 700373.875
AT ITER 73 NEW BEST:: SOT 4442982 SOS 758873 HAS SOPS 758873 HAS SOUS 699613 HAS SOUPS 699613 WITH SCORE 700371.873
AT ITER 82 NEW BEST:: SOT 4442904 SOS 758795 HAS SOPS 758795 HAS SOUS 699535 HAS SOUPS 699535 WITH SCORE 700293.795
AT ITER 93 NEW BEST:: SOT 4442903 SOS 758793 HAS SOPS 758793 HAS SOUS 699533 HAS SOUPS 699533 WITH SCORE 700291.793
AT ITER 117 NEW BEST:: SOT 4442767 SOS 759205 HAS SOPS 759205 HAS SOUS 699397 HAS SOUPS 699397 WITH SCORE 700156.205
AT ITER 119 NEW BEST:: SOT 4441589 SOS 761175 HAS SOPS 761175 HAS SOUS 699045 HAS SOUPS 699045 WITH SCORE 699806.175
AT ITER 125 NEW BEST:: SOT 4441376 SOS 761031 HAS SOPS 761031 HAS SOUS 698867 HAS SOUPS 698867 WITH SCORE 699628.031
AT ITER 188 NEW BEST:: SOT 4441376 SOS 761031 HAS SOPS 761031 HAS SOUS 698690 HAS SOUPS 698690 WITH SCORE 699451.031
AT ITER 211 NEW BEST:: SOT 4441115 SOS 760509 HAS SOPS 760509 HAS SOUS 698168 HAS SOUPS 698168 WITH SCORE 698928.509
AT ITER 225 NEW BEST:: SOT 4441114 SOS 760507 HAS SOPS 760507 HAS SOUS 698166 HAS SOUPS 698166 WITH SCORE 698926.507
AT ITER 238 NEW BEST:: SOT 4441114 SOS 760192 HAS SOPS 760192 HAS SOUS 698166 HAS SOUPS 698166 WITH SCORE 698926.192
AT ITER 290 NEW BEST:: SOT 4441046 SOS 760265 HAS SOPS 760265 HAS SOUS 698098 HAS SOUPS 698098 WITH SCORE 698858.265
AT ITER 304 NEW BEST:: SOT 4440944 SOS 760265 HAS SOPS 760265 HAS SOUS 698047 HAS SOUPS 698047 WITH SCORE 698807.265
AT ITER 309 NEW BEST:: SOT 4440824 SOS 760025 HAS SOPS 760025 HAS SOUS 697807 HAS SOUPS 697807 WITH SCORE 698567.025
AT ITER 323 NEW BEST:: SOT 4441052 SOS 760034 HAS SOPS 760034 HAS SOUS 697609 HAS SOUPS 697609 WITH SCORE 698369.034
AT ITER 342 NEW BEST:: SOT 4441052 SOS 760034 HAS SOPS 760034 HAS SOUS 697521 HAS SOUPS 697521 WITH SCORE 698281.034
AT ITER 390 NEW BEST:: SOT 4441039 SOS 760021 HAS SOPS 760021 HAS SOUS 697508 HAS SOUPS 697508 WITH SCORE 698268.021
AT ITER 395 NEW BEST:: SOT 4440754 SOS 759799 HAS SOPS 759799 HAS SOUS 697286 HAS SOUPS 697286 WITH SCORE 698045.799
AT ITER 412 NEW BEST:: SOT 4440736 SOS 759799 HAS SOPS 759799 HAS SOUS 697280 HAS SOUPS 697280 WITH SCORE 698039.799
AT ITER 415 NEW BEST:: SOT 4440789 SOS 759501 HAS SOPS 759501 HAS SOUS 697183 HAS SOUPS 697183 WITH SCORE 697942.501
AT ITER 437 NEW BEST:: SOT 4440789 SOS 759501 HAS SOPS 759501 HAS SOUS 697173 HAS SOUPS 697173 WITH SCORE 697932.501
AT ITER 441 NEW BEST:: SOT 4440770 SOS 759490 HAS SOPS 759490 HAS SOUS 697154 HAS SOUPS 697154 WITH SCORE 697913.49
AT ITER 444 NEW BEST:: SOT 4440654 SOS 759258 HAS SOPS 759258 HAS SOUS 696922 HAS SOUPS 696922 WITH SCORE 697681.258
AT ITER 541 NEW BEST:: SOT 4440508 SOS 759112 HAS SOPS 759112 HAS SOUS 696776 HAS SOUPS 696776 WITH SCORE 697535.112
AT ITER 556 NEW BEST:: SOT 4440507 SOS 759110 HAS SOPS 759110 HAS SOUS 696774 HAS SOUPS 696774 WITH SCORE 697533.11
AT ITER 584 NEW BEST:: SOT 4440506 SOS 759108 HAS SOPS 759108 HAS SOUS 696772 HAS SOUPS 696772 WITH SCORE 697531.108
AT ITER 604 NEW BEST:: SOT 4439812 SOS 758414 HAS SOPS 758414 HAS SOUS 696078 HAS SOUPS 696078 WITH SCORE 696836.414
AT ITER 610 NEW BEST:: SOT 4439811 SOS 758412 HAS SOPS 758412 HAS SOUS 696076 HAS SOUPS 696076 WITH SCORE 696834.412
AT ITER 611 NEW BEST:: SOT 4439811 SOS 758249 HAS SOPS 758249 HAS SOUS 696076 HAS SOUPS 696076 WITH SCORE 696834.249
AT ITER 622 NEW BEST:: SOT 4439188 SOS 757564 HAS SOPS 757564 HAS SOUS 695301 HAS SOUPS 695301 WITH SCORE 696058.564
AT ITER 631 NEW BEST:: SOT 4439613 SOS 757212 HAS SOPS 757212 HAS SOUS 695290 HAS SOUPS 695290 WITH SCORE 696047.212
AT ITER 635 NEW BEST:: SOT 4439613 SOS 757212 HAS SOPS 757212 HAS SOUS 695287 HAS SOUPS 695287 WITH SCORE 696044.212
AT ITER 642 NEW BEST:: SOT 4439613 SOS 757212 HAS SOPS 757212 HAS SOUS 695160 HAS SOUPS 695160 WITH SCORE 695917.212
AT ITER 658 NEW BEST:: SOT 4439376 SOS 756991 HAS SOPS 756991 HAS SOUS 694934 HAS SOUPS 694934 WITH SCORE 695690.991
AT ITER 673 NEW BEST:: SOT 4439273 SOS 756785 HAS SOPS 756785 HAS SOUS 694627 HAS SOUPS 694627 WITH SCORE 695383.785
AT ITER 674 NEW BEST:: SOT 4439191 SOS 756731 HAS SOPS 756731 HAS SOUS 694495 HAS SOUPS 694495 WITH SCORE 695251.731
AT ITER 696 NEW BEST:: SOT 4439191 SOS 756646 HAS SOPS 756646 HAS SOUS 694494 HAS SOUPS 694494 WITH SCORE 695250.646
AT ITER 734 NEW BEST:: SOT 4439204 SOS 756672 HAS SOPS 756672 HAS SOUS 694412 HAS SOUPS 694412 WITH SCORE 695168.672
AT ITER 756 NEW BEST:: SOT 4439139 SOS 756877 HAS SOPS 756877 HAS SOUS 694172 HAS SOUPS 694172 WITH SCORE 694928.877
AT ITER 761 NEW BEST:: SOT 4439139 SOS 756695 HAS SOPS 756695 HAS SOUS 693990 HAS SOUPS 693990 WITH SCORE 694746.695
AT ITER 792 NEW BEST:: SOT 4439139 SOS 756634 HAS SOPS 756634 HAS SOUS 693929 HAS SOUPS 693929 WITH SCORE 694685.634
AT ITER 797 NEW BEST:: SOT 4438963 SOS 756282 HAS SOPS 756282 HAS SOUS 693577 HAS SOUPS 693577 WITH SCORE 694333.282
AT ITER 803 NEW BEST:: SOT 4438671 SOS 755698 HAS SOPS 755698 HAS SOUS 693285 HAS SOUPS 693285 WITH SCORE 694040.698
AT ITER 815 NEW BEST:: SOT 4438167 SOS 756770 HAS SOPS 756770 HAS SOUS 692996 HAS SOUPS 692996 WITH SCORE 693752.77
AT ITER 824 NEW BEST:: SOT 4438116 SOS 756517 HAS SOPS 756517 HAS SOUS 692747 HAS SOUPS 692747 WITH SCORE 693503.517
AT ITER 829 NEW BEST:: SOT 4438116 SOS 756504 HAS SOPS 756504 HAS SOUS 692747 HAS SOUPS 692747 WITH SCORE 693503.504
AT ITER 834 NEW BEST:: SOT 4438115 SOS 756502 HAS SOPS 756502 HAS SOUS 692745 HAS SOUPS 692745 WITH SCORE 693501.502
AT ITER 837 NEW BEST:: SOT 4437827 SOS 755926 HAS SOPS 755926 HAS SOUS 692169 HAS SOUPS 692169 WITH SCORE 692924.926
AT ITER 867 NEW BEST:: SOT 4437770 SOS 755812 HAS SOPS 755812 HAS SOUS 692055 HAS SOUPS 692055 WITH SCORE 692810.812
AT ITER 871 NEW BEST:: SOT 4437795 SOS 755446 HAS SOPS 755446 HAS SOUS 691694 HAS SOUPS 691694 WITH SCORE 692449.446
AT ITER 895 NEW BEST:: SOT 4437572 SOS 755249 HAS SOPS 755249 HAS SOUS 691497 HAS SOUPS 691497 WITH SCORE 692252.249
AT ITER 915 NEW BEST:: SOT 4437355 SOS 755135 HAS SOPS 755135 HAS SOUS 691258 HAS SOUPS 691258 WITH SCORE 692013.135
AT ITER 925 NEW BEST:: SOT 4437073 SOS 754883 HAS SOPS 754883 HAS SOUS 691006 HAS SOUPS 691006 WITH SCORE 691760.883
AT ITER 926 NEW BEST:: SOT 4437073 SOS 754549 HAS SOPS 754549 HAS SOUS 690839 HAS SOUPS 690839 WITH SCORE 691593.549
AT ITER 943 NEW BEST:: SOT 4436853 SOS 754523 HAS SOPS 754523 HAS SOUS 690727 HAS SOUPS 690727 WITH SCORE 691481.523
AT ITER 948 NEW BEST:: SOT 4436853 SOS 754349 HAS SOPS 754349 HAS SOUS 690553 HAS SOUPS 690553 WITH SCORE 691307.349
AT ITER 955 NEW BEST:: SOT 4436571 SOS 753785 HAS SOPS 753785 HAS SOUS 689989 HAS SOUPS 689989 WITH SCORE 690742.785
AT ITER 1004 NEW BEST:: SOT 4436191 SOS 753405 HAS SOPS 753405 HAS SOUS 689609 HAS SOUPS 689609 WITH SCORE 690362.405
AT ITER 1035 NEW BEST:: SOT 4436191 SOS 753405 HAS SOPS 753405 HAS SOUS 689377 HAS SOUPS 689377 WITH SCORE 690130.405
AT ITER 1037 NEW BEST:: SOT 4436191 SOS 753230 HAS SOPS 753230 HAS SOUS 689377 HAS SOUPS 689377 WITH SCORE 690130.23
AT ITER 1058 NEW BEST:: SOT 4435714 SOS 753746 HAS SOPS 753746 HAS SOUS 688956 HAS SOUPS 688956 WITH SCORE 689709.746
AT ITER 1064 NEW BEST:: SOT 4435714 SOS 753746 HAS SOPS 753746 HAS SOUS 688747 HAS SOUPS 688747 WITH SCORE 689500.746
AT ITER 1096 NEW BEST:: SOT 4435665 SOS 753762 HAS SOPS 753762 HAS SOUS 688731 HAS SOUPS 688731 WITH SCORE 689484.762
AT ITER 1104 NEW BEST:: SOT 4435425 SOS 753705 HAS SOPS 753705 HAS SOUS 688529 HAS SOUPS 688529 WITH SCORE 689282.705
AT ITER 1111 NEW BEST:: SOT 4435343 SOS 753631 HAS SOPS 753631 HAS SOUS 688447 HAS SOUPS 688447 WITH SCORE 689200.631
AT ITER 1141 NEW BEST:: SOT 4435346 SOS 753637 HAS SOPS 753637 HAS SOUS 688164 HAS SOUPS 688164 WITH SCORE 688917.637
AT ITER 1155 NEW BEST:: SOT 4435264 SOS 753473 HAS SOPS 753473 HAS SOUS 688000 HAS SOUPS 688000 WITH SCORE 688753.473
AT ITER 1171 NEW BEST:: SOT 4434903 SOS 753111 HAS SOPS 753111 HAS SOUS 687638 HAS SOUPS 687638 WITH SCORE 688391.111
AT ITER 1180 NEW BEST:: SOT 4434692 SOS 753111 HAS SOPS 753111 HAS SOUS 687216 HAS SOUPS 687216 WITH SCORE 687969.111
AT ITER 1208 NEW BEST:: SOT 4434838 SOS 752900 HAS SOPS 752900 HAS SOUS 687147 HAS SOUPS 687147 WITH SCORE 687899.9
AT ITER 1280 NEW BEST:: SOT 4434795 SOS 752814 HAS SOPS 752814 HAS SOUS 687104 HAS SOUPS 687104 WITH SCORE 687856.814
AT ITER 1305 NEW BEST:: SOT 4434601 SOS 752620 HAS SOPS 752620 HAS SOUS 686910 HAS SOUPS 686910 WITH SCORE 687662.62
AT ITER 1366 NEW BEST:: SOT 4434601 SOS 752515 HAS SOPS 752515 HAS SOUS 686805 HAS SOUPS 686805 WITH SCORE 687557.515
AT ITER 1376 NEW BEST:: SOT 4434497 SOS 752411 HAS SOPS 752411 HAS SOUS 686701 HAS SOUPS 686701 WITH SCORE 687453.411
AT ITER 1380 NEW BEST:: SOT 4433379 SOS 753038 HAS SOPS 753038 HAS SOUS 685885 HAS SOUPS 685885 WITH SCORE 686638.038
AT ITER 1403 NEW BEST:: SOT 4433347 SOS 753006 HAS SOPS 753006 HAS SOUS 685884 HAS SOUPS 685884 WITH SCORE 686637.006
AT ITER 1421 NEW BEST:: SOT 4433312 SOS 752936 HAS SOPS 752936 HAS SOUS 685849 HAS SOUPS 685849 WITH SCORE 686601.936
AT ITER 1423 NEW BEST:: SOT 4433014 SOS 752834 HAS SOPS 752834 HAS SOUS 685570 HAS SOUPS 685570 WITH SCORE 686322.834
AT ITER 1426 NEW BEST:: SOT 4432879 SOS 752860 HAS SOPS 752860 HAS SOUS 685186 HAS SOUPS 685186 WITH SCORE 685938.86
AT ITER 1461 NEW BEST:: SOT 4432879 SOS 752682 HAS SOPS 752682 HAS SOUS 685185 HAS SOUPS 685185 WITH SCORE 685937.682
AT ITER 1467 NEW BEST:: SOT 4433168 SOS 752795 HAS SOPS 752795 HAS SOUS 685009 HAS SOUPS 685009 WITH SCORE 685761.795
AT ITER 1482 NEW BEST:: SOT 4433008 SOS 752475 HAS SOPS 752475 HAS SOUS 684689 HAS SOUPS 684689 WITH SCORE 685441.475
AT ITER 1515 NEW BEST:: SOT 4433008 SOS 752475 HAS SOPS 752475 HAS SOUS 684688 HAS SOUPS 684688 WITH SCORE 685440.475
AT ITER 1517 NEW BEST:: SOT 4432655 SOS 752744 HAS SOPS 752744 HAS SOUS 684420 HAS SOUPS 684420 WITH SCORE 685172.744
AT ITER 1553 NEW BEST:: SOT 4432631 SOS 752696 HAS SOPS 752696 HAS SOUS 684372 HAS SOUPS 684372 WITH SCORE 685124.696
AT ITER 1583 NEW BEST:: SOT 4432611 SOS 752656 HAS SOPS 752656 HAS SOUS 684332 HAS SOUPS 684332 WITH SCORE 685084.656
AT ITER 1585 NEW BEST:: SOT 4422390 SOS 773290 HAS SOPS 773290 HAS SOUS 675311 HAS SOUPS 675311 WITH SCORE 676084.29
AT ITER 1612 NEW BEST:: SOT 4422389 SOS 773288 HAS SOPS 773288 HAS SOUS 675309 HAS SOUPS 675309 WITH SCORE 676082.288
AT ITER 1616 NEW BEST:: SOT 4422389 SOS 773223 HAS SOPS 773223 HAS SOUS 675309 HAS SOUPS 675309 WITH SCORE 676082.223
AT ITER 1636 NEW BEST:: SOT 4422362 SOS 773338 HAS SOPS 773338 HAS SOUS 675282 HAS SOUPS 675282 WITH SCORE 676055.338
AT ITER 1645 NEW BEST:: SOT 4422437 SOS 773188 HAS SOPS 773188 HAS SOUS 675282 HAS SOUPS 675282 WITH SCORE 676055.188
AT ITER 1660 NEW BEST:: SOT 4422392 SOS 773143 HAS SOPS 773143 HAS SOUS 675237 HAS SOUPS 675237 WITH SCORE 676010.143
AT ITER 1676 NEW BEST:: SOT 4422391 SOS 773141 HAS SOPS 773141 HAS SOUS 675235 HAS SOUPS 675235 WITH SCORE 676008.141
AT ITER 1689 NEW BEST:: SOT 4422377 SOS 773113 HAS SOPS 773113 HAS SOUS 675207 HAS SOUPS 675207 WITH SCORE 675980.113
AT ITER 1692 NEW BEST:: SOT 4422439 SOS 773237 HAS SOPS 773237 HAS SOUS 675065 HAS SOUPS 675065 WITH SCORE 675838.237
AT ITER 1703 NEW BEST:: SOT 4422439 SOS 773237 HAS SOPS 773237 HAS SOUS 674998 HAS SOUPS 674998 WITH SCORE 675771.237
AT ITER 1710 NEW BEST:: SOT 4422339 SOS 773037 HAS SOPS 773037 HAS SOUS 674798 HAS SOUPS 674798 WITH SCORE 675571.037
AT ITER 1767 NEW BEST:: SOT 4422214 SOS 772650 HAS SOPS 772650 HAS SOUS 674536 HAS SOUPS 674536 WITH SCORE 675308.65
AT ITER 1769 NEW BEST:: SOT 4422013 SOS 772248 HAS SOPS 772248 HAS SOUS 674134 HAS SOUPS 674134 WITH SCORE 674906.248
AT ITER 1783 NEW BEST:: SOT 4421873 SOS 771968 HAS SOPS 771968 HAS SOUS 673854 HAS SOUPS 673854 WITH SCORE 674625.968
AT ITER 1786 NEW BEST:: SOT 4421945 SOS 772012 HAS SOPS 772012 HAS SOUS 673732 HAS SOUPS 673732 WITH SCORE 674504.012
AT ITER 1792 NEW BEST:: SOT 4422317 SOS 771796 HAS SOPS 771796 HAS SOUS 673624 HAS SOUPS 673624 WITH SCORE 674395.796
AT ITER 1801 NEW BEST:: SOT 4422041 SOS 771722 HAS SOPS 771722 HAS SOUS 673417 HAS SOUPS 673417 WITH SCORE 674188.722
AT ITER 1806 NEW BEST:: SOT 4422041 SOS 771722 HAS SOPS 771722 HAS SOUS 673357 HAS SOUPS 673357 WITH SCORE 674128.722
AT ITER 1848 NEW BEST:: SOT 4422041 SOS 771493 HAS SOPS 771493 HAS SOUS 673356 HAS SOUPS 673356 WITH SCORE 674127.493
AT ITER 1856 NEW BEST:: SOT 4421804 SOS 771019 HAS SOPS 771019 HAS SOUS 672882 HAS SOUPS 672882 WITH SCORE 673653.019
AT ITER 1868 NEW BEST:: SOT 4421804 SOS 770599 HAS SOPS 770599 HAS SOUS 672672 HAS SOUPS 672672 WITH SCORE 673442.599
AT ITER 1880 NEW BEST:: SOT 4421804 SOS 770599 HAS SOPS 770599 HAS SOUS 672385 HAS SOUPS 672385 WITH SCORE 673155.599
AT ITER 1889 NEW BEST:: SOT 4421756 SOS 770503 HAS SOPS 770503 HAS SOUS 672178 HAS SOUPS 672178 WITH SCORE 672948.503
AT ITER 1893 NEW BEST:: SOT 4421610 SOS 770211 HAS SOPS 770211 HAS SOUS 672032 HAS SOUPS 672032 WITH SCORE 672802.211
AT ITER 1937 NEW BEST:: SOT 4421387 SOS 769765 HAS SOPS 769765 HAS SOUS 671809 HAS SOUPS 671809 WITH SCORE 672578.765
AT ITER 1948 NEW BEST:: SOT 4421379 SOS 769749 HAS SOPS 769749 HAS SOUS 671801 HAS SOUPS 671801 WITH SCORE 672570.749
AT ITER 1975 NEW BEST:: SOT 4421262 SOS 769632 HAS SOPS 769632 HAS SOUS 671684 HAS SOUPS 671684 WITH SCORE 672453.632
AT ITER 2008 NEW BEST:: SOT 4421399 SOS 769572 HAS SOPS 769572 HAS SOUS 671624 HAS SOUPS 671624 WITH SCORE 672393.572
AT ITER 2012 NEW BEST:: SOT 4421150 SOS 769449 HAS SOPS 769449 HAS SOUS 671450 HAS SOUPS 671450 WITH SCORE 672219.449
AT ITER 2017 NEW BEST:: SOT 4420888 SOS 769107 HAS SOPS 769107 HAS SOUS 671108 HAS SOUPS 671108 WITH SCORE 671877.107
AT ITER 2051 NEW BEST:: SOT 4420815 SOS 768961 HAS SOPS 768961 HAS SOUS 671004 HAS SOUPS 671004 WITH SCORE 671772.961
AT ITER 2055 NEW BEST:: SOT 4420581 SOS 768782 HAS SOPS 768782 HAS SOUS 670770 HAS SOUPS 670770 WITH SCORE 671538.782
AT ITER 2075 NEW BEST:: SOT 4420581 SOS 768776 HAS SOPS 768776 HAS SOUS 670770 HAS SOUPS 670770 WITH SCORE 671538.776
AT ITER 2104 NEW BEST:: SOT 4420581 SOS 768776 HAS SOPS 768776 HAS SOUS 670452 HAS SOUPS 670452 WITH SCORE 671220.776
AT ITER 2116 NEW BEST:: SOT 4420581 SOS 768776 HAS SOPS 768776 HAS SOUS 670216 HAS SOUPS 670216 WITH SCORE 670984.776
AT ITER 2121 NEW BEST:: SOT 4420315 SOS 768510 HAS SOPS 768510 HAS SOUS 669950 HAS SOUPS 669950 WITH SCORE 670718.51
AT ITER 2126 NEW BEST:: SOT 4420315 SOS 768510 HAS SOPS 768510 HAS SOUS 669939 HAS SOUPS 669939 WITH SCORE 670707.51
AT ITER 2147 NEW BEST:: SOT 4420315 SOS 768279 HAS SOPS 768279 HAS SOUS 669708 HAS SOUPS 669708 WITH SCORE 670476.279
AT ITER 2167 NEW BEST:: SOT 4420266 SOS 768279 HAS SOPS 768279 HAS SOUS 669659 HAS SOUPS 669659 WITH SCORE 670427.279
AT ITER 2168 NEW BEST:: SOT 4420286 SOS 768319 HAS SOPS 768319 HAS SOUS 669430 HAS SOUPS 669430 WITH SCORE 670198.319
AT ITER 2171 NEW BEST:: SOT 4420370 SOS 768487 HAS SOPS 768487 HAS SOUS 669117 HAS SOUPS 669117 WITH SCORE 669885.487
AT ITER 2172 NEW BEST:: SOT 4420369 SOS 768485 HAS SOPS 768485 HAS SOUS 669115 HAS SOUPS 669115 WITH SCORE 669883.485
AT ITER 2182 NEW BEST:: SOT 4420307 SOS 768361 HAS SOPS 768361 HAS SOUS 669053 HAS SOUPS 669053 WITH SCORE 669821.361
AT ITER 2188 NEW BEST:: SOT 4420181 SOS 768235 HAS SOPS 768235 HAS SOUS 668927 HAS SOUPS 668927 WITH SCORE 669695.235
AT ITER 2226 NEW BEST:: SOT 4420725 SOS 768452 HAS SOPS 768452 HAS SOUS 668926 HAS SOUPS 668926 WITH SCORE 669694.452
AT ITER 2241 NEW BEST:: SOT 4420424 SOS 768296 HAS SOPS 768296 HAS SOUS 668700 HAS SOUPS 668700 WITH SCORE 669468.296
AT ITER 2262 NEW BEST:: SOT 4420417 SOS 768289 HAS SOPS 768289 HAS SOUS 668700 HAS SOUPS 668700 WITH SCORE 669468.289
AT ITER 2274 NEW BEST:: SOT 4420391 SOS 767758 HAS SOPS 767758 HAS SOUS 668368 HAS SOUPS 668368 WITH SCORE 669135.758
AT ITER 2282 NEW BEST:: SOT 4420357 SOS 767690 HAS SOPS 767690 HAS SOUS 668334 HAS SOUPS 668334 WITH SCORE 669101.69
AT ITER 2287 NEW BEST:: SOT 4420357 SOS 767363 HAS SOPS 767363 HAS SOUS 668175 HAS SOUPS 668175 WITH SCORE 668942.363
AT ITER 2293 NEW BEST:: SOT 4420307 SOS 767263 HAS SOPS 767263 HAS SOUS 668075 HAS SOUPS 668075 WITH SCORE 668842.263
AT ITER 2297 NEW BEST:: SOT 4420307 SOS 767277 HAS SOPS 767277 HAS SOUS 668061 HAS SOUPS 668061 WITH SCORE 668828.277
AT ITER 2332 NEW BEST:: SOT 4416472 SOS 773502 HAS SOPS 773502 HAS SOUS 664955 HAS SOUPS 664955 WITH SCORE 665728.502
AT ITER 2355 NEW BEST:: SOT 4416452 SOS 773556 HAS SOPS 773556 HAS SOUS 664890 HAS SOUPS 664890 WITH SCORE 665663.556
AT ITER 2380 NEW BEST:: SOT 4413977 SOS 772211 HAS SOPS 772211 HAS SOUS 662322 HAS SOUPS 662322 WITH SCORE 663094.211
AT ITER 2402 NEW BEST:: SOT 4413794 SOS 771845 HAS SOPS 771845 HAS SOUS 661956 HAS SOUPS 661956 WITH SCORE 662727.845
AT ITER 2417 NEW BEST:: SOT 4413873 SOS 771769 HAS SOPS 771769 HAS SOUS 661880 HAS SOUPS 661880 WITH SCORE 662651.769
AT ITER 2419 NEW BEST:: SOT 4413907 SOS 771837 HAS SOPS 771837 HAS SOUS 661733 HAS SOUPS 661733 WITH SCORE 662504.837
AT ITER 2424 NEW BEST:: SOT 4413907 SOS 771701 HAS SOPS 771701 HAS SOUS 661733 HAS SOUPS 661733 WITH SCORE 662504.701
AT ITER 2444 NEW BEST:: SOT 4413859 SOS 771657 HAS SOPS 771657 HAS SOUS 661637 HAS SOUPS 661637 WITH SCORE 662408.657
AT ITER 2465 NEW BEST:: SOT 4413494 SOS 771291 HAS SOPS 771291 HAS SOUS 661396 HAS SOUPS 661396 WITH SCORE 662167.291
AT ITER 2481 NEW BEST:: SOT 4413485 SOS 771273 HAS SOPS 771273 HAS SOUS 661387 HAS SOUPS 661387 WITH SCORE 662158.273
AT ITER 2487 NEW BEST:: SOT 4413182 SOS 771287 HAS SOPS 771287 HAS SOUS 661084 HAS SOUPS 661084 WITH SCORE 661855.287
AT ITER 2493 NEW BEST:: SOT 4413182 SOS 771287 HAS SOPS 771287 HAS SOUS 661018 HAS SOUPS 661018 WITH SCORE 661789.287
AT ITER 2519 NEW BEST:: SOT 4413182 SOS 770849 HAS SOPS 770849 HAS SOUS 660587 HAS SOUPS 660587 WITH SCORE 661357.849
AT ITER 2527 NEW BEST:: SOT 4413181 SOS 770847 HAS SOPS 770847 HAS SOUS 660585 HAS SOUPS 660585 WITH SCORE 661355.847
AT ITER 2547 NEW BEST:: SOT 4412823 SOS 770310 HAS SOPS 770310 HAS SOUS 660048 HAS SOUPS 660048 WITH SCORE 660818.31
AT ITER 2563 NEW BEST:: SOT 4412823 SOS 770177 HAS SOPS 770177 HAS SOUS 660048 HAS SOUPS 660048 WITH SCORE 660818.177
AT ITER 2582 NEW BEST:: SOT 4412823 SOS 769857 HAS SOPS 769857 HAS SOUS 659888 HAS SOUPS 659888 WITH SCORE 660657.857
AT ITER 2593 NEW BEST:: SOT 4412838 SOS 769825 HAS SOPS 769825 HAS SOUS 659856 HAS SOUPS 659856 WITH SCORE 660625.825
AT ITER 2610 NEW BEST:: SOT 4412683 SOS 769676 HAS SOPS 769676 HAS SOUS 659701 HAS SOUPS 659701 WITH SCORE 660470.676
AT ITER 2619 NEW BEST:: SOT 4412593 SOS 769571 HAS SOPS 769571 HAS SOUS 659596 HAS SOUPS 659596 WITH SCORE 660365.571
AT ITER 2629 NEW BEST:: SOT 4412563 SOS 769511 HAS SOPS 769511 HAS SOUS 659536 HAS SOUPS 659536 WITH SCORE 660305.511
AT ITER 2648 NEW BEST:: SOT 4412562 SOS 769509 HAS SOPS 769509 HAS SOUS 659535 HAS SOUPS 659535 WITH SCORE 660304.509
AT ITER 2656 NEW BEST:: SOT 4412541 SOS 769467 HAS SOPS 769467 HAS SOUS 659493 HAS SOUPS 659493 WITH SCORE 660262.467
AT ITER 2669 NEW BEST:: SOT 4412361 SOS 769322 HAS SOPS 769322 HAS SOUS 659348 HAS SOUPS 659348 WITH SCORE 660117.322
AT ITER 2681 NEW BEST:: SOT 4412153 SOS 769114 HAS SOPS 769114 HAS SOUS 659140 HAS SOUPS 659140 WITH SCORE 659909.114
AT ITER 2682 NEW BEST:: SOT 4412068 SOS 768944 HAS SOPS 768944 HAS SOUS 658970 HAS SOUPS 658970 WITH SCORE 659738.944
AT ITER 2713 NEW BEST:: SOT 4412068 SOS 768941 HAS SOPS 768941 HAS SOUS 658970 HAS SOUPS 658970 WITH SCORE 659738.941
AT ITER 2716 NEW BEST:: SOT 4411850 SOS 768723 HAS SOPS 768723 HAS SOUS 658970 HAS SOUPS 658970 WITH SCORE 659738.723
AT ITER 2742 NEW BEST:: SOT 4411894 SOS 768811 HAS SOPS 768811 HAS SOUS 658554 HAS SOUPS 658554 WITH SCORE 659322.811
AT ITER 2778 NEW BEST:: SOT 4411564 SOS 768677 HAS SOPS 768677 HAS SOUS 658368 HAS SOUPS 658368 WITH SCORE 659136.677
AT ITER 2781 NEW BEST:: SOT 4411541 SOS 768631 HAS SOPS 768631 HAS SOUS 658322 HAS SOUPS 658322 WITH SCORE 659090.631
AT ITER 2790 NEW BEST:: SOT 4411332 SOS 767881 HAS SOPS 767881 HAS SOUS 657792 HAS SOUPS 657792 WITH SCORE 658559.881
AT ITER 2792 NEW BEST:: SOT 4411332 SOS 767923 HAS SOPS 767923 HAS SOUS 657750 HAS SOUPS 657750 WITH SCORE 658517.923
AT ITER 2798 NEW BEST:: SOT 4406463 SOS 815580 HAS SOPS 815580 HAS SOUS 656078 HAS SOUPS 656078 WITH SCORE 656893.58
AT ITER 2824 NEW BEST:: SOT 4406458 SOS 815570 HAS SOPS 815570 HAS SOUS 656068 HAS SOUPS 656068 WITH SCORE 656883.57
AT ITER 2826 NEW BEST:: SOT 4406203 SOS 815060 HAS SOPS 815060 HAS SOUS 655558 HAS SOUPS 655558 WITH SCORE 656373.06
AT ITER 2839 NEW BEST:: SOT 4405949 SOS 814552 HAS SOPS 814552 HAS SOUS 655424 HAS SOUPS 655424 WITH SCORE 656238.552
AT ITER 2840 NEW BEST:: SOT 4405654 SOS 813962 HAS SOPS 813962 HAS SOUS 654834 HAS SOUPS 654834 WITH SCORE 655647.962
AT ITER 2883 NEW BEST:: SOT 4405510 SOS 813674 HAS SOPS 813674 HAS SOUS 654546 HAS SOUPS 654546 WITH SCORE 655359.674
AT ITER 2891 NEW BEST:: SOT 4405482 SOS 813646 HAS SOPS 813646 HAS SOUS 654518 HAS SOUPS 654518 WITH SCORE 655331.646
AT ITER 2932 NEW BEST:: SOT 4405482 SOS 813627 HAS SOPS 813627 HAS SOUS 654518 HAS SOUPS 654518 WITH SCORE 655331.627
AT ITER 2958 NEW BEST:: SOT 4405394 SOS 813451 HAS SOPS 813451 HAS SOUS 654342 HAS SOUPS 654342 WITH SCORE 655155.451
AT ITER 2961 NEW BEST:: SOT 4405143 SOS 813200 HAS SOPS 813200 HAS SOUS 654091 HAS SOUPS 654091 WITH SCORE 654904.2
AT ITER 2965 NEW BEST:: SOT 4405131 SOS 813176 HAS SOPS 813176 HAS SOUS 654067 HAS SOUPS 654067 WITH SCORE 654880.176
AT ITER 3013 NEW BEST:: SOT 4404581 SOS 812546 HAS SOPS 812546 HAS SOUS 653674 HAS SOUPS 653674 WITH SCORE 654486.546
AT ITER 3058 NEW BEST:: SOT 4404595 SOS 812574 HAS SOPS 812574 HAS SOUS 653540 HAS SOUPS 653540 WITH SCORE 654352.574
AT ITER 3086 NEW BEST:: SOT 4404490 SOS 812364 HAS SOPS 812364 HAS SOUS 653330 HAS SOUPS 653330 WITH SCORE 654142.364
AT ITER 3116 NEW BEST:: SOT 4404490 SOS 812351 HAS SOPS 812351 HAS SOUS 653317 HAS SOUPS 653317 WITH SCORE 654129.351
AT ITER 3118 NEW BEST:: SOT 4404582 SOS 812535 HAS SOPS 812535 HAS SOUS 653127 HAS SOUPS 653127 WITH SCORE 653939.535
AT ITER 3126 NEW BEST:: SOT 4404440 SOS 812251 HAS SOPS 812251 HAS SOUS 652912 HAS SOUPS 652912 WITH SCORE 653724.251
AT ITER 3136 NEW BEST:: SOT 4404434 SOS 812246 HAS SOPS 812246 HAS SOUS 652907 HAS SOUPS 652907 WITH SCORE 653719.246
AT ITER 3137 NEW BEST:: SOT 4404072 SOS 811745 HAS SOPS 811745 HAS SOUS 652322 HAS SOUPS 652322 WITH SCORE 653133.745
AT ITER 3163 NEW BEST:: SOT 4403308 SOS 811162 HAS SOPS 811162 HAS SOUS 651601 HAS SOUPS 651601 WITH SCORE 652412.162
AT ITER 3169 NEW BEST:: SOT 4403275 SOS 811096 HAS SOPS 811096 HAS SOUS 651535 HAS SOUPS 651535 WITH SCORE 652346.096
AT ITER 3185 NEW BEST:: SOT 4403106 SOS 811058 HAS SOPS 811058 HAS SOUS 651438 HAS SOUPS 651438 WITH SCORE 652249.058
AT ITER 3191 NEW BEST:: SOT 4403084 SOS 811014 HAS SOPS 811014 HAS SOUS 651416 HAS SOUPS 651416 WITH SCORE 652227.014
AT ITER 3199 NEW BEST:: SOT 4403083 SOS 811012 HAS SOPS 811012 HAS SOUS 651414 HAS SOUPS 651414 WITH SCORE 652225.012
AT ITER 3211 NEW BEST:: SOT 4403065 SOS 810976 HAS SOPS 810976 HAS SOUS 651282 HAS SOUPS 651282 WITH SCORE 652092.976
AT ITER 3219 NEW BEST:: SOT 4403065 SOS 810803 HAS SOPS 810803 HAS SOUS 651274 HAS SOUPS 651274 WITH SCORE 652084.803
AT ITER 3223 NEW BEST:: SOT 4402880 SOS 810645 HAS SOPS 810645 HAS SOUS 651116 HAS SOUPS 651116 WITH SCORE 651926.645
AT ITER 3227 NEW BEST:: SOT 4402880 SOS 810727 HAS SOPS 810727 HAS SOUS 651034 HAS SOUPS 651034 WITH SCORE 651844.727
AT ITER 3229 NEW BEST:: SOT 4402879 SOS 810523 HAS SOPS 810523 HAS SOUS 651032 HAS SOUPS 651032 WITH SCORE 651842.523
AT ITER 3240 NEW BEST:: SOT 4402748 SOS 810771 HAS SOPS 810771 HAS SOUS 650965 HAS SOUPS 650965 WITH SCORE 651775.771
AT ITER 3272 NEW BEST:: SOT 4402550 SOS 810375 HAS SOPS 810375 HAS SOUS 650569 HAS SOUPS 650569 WITH SCORE 651379.375
AT ITER 3289 NEW BEST:: SOT 4402550 SOS 809877 HAS SOPS 809877 HAS SOUS 650569 HAS SOUPS 650569 WITH SCORE 651378.877
AT ITER 3307 NEW BEST:: SOT 4402391 SOS 809841 HAS SOPS 809841 HAS SOUS 650496 HAS SOUPS 650496 WITH SCORE 651305.841
AT ITER 3355 NEW BEST:: SOT 4402102 SOS 809263 HAS SOPS 809263 HAS SOUS 649918 HAS SOUPS 649918 WITH SCORE 650727.263
AT ITER 3366 NEW BEST:: SOT 4402107 SOS 809049 HAS SOPS 809049 HAS SOUS 649813 HAS SOUPS 649813 WITH SCORE 650622.049
AT ITER 3387 NEW BEST:: SOT 4401950 SOS 808972 HAS SOPS 808972 HAS SOUS 649736 HAS SOUPS 649736 WITH SCORE 650544.972
AT ITER 3395 NEW BEST:: SOT 4401794 SOS 808660 HAS SOPS 808660 HAS SOUS 649424 HAS SOUPS 649424 WITH SCORE 650232.66
AT ITER 3409 NEW BEST:: SOT 4401794 SOS 808474 HAS SOPS 808474 HAS SOUS 649424 HAS SOUPS 649424 WITH SCORE 650232.474
AT ITER 3426 NEW BEST:: SOT 4401794 SOS 808331 HAS SOPS 808331 HAS SOUS 649424 HAS SOUPS 649424 WITH SCORE 650232.331
AT ITER 3437 NEW BEST:: SOT 4401729 SOS 808049 HAS SOPS 808049 HAS SOUS 649207 HAS SOUPS 649207 WITH SCORE 650015.049
AT ITER 3453 NEW BEST:: SOT 4401681 SOS 807953 HAS SOPS 807953 HAS SOUS 649111 HAS SOUPS 649111 WITH SCORE 649918.953
AT ITER 3461 NEW BEST:: SOT 4401550 SOS 807850 HAS SOPS 807850 HAS SOUS 648859 HAS SOUPS 648859 WITH SCORE 649666.85
AT ITER 3472 NEW BEST:: SOT 4401550 SOS 807727 HAS SOPS 807727 HAS SOUS 648736 HAS SOUPS 648736 WITH SCORE 649543.727
AT ITER 3489 NEW BEST:: SOT 4401550 SOS 807727 HAS SOPS 807727 HAS SOUS 648733 HAS SOUPS 648733 WITH SCORE 649540.727
AT ITER 3496 NEW BEST:: SOT 4401041 SOS 807874 HAS SOPS 807874 HAS SOUS 648457 HAS SOUPS 648457 WITH SCORE 649264.874
AT ITER 3498 NEW BEST:: SOT 4401039 SOS 807870 HAS SOPS 807870 HAS SOUS 648457 HAS SOUPS 648457 WITH SCORE 649264.87
AT ITER 3507 NEW BEST:: SOT 4400988 SOS 807768 HAS SOPS 807768 HAS SOUS 648406 HAS SOUPS 648406 WITH SCORE 649213.768
AT ITER 3515 NEW BEST:: SOT 4400619 SOS 807912 HAS SOPS 807912 HAS SOUS 648233 HAS SOUPS 648233 WITH SCORE 649040.912
AT ITER 3522 NEW BEST:: SOT 4400619 SOS 807708 HAS SOPS 807708 HAS SOUS 648233 HAS SOUPS 648233 WITH SCORE 649040.708
AT ITER 3576 NEW BEST:: SOT 4400592 SOS 807654 HAS SOPS 807654 HAS SOUS 648179 HAS SOUPS 648179 WITH SCORE 648986.654
AT ITER 3606 NEW BEST:: SOT 4400592 SOS 807654 HAS SOPS 807654 HAS SOUS 648169 HAS SOUPS 648169 WITH SCORE 648976.654
AT ITER 3628 NEW BEST:: SOT 4400207 SOS 807269 HAS SOPS 807269 HAS SOUS 647784 HAS SOUPS 647784 WITH SCORE 648591.269
AT ITER 3641 NEW BEST:: SOT 4400124 SOS 807103 HAS SOPS 807103 HAS SOUS 647701 HAS SOUPS 647701 WITH SCORE 648508.103
AT ITER 3644 NEW BEST:: SOT 4400066 SOS 806987 HAS SOPS 806987 HAS SOUS 647692 HAS SOUPS 647692 WITH SCORE 648498.987
AT ITER 3657 NEW BEST:: SOT 4400004 SOS 806863 HAS SOPS 806863 HAS SOUS 647630 HAS SOUPS 647630 WITH SCORE 648436.863
AT ITER 3702 NEW BEST:: SOT 4399849 SOS 806553 HAS SOPS 806553 HAS SOUS 647475 HAS SOUPS 647475 WITH SCORE 648281.553
AT ITER 3706 NEW BEST:: SOT 4399849 SOS 806391 HAS SOPS 806391 HAS SOUS 647475 HAS SOUPS 647475 WITH SCORE 648281.391
AT ITER 3715 NEW BEST:: SOT 4399691 SOS 806075 HAS SOPS 806075 HAS SOUS 647159 HAS SOUPS 647159 WITH SCORE 647965.075
AT ITER 3732 NEW BEST:: SOT 4399713 SOS 806119 HAS SOPS 806119 HAS SOUS 646913 HAS SOUPS 646913 WITH SCORE 647719.119
AT ITER 3765 NEW BEST:: SOT 4399754 SOS 806201 HAS SOPS 806201 HAS SOUS 646800 HAS SOUPS 646800 WITH SCORE 647606.201
AT ITER 3768 NEW BEST:: SOT 4399754 SOS 806201 HAS SOPS 806201 HAS SOUS 646673 HAS SOUPS 646673 WITH SCORE 647479.201
AT ITER 3789 NEW BEST:: SOT 4399619 SOS 805931 HAS SOPS 805931 HAS SOUS 646403 HAS SOUPS 646403 WITH SCORE 647208.931
AT ITER 3808 NEW BEST:: SOT 4397819 SOS 804640 HAS SOPS 804640 HAS SOUS 645111 HAS SOUPS 645111 WITH SCORE 645915.64
AT ITER 3837 NEW BEST:: SOT 4397564 SOS 804640 HAS SOPS 804640 HAS SOUS 645108 HAS SOUPS 645108 WITH SCORE 645912.64
AT ITER 3841 NEW BEST:: SOT 4397564 SOS 804587 HAS SOPS 804587 HAS SOUS 645055 HAS SOUPS 645055 WITH SCORE 645859.587
AT ITER 3886 NEW BEST:: SOT 4397564 SOS 804574 HAS SOPS 804574 HAS SOUS 645042 HAS SOUPS 645042 WITH SCORE 645846.574
AT ITER 3902 NEW BEST:: SOT 4397271 SOS 803988 HAS SOPS 803988 HAS SOUS 644648 HAS SOUPS 644648 WITH SCORE 645451.988
AT ITER 3914 NEW BEST:: SOT 4396900 SOS 803562 HAS SOPS 803562 HAS SOUS 644107 HAS SOUPS 644107 WITH SCORE 644910.562
AT ITER 3924 NEW BEST:: SOT 4395050 SOS 815109 HAS SOPS 815109 HAS SOUS 642982 HAS SOUPS 642982 WITH SCORE 643797.109
AT ITER 3927 NEW BEST:: SOT 4395045 SOS 815111 HAS SOPS 815111 HAS SOUS 642980 HAS SOUPS 642980 WITH SCORE 643795.111
AT ITER 3936 NEW BEST:: SOT 4394841 SOS 814703 HAS SOPS 814703 HAS SOUS 642865 HAS SOUPS 642865 WITH SCORE 643679.703
AT ITER 3967 NEW BEST:: SOT 4394631 SOS 814563 HAS SOPS 814563 HAS SOUS 642725 HAS SOUPS 642725 WITH SCORE 643539.563
AT ITER 4028 NEW BEST:: SOT 4394601 SOS 814533 HAS SOPS 814533 HAS SOUS 642695 HAS SOUPS 642695 WITH SCORE 643509.533
AT ITER 4047 NEW BEST:: SOT 4394573 SOS 814533 HAS SOPS 814533 HAS SOUS 642667 HAS SOUPS 642667 WITH SCORE 643481.533
AT ITER 4056 NEW BEST:: SOT 4394542 SOS 814813 HAS SOPS 814813 HAS SOUS 642605 HAS SOUPS 642605 WITH SCORE 643419.813
AT ITER 4065 NEW BEST:: SOT 4394530 SOS 814789 HAS SOPS 814789 HAS SOUS 642593 HAS SOUPS 642593 WITH SCORE 643407.789
AT ITER 4091 NEW BEST:: SOT 4394295 SOS 814319 HAS SOPS 814319 HAS SOUS 642123 HAS SOUPS 642123 WITH SCORE 642937.319
AT ITER 4098 NEW BEST:: SOT 4394299 SOS 814035 HAS SOPS 814035 HAS SOUS 641842 HAS SOUPS 641842 WITH SCORE 642656.035
AT ITER 4126 NEW BEST:: SOT 4394218 SOS 813873 HAS SOPS 813873 HAS SOUS 641802 HAS SOUPS 641802 WITH SCORE 642615.873
AT ITER 4160 NEW BEST:: SOT 4394319 SOS 813631 HAS SOPS 813631 HAS SOUS 641334 HAS SOUPS 641334 WITH SCORE 642147.631
AT ITER 4167 NEW BEST:: SOT 4394347 SOS 813687 HAS SOPS 813687 HAS SOUS 641092 HAS SOUPS 641092 WITH SCORE 641905.687
AT ITER 4180 NEW BEST:: SOT 4394259 SOS 813511 HAS SOPS 813511 HAS SOUS 640938 HAS SOUPS 640938 WITH SCORE 641751.511
AT ITER 4207 NEW BEST:: SOT 4394259 SOS 813311 HAS SOPS 813311 HAS SOUS 640938 HAS SOUPS 640938 WITH SCORE 641751.311
AT ITER 4240 NEW BEST:: SOT 4394042 SOS 813316 HAS SOPS 813316 HAS SOUS 640808 HAS SOUPS 640808 WITH SCORE 641621.316
AT ITER 4255 NEW BEST:: SOT 4394023 SOS 813278 HAS SOPS 813278 HAS SOUS 640786 HAS SOUPS 640786 WITH SCORE 641599.278
AT ITER 4271 NEW BEST:: SOT 4393686 SOS 812604 HAS SOPS 812604 HAS SOUS 640112 HAS SOUPS 640112 WITH SCORE 640924.604
AT ITER 4275 NEW BEST:: SOT 4393686 SOS 812439 HAS SOPS 812439 HAS SOUS 639947 HAS SOUPS 639947 WITH SCORE 640759.439
AT ITER 4280 NEW BEST:: SOT 4393628 SOS 812594 HAS SOPS 812594 HAS SOUS 639884 HAS SOUPS 639884 WITH SCORE 640696.594
AT ITER 4289 NEW BEST:: SOT 4393481 SOS 812300 HAS SOPS 812300 HAS SOUS 639884 HAS SOUPS 639884 WITH SCORE 640696.3
AT ITER 4292 NEW BEST:: SOT 4393289 SOS 812108 HAS SOPS 812108 HAS SOUS 639692 HAS SOUPS 639692 WITH SCORE 640504.108
AT ITER 4319 NEW BEST:: SOT 4393239 SOS 812008 HAS SOPS 812008 HAS SOUS 639592 HAS SOUPS 639592 WITH SCORE 640404.008
AT ITER 4323 NEW BEST:: SOT 4385879 SOS 816864 HAS SOPS 816864 HAS SOUS 633437 HAS SOUPS 633437 WITH SCORE 634253.864
AT ITER 4324 NEW BEST:: SOT 4385879 SOS 816667 HAS SOPS 816667 HAS SOUS 633437 HAS SOUPS 633437 WITH SCORE 634253.667
AT ITER 4335 NEW BEST:: SOT 4385131 SOS 816438 HAS SOPS 816438 HAS SOUS 632756 HAS SOUPS 632756 WITH SCORE 633572.438
AT ITER 4341 NEW BEST:: SOT 4385735 SOS 816408 HAS SOPS 816408 HAS SOUS 632745 HAS SOUPS 632745 WITH SCORE 633561.408
AT ITER 4348 NEW BEST:: SOT 4385673 SOS 816284 HAS SOPS 816284 HAS SOUS 632649 HAS SOUPS 632649 WITH SCORE 633465.284
AT ITER 4356 NEW BEST:: SOT 4385673 SOS 815778 HAS SOPS 815778 HAS SOUS 632396 HAS SOUPS 632396 WITH SCORE 633211.778
AT ITER 4373 NEW BEST:: SOT 4385673 SOS 815778 HAS SOPS 815778 HAS SOUS 632395 HAS SOUPS 632395 WITH SCORE 633210.778
AT ITER 4383 NEW BEST:: SOT 4385622 SOS 815633 HAS SOPS 815633 HAS SOUS 632301 HAS SOUPS 632301 WITH SCORE 633116.633
AT ITER 4396 NEW BEST:: SOT 4385466 SOS 815321 HAS SOPS 815321 HAS SOUS 631989 HAS SOUPS 631989 WITH SCORE 632804.321
AT ITER 4409 NEW BEST:: SOT 4385460 SOS 815309 HAS SOPS 815309 HAS SOUS 631977 HAS SOUPS 631977 WITH SCORE 632792.309
AT ITER 4417 NEW BEST:: SOT 4384960 SOS 814655 HAS SOPS 814655 HAS SOUS 631662 HAS SOUPS 631662 WITH SCORE 632476.655
AT ITER 4422 NEW BEST:: SOT 4384960 SOS 814532 HAS SOPS 814532 HAS SOUS 631662 HAS SOUPS 631662 WITH SCORE 632476.532
AT ITER 4445 NEW BEST:: SOT 4380255 SOS 858462 HAS SOPS 858462 HAS SOUS 629153 HAS SOUPS 629153 WITH SCORE 630011.462
AT ITER 4446 NEW BEST:: SOT 4379986 SOS 857924 HAS SOPS 857924 HAS SOUS 629107 HAS SOUPS 629107 WITH SCORE 629964.924
AT ITER 4473 NEW BEST:: SOT 4379986 SOS 857795 HAS SOPS 857795 HAS SOUS 629107 HAS SOUPS 629107 WITH SCORE 629964.795
AT ITER 4499 NEW BEST:: SOT 4380002 SOS 857827 HAS SOPS 857827 HAS SOUS 629013 HAS SOUPS 629013 WITH SCORE 629870.827
AT ITER 4507 NEW BEST:: SOT 4379172 SOS 857922 HAS SOPS 857922 HAS SOUS 628410 HAS SOUPS 628410 WITH SCORE 629267.922
AT ITER 4557 NEW BEST:: SOT 4379144 SOS 857866 HAS SOPS 857866 HAS SOUS 628382 HAS SOUPS 628382 WITH SCORE 629239.866
AT ITER 4565 NEW BEST:: SOT 4379144 SOS 857791 HAS SOPS 857791 HAS SOUS 628382 HAS SOUPS 628382 WITH SCORE 629239.791
AT ITER 4569 NEW BEST:: SOT 4379144 SOS 857791 HAS SOPS 857791 HAS SOUS 628367 HAS SOUPS 628367 WITH SCORE 629224.791
AT ITER 4576 NEW BEST:: SOT 4379095 SOS 857750 HAS SOPS 857750 HAS SOUS 628325 HAS SOUPS 628325 WITH SCORE 629182.75
AT ITER 4585 NEW BEST:: SOT 4379085 SOS 857730 HAS SOPS 857730 HAS SOUS 628305 HAS SOUPS 628305 WITH SCORE 629162.73
AT ITER 4605 NEW BEST:: SOT 4378857 SOS 857274 HAS SOPS 857274 HAS SOUS 628224 HAS SOUPS 628224 WITH SCORE 629081.274
AT ITER 4607 NEW BEST:: SOT 4378823 SOS 857113 HAS SOPS 857113 HAS SOUS 628190 HAS SOUPS 628190 WITH SCORE 629047.113
AT ITER 4633 NEW BEST:: SOT 4378711 SOS 856889 HAS SOPS 856889 HAS SOUS 627925 HAS SOUPS 627925 WITH SCORE 628781.889
AT ITER 4645 NEW BEST:: SOT 4378741 SOS 856968 HAS SOPS 856968 HAS SOUS 627916 HAS SOUPS 627916 WITH SCORE 628772.968
AT ITER 4647 NEW BEST:: SOT 4378697 SOS 856880 HAS SOPS 856880 HAS SOUS 627872 HAS SOUPS 627872 WITH SCORE 628728.88
AT ITER 4662 NEW BEST:: SOT 4378635 SOS 856890 HAS SOPS 856890 HAS SOUS 627748 HAS SOUPS 627748 WITH SCORE 628604.89
AT ITER 4679 NEW BEST:: SOT 4378497 SOS 856614 HAS SOPS 856614 HAS SOUS 627699 HAS SOUPS 627699 WITH SCORE 628555.614
AT ITER 4713 NEW BEST:: SOT 4378483 SOS 856621 HAS SOPS 856621 HAS SOUS 627692 HAS SOUPS 627692 WITH SCORE 628548.621
AT ITER 4718 NEW BEST:: SOT 4377816 SOS 807184 HAS SOPS 807184 HAS SOUS 626417 HAS SOUPS 626417 WITH SCORE 627224.184
AT ITER 4737 NEW BEST:: SOT 4377813 SOS 807178 HAS SOPS 807178 HAS SOUS 626411 HAS SOUPS 626411 WITH SCORE 627218.178
AT ITER 4795 NEW BEST:: SOT 4377385 SOS 806322 HAS SOPS 806322 HAS SOUS 626361 HAS SOUPS 626361 WITH SCORE 627167.322
AT ITER 4803 NEW BEST:: SOT 4377173 SOS 805898 HAS SOPS 805898 HAS SOUS 625937 HAS SOUPS 625937 WITH SCORE 626742.898
AT ITER 4808 NEW BEST:: SOT 4376981 SOS 805734 HAS SOPS 805734 HAS SOUS 625755 HAS SOUPS 625755 WITH SCORE 626560.734
AT ITER 4891 NEW BEST:: SOT 4376947 SOS 805666 HAS SOPS 805666 HAS SOUS 625506 HAS SOUPS 625506 WITH SCORE 626311.666
AT ITER 4900 NEW BEST:: SOT 4376327 SOS 808746 HAS SOPS 808746 HAS SOUS 625455 HAS SOUPS 625455 WITH SCORE 626263.746
AT ITER 4933 NEW BEST:: SOT 4376327 SOS 808664 HAS SOPS 808664 HAS SOUS 625373 HAS SOUPS 625373 WITH SCORE 626181.664
AT ITER 4952 NEW BEST:: SOT 4376126 SOS 808262 HAS SOPS 808262 HAS SOUS 624991 HAS SOUPS 624991 WITH SCORE 625799.262
AT ITER 4954 NEW BEST:: SOT 4375548 SOS 807805 HAS SOPS 807805 HAS SOUS 624520 HAS SOUPS 624520 WITH SCORE 625327.805
AT ITER 4975 NEW BEST:: SOT 4375323 SOS 807355 HAS SOPS 807355 HAS SOUS 624103 HAS SOUPS 624103 WITH SCORE 624910.355
AT ITER 4981 NEW BEST:: SOT 4375323 SOS 807120 HAS SOPS 807120 HAS SOUS 624103 HAS SOUPS 624103 WITH SCORE 624910.12
AT ITER 4982 NEW BEST:: SOT 4375161 SOS 806796 HAS SOPS 806796 HAS SOUS 623779 HAS SOUPS 623779 WITH SCORE 624585.796
AT ITER 5008 NEW BEST:: SOT 4375161 SOS 806647 HAS SOPS 806647 HAS SOUS 623630 HAS SOUPS 623630 WITH SCORE 624436.647
AT ITER 5022 NEW BEST:: SOT 4374992 SOS 806309 HAS SOPS 806309 HAS SOUS 623323 HAS SOUPS 623323 WITH SCORE 624129.309
AT ITER 5026 NEW BEST:: SOT 4374982 SOS 806289 HAS SOPS 806289 HAS SOUS 623126 HAS SOUPS 623126 WITH SCORE 623932.289
AT ITER 5033 NEW BEST:: SOT 4374800 SOS 805925 HAS SOPS 805925 HAS SOUS 623125 HAS SOUPS 623125 WITH SCORE 623930.925
AT ITER 5043 NEW BEST:: SOT 4374659 SOS 805643 HAS SOPS 805643 HAS SOUS 622806 HAS SOUPS 622806 WITH SCORE 623611.643
AT ITER 5053 NEW BEST:: SOT 4374517 SOS 805359 HAS SOPS 805359 HAS SOUS 622522 HAS SOUPS 622522 WITH SCORE 623327.359
AT ITER 5056 NEW BEST:: SOT 4374462 SOS 805194 HAS SOPS 805194 HAS SOUS 622412 HAS SOUPS 622412 WITH SCORE 623217.194
AT ITER 5068 NEW BEST:: SOT 4374327 SOS 805320 HAS SOPS 805320 HAS SOUS 622367 HAS SOUPS 622367 WITH SCORE 623172.32
AT ITER 5123 NEW BEST:: SOT 4374085 SOS 805604 HAS SOPS 805604 HAS SOUS 622093 HAS SOUPS 622093 WITH SCORE 622898.604
AT ITER 5135 NEW BEST:: SOT 4374010 SOS 805379 HAS SOPS 805379 HAS SOUS 621943 HAS SOUPS 621943 WITH SCORE 622748.379
AT ITER 5160 NEW BEST:: SOT 4374127 SOS 805613 HAS SOPS 805613 HAS SOUS 621908 HAS SOUPS 621908 WITH SCORE 622713.613
AT ITER 5168 NEW BEST:: SOT 4374129 SOS 805810 HAS SOPS 805810 HAS SOUS 621726 HAS SOUPS 621726 WITH SCORE 622531.81
AT ITER 5184 NEW BEST:: SOT 4374279 SOS 805890 HAS SOPS 805890 HAS SOUS 621685 HAS SOUPS 621685 WITH SCORE 622490.89
AT ITER 5208 NEW BEST:: SOT 4374121 SOS 805574 HAS SOPS 805574 HAS SOUS 621369 HAS SOUPS 621369 WITH SCORE 622174.574
AT ITER 5210 NEW BEST:: SOT 4373924 SOS 805582 HAS SOPS 805582 HAS SOUS 621227 HAS SOUPS 621227 WITH SCORE 622032.582
AT ITER 5223 NEW BEST:: SOT 4373922 SOS 805578 HAS SOPS 805578 HAS SOUS 621225 HAS SOUPS 621225 WITH SCORE 622030.578
AT ITER 5241 NEW BEST:: SOT 4373895 SOS 805754 HAS SOPS 805754 HAS SOUS 621198 HAS SOUPS 621198 WITH SCORE 622003.754
AT ITER 5253 NEW BEST:: SOT 4373894 SOS 805753 HAS SOPS 805753 HAS SOUS 621196 HAS SOUPS 621196 WITH SCORE 622001.753
AT ITER 5292 NEW BEST:: SOT 4373893 SOS 805751 HAS SOPS 805751 HAS SOUS 621194 HAS SOUPS 621194 WITH SCORE 621999.751
AT ITER 5321 NEW BEST:: SOT 4373611 SOS 805187 HAS SOPS 805187 HAS SOUS 621069 HAS SOUPS 621069 WITH SCORE 621874.187
AT ITER 5367 NEW BEST:: SOT 4373456 SOS 804877 HAS SOPS 804877 HAS SOUS 620759 HAS SOUPS 620759 WITH SCORE 621563.877
AT ITER 5389 NEW BEST:: SOT 4373419 SOS 804803 HAS SOPS 804803 HAS SOUS 620722 HAS SOUPS 620722 WITH SCORE 621526.803
AT ITER 5396 NEW BEST:: SOT 4373477 SOS 804657 HAS SOPS 804657 HAS SOUS 620577 HAS SOUPS 620577 WITH SCORE 621381.657
AT ITER 5399 NEW BEST:: SOT 4373294 SOS 804629 HAS SOPS 804629 HAS SOUS 620394 HAS SOUPS 620394 WITH SCORE 621198.629
AT ITER 5409 NEW BEST:: SOT 4372961 SOS 804710 HAS SOPS 804710 HAS SOUS 620168 HAS SOUPS 620168 WITH SCORE 620972.71
AT ITER 5425 NEW BEST:: SOT 4372936 SOS 804660 HAS SOPS 804660 HAS SOUS 620143 HAS SOUPS 620143 WITH SCORE 620947.66
AT ITER 5426 NEW BEST:: SOT 4372855 SOS 804552 HAS SOPS 804552 HAS SOUS 620035 HAS SOUPS 620035 WITH SCORE 620839.552
AT ITER 5427 NEW BEST:: SOT 4372520 SOS 803882 HAS SOPS 803882 HAS SOUS 619700 HAS SOUPS 619700 WITH SCORE 620503.882
AT ITER 5438 NEW BEST:: SOT 4372071 SOS 803918 HAS SOPS 803918 HAS SOUS 619556 HAS SOUPS 619556 WITH SCORE 620359.918
AT ITER 5439 NEW BEST:: SOT 4372076 SOS 802740 HAS SOPS 802740 HAS SOUS 619296 HAS SOUPS 619296 WITH SCORE 620098.74
AT ITER 5458 NEW BEST:: SOT 4371866 SOS 802320 HAS SOPS 802320 HAS SOUS 618982 HAS SOUPS 618982 WITH SCORE 619784.32
AT ITER 5528 NEW BEST:: SOT 4371687 SOS 801962 HAS SOPS 801962 HAS SOUS 618624 HAS SOUPS 618624 WITH SCORE 619425.962
AT ITER 5538 NEW BEST:: SOT 4371289 SOS 801565 HAS SOPS 801565 HAS SOUS 618227 HAS SOUPS 618227 WITH SCORE 619028.565
AT ITER 5558 NEW BEST:: SOT 4371263 SOS 801377 HAS SOPS 801377 HAS SOUS 618133 HAS SOUPS 618133 WITH SCORE 618934.377
AT ITER 5573 NEW BEST:: SOT 4371263 SOS 801358 HAS SOPS 801358 HAS SOUS 618133 HAS SOUPS 618133 WITH SCORE 618934.358
AT ITER 5588 NEW BEST:: SOT 4370602 SOS 800365 HAS SOPS 800365 HAS SOUS 617140 HAS SOUPS 617140 WITH SCORE 617940.365
AT ITER 5607 NEW BEST:: SOT 4370536 SOS 800233 HAS SOPS 800233 HAS SOUS 617046 HAS SOUPS 617046 WITH SCORE 617846.233
AT ITER 5609 NEW BEST:: SOT 4370427 SOS 800015 HAS SOPS 800015 HAS SOUS 616828 HAS SOUPS 616828 WITH SCORE 617628.015
AT ITER 5629 NEW BEST:: SOT 4370427 SOS 799968 HAS SOPS 799968 HAS SOUS 616828 HAS SOUPS 616828 WITH SCORE 617627.968
AT ITER 5650 NEW BEST:: SOT 4370427 SOS 799947 HAS SOPS 799947 HAS SOUS 616807 HAS SOUPS 616807 WITH SCORE 617606.947
AT ITER 5660 NEW BEST:: SOT 4370343 SOS 799779 HAS SOPS 799779 HAS SOUS 616681 HAS SOUPS 616681 WITH SCORE 617480.779
AT ITER 5671 NEW BEST:: SOT 4370183 SOS 799379 HAS SOPS 799379 HAS SOUS 616441 HAS SOUPS 616441 WITH SCORE 617240.379
AT ITER 5677 NEW BEST:: SOT 4370139 SOS 799291 HAS SOPS 799291 HAS SOUS 616423 HAS SOUPS 616423 WITH SCORE 617222.291
AT ITER 5690 NEW BEST:: SOT 4370077 SOS 799167 HAS SOPS 799167 HAS SOUS 616299 HAS SOUPS 616299 WITH SCORE 617098.167
AT ITER 5714 NEW BEST:: SOT 4369788 SOS 798589 HAS SOPS 798589 HAS SOUS 615721 HAS SOUPS 615721 WITH SCORE 616519.589
AT ITER 5724 NEW BEST:: SOT 4369738 SOS 798489 HAS SOPS 798489 HAS SOUS 615671 HAS SOUPS 615671 WITH SCORE 616469.489
AT ITER 5753 NEW BEST:: SOT 4369613 SOS 798239 HAS SOPS 798239 HAS SOUS 615421 HAS SOUPS 615421 WITH SCORE 616219.239
AT ITER 5772 NEW BEST:: SOT 4369605 SOS 798223 HAS SOPS 798223 HAS SOUS 615413 HAS SOUPS 615413 WITH SCORE 616211.223
AT ITER 5782 NEW BEST:: SOT 4369604 SOS 798222 HAS SOPS 798222 HAS SOUS 615411 HAS SOUPS 615411 WITH SCORE 616209.222
AT ITER 5808 NEW BEST:: SOT 4369604 SOS 798148 HAS SOPS 798148 HAS SOUS 615411 HAS SOUPS 615411 WITH SCORE 616209.148
AT ITER 5809 NEW BEST:: SOT 4369536 SOS 798329 HAS SOPS 798329 HAS SOUS 615339 HAS SOUPS 615339 WITH SCORE 616137.329
AT ITER 5815 NEW BEST:: SOT 4369536 SOS 798227 HAS SOPS 798227 HAS SOUS 615339 HAS SOUPS 615339 WITH SCORE 616137.227
AT ITER 5864 NEW BEST:: SOT 4369225 SOS 797605 HAS SOPS 797605 HAS SOUS 615338 HAS SOUPS 615338 WITH SCORE 616135.605
AT ITER 5881 NEW BEST:: SOT 4369255 SOS 797665 HAS SOPS 797665 HAS SOUS 615306 HAS SOUPS 615306 WITH SCORE 616103.665
AT ITER 5895 NEW BEST:: SOT 4369255 SOS 797505 HAS SOPS 797505 HAS SOUS 615146 HAS SOUPS 615146 WITH SCORE 615943.505
AT ITER 5897 NEW BEST:: SOT 4369265 SOS 797407 HAS SOPS 797407 HAS SOUS 614998 HAS SOUPS 614998 WITH SCORE 615795.407
AT ITER 5908 NEW BEST:: SOT 4369264 SOS 797350 HAS SOPS 797350 HAS SOUS 614996 HAS SOUPS 614996 WITH SCORE 615793.35
AT ITER 5922 NEW BEST:: SOT 4368917 SOS 796992 HAS SOPS 796992 HAS SOUS 614638 HAS SOUPS 614638 WITH SCORE 615434.992
AT ITER 5928 NEW BEST:: SOT 4368865 SOS 796846 HAS SOPS 796846 HAS SOUS 614534 HAS SOUPS 614534 WITH SCORE 615330.846
AT ITER 5929 NEW BEST:: SOT 4368805 SOS 796726 HAS SOPS 796726 HAS SOUS 614533 HAS SOUPS 614533 WITH SCORE 615329.726
AT ITER 5931 NEW BEST:: SOT 4368621 SOS 796691 HAS SOPS 796691 HAS SOUS 614349 HAS SOUPS 614349 WITH SCORE 615145.691
AT ITER 5992 NEW BEST:: SOT 4368609 SOS 796667 HAS SOPS 796667 HAS SOUS 614337 HAS SOUPS 614337 WITH SCORE 615133.667
AT ITER 5996 NEW BEST:: SOT 4368674 SOS 796490 HAS SOPS 796490 HAS SOUS 614328 HAS SOUPS 614328 WITH SCORE 615124.49
AT ITER 6054 NEW BEST:: SOT 4368674 SOS 796490 HAS SOPS 796490 HAS SOUS 614135 HAS SOUPS 614135 WITH SCORE 614931.49
AT ITER 6075 NEW BEST:: SOT 4368500 SOS 796142 HAS SOPS 796142 HAS SOUS 613787 HAS SOUPS 613787 WITH SCORE 614583.142
AT ITER 6080 NEW BEST:: SOT 4368500 SOS 796142 HAS SOPS 796142 HAS SOUS 613687 HAS SOUPS 613687 WITH SCORE 614483.142
AT ITER 6084 NEW BEST:: SOT 4368500 SOS 796090 HAS SOPS 796090 HAS SOUS 613687 HAS SOUPS 613687 WITH SCORE 614483.09
AT ITER 6107 NEW BEST:: SOT 4368500 SOS 796082 HAS SOPS 796082 HAS SOUS 613679 HAS SOUPS 613679 WITH SCORE 614475.082
AT ITER 6114 NEW BEST:: SOT 4368415 SOS 795912 HAS SOPS 795912 HAS SOUS 613594 HAS SOUPS 613594 WITH SCORE 614389.912
AT ITER 6167 NEW BEST:: SOT 4368053 SOS 794342 HAS SOPS 794342 HAS SOUS 611618 HAS SOUPS 611618 WITH SCORE 612412.342
AT ITER 6183 NEW BEST:: SOT 4368080 SOS 794237 HAS SOPS 794237 HAS SOUS 611513 HAS SOUPS 611513 WITH SCORE 612307.237
AT ITER 6191 NEW BEST:: SOT 4368139 SOS 794355 HAS SOPS 794355 HAS SOUS 611494 HAS SOUPS 611494 WITH SCORE 612288.355
AT ITER 6218 NEW BEST:: SOT 4368053 SOS 794183 HAS SOPS 794183 HAS SOUS 611322 HAS SOUPS 611322 WITH SCORE 612116.183
AT ITER 6238 NEW BEST:: SOT 4367661 SOS 793797 HAS SOPS 793797 HAS SOUS 610936 HAS SOUPS 610936 WITH SCORE 611729.797
AT ITER 6265 NEW BEST:: SOT 4367603 SOS 793775 HAS SOPS 793775 HAS SOUS 610878 HAS SOUPS 610878 WITH SCORE 611671.775
AT ITER 6274 NEW BEST:: SOT 4367727 SOS 793527 HAS SOPS 793527 HAS SOUS 610878 HAS SOUPS 610878 WITH SCORE 611671.527
AT ITER 6315 NEW BEST:: SOT 4367663 SOS 793106 HAS SOPS 793106 HAS SOUS 610750 HAS SOUPS 610750 WITH SCORE 611543.106
AT ITER 6317 NEW BEST:: SOT 4367554 SOS 792741 HAS SOPS 792741 HAS SOUS 610392 HAS SOUPS 610392 WITH SCORE 611184.741
AT ITER 6325 NEW BEST:: SOT 4367355 SOS 791873 HAS SOPS 791873 HAS SOUS 609932 HAS SOUPS 609932 WITH SCORE 610723.873
AT ITER 6326 NEW BEST:: SOT 4366990 SOS 791501 HAS SOPS 791501 HAS SOUS 609595 HAS SOUPS 609595 WITH SCORE 610386.501
AT ITER 6340 NEW BEST:: SOT 4366979 SOS 791479 HAS SOPS 791479 HAS SOUS 609584 HAS SOUPS 609584 WITH SCORE 610375.479
AT ITER 6350 NEW BEST:: SOT 4366943 SOS 791407 HAS SOPS 791407 HAS SOUS 609548 HAS SOUPS 609548 WITH SCORE 610339.407
AT ITER 6357 NEW BEST:: SOT 4366820 SOS 791298 HAS SOPS 791298 HAS SOUS 609288 HAS SOUPS 609288 WITH SCORE 610079.298
AT ITER 6426 NEW BEST:: SOT 4366688 SOS 791034 HAS SOPS 791034 HAS SOUS 609156 HAS SOUPS 609156 WITH SCORE 609947.034
AT ITER 6438 NEW BEST:: SOT 4366540 SOS 790738 HAS SOPS 790738 HAS SOUS 608860 HAS SOUPS 608860 WITH SCORE 609650.738
AT ITER 6461 NEW BEST:: SOT 4366671 SOS 790494 HAS SOPS 790494 HAS SOUS 608718 HAS SOUPS 608718 WITH SCORE 609508.494
AT ITER 6464 NEW BEST:: SOT 4366576 SOS 790304 HAS SOPS 790304 HAS SOUS 608623 HAS SOUPS 608623 WITH SCORE 609413.304
AT ITER 6473 NEW BEST:: SOT 4366576 SOS 790281 HAS SOPS 790281 HAS SOUS 608600 HAS SOUPS 608600 WITH SCORE 609390.281
AT ITER 6502 NEW BEST:: SOT 4366544 SOS 790249 HAS SOPS 790249 HAS SOUS 608568 HAS SOUPS 608568 WITH SCORE 609358.249
AT ITER 6506 NEW BEST:: SOT 4366525 SOS 790193 HAS SOPS 790193 HAS SOUS 608530 HAS SOUPS 608530 WITH SCORE 609320.193
AT ITER 6517 NEW BEST:: SOT 4366445 SOS 790033 HAS SOPS 790033 HAS SOUS 608370 HAS SOUPS 608370 WITH SCORE 609160.033
AT ITER 6524 NEW BEST:: SOT 4366425 SOS 789993 HAS SOPS 789993 HAS SOUS 608204 HAS SOUPS 608204 WITH SCORE 608993.993
AT ITER 6588 NEW BEST:: SOT 4366219 SOS 789787 HAS SOPS 789787 HAS SOUS 607998 HAS SOUPS 607998 WITH SCORE 608787.787
AT ITER 6607 NEW BEST:: SOT 4366161 SOS 789729 HAS SOPS 789729 HAS SOUS 607940 HAS SOUPS 607940 WITH SCORE 608729.729
AT ITER 6649 NEW BEST:: SOT 4366096 SOS 789406 HAS SOPS 789406 HAS SOUS 607810 HAS SOUPS 607810 WITH SCORE 608599.406
AT ITER 6658 NEW BEST:: SOT 4365858 SOS 789360 HAS SOPS 789360 HAS SOUS 607657 HAS SOUPS 607657 WITH SCORE 608446.36
AT ITER 6679 NEW BEST:: SOT 4365422 SOS 788488 HAS SOPS 788488 HAS SOUS 606951 HAS SOUPS 606951 WITH SCORE 607739.488
AT ITER 6689 NEW BEST:: SOT 4365421 SOS 788486 HAS SOPS 788486 HAS SOUS 606950 HAS SOUPS 606950 WITH SCORE 607738.486
AT ITER 6707 NEW BEST:: SOT 4365421 SOS 788449 HAS SOPS 788449 HAS SOUS 606913 HAS SOUPS 606913 WITH SCORE 607701.449
AT ITER 6720 NEW BEST:: SOT 4365290 SOS 788187 HAS SOPS 788187 HAS SOUS 606651 HAS SOUPS 606651 WITH SCORE 607439.187
AT ITER 6802 NEW BEST:: SOT 4365289 SOS 788105 HAS SOPS 788105 HAS SOUS 606649 HAS SOUPS 606649 WITH SCORE 607437.105
AT ITER 6836 NEW BEST:: SOT 4365162 SOS 787851 HAS SOPS 787851 HAS SOUS 606399 HAS SOUPS 606399 WITH SCORE 607186.851
AT ITER 6860 NEW BEST:: SOT 4365161 SOS 787849 HAS SOPS 787849 HAS SOUS 606397 HAS SOUPS 606397 WITH SCORE 607184.849
AT ITER 6876 NEW BEST:: SOT 4365019 SOS 787798 HAS SOPS 787798 HAS SOUS 606345 HAS SOUPS 606345 WITH SCORE 607132.798
AT ITER 6906 NEW BEST:: SOT 4364886 SOS 787532 HAS SOPS 787532 HAS SOUS 606079 HAS SOUPS 606079 WITH SCORE 606866.532
AT ITER 6983 NEW BEST:: SOT 4364758 SOS 787340 HAS SOPS 787340 HAS SOUS 605951 HAS SOUPS 605951 WITH SCORE 606738.34
AT ITER 6994 NEW BEST:: SOT 4364613 SOS 787050 HAS SOPS 787050 HAS SOUS 605661 HAS SOUPS 605661 WITH SCORE 606448.05
AT ITER 6999 NEW BEST:: SOT 4364342 SOS 786508 HAS SOPS 786508 HAS SOUS 605119 HAS SOUPS 605119 WITH SCORE 605905.508
AT ITER 7009 NEW BEST:: SOT 4364272 SOS 786368 HAS SOPS 786368 HAS SOUS 604962 HAS SOUPS 604962 WITH SCORE 605748.368
AT ITER 7011 NEW BEST:: SOT 4364242 SOS 786308 HAS SOPS 786308 HAS SOUS 604886 HAS SOUPS 604886 WITH SCORE 605672.308
AT ITER 7022 NEW BEST:: SOT 4364080 SOS 785984 HAS SOPS 785984 HAS SOUS 604659 HAS SOUPS 604659 WITH SCORE 605444.984
AT ITER 7025 NEW BEST:: SOT 4364046 SOS 785916 HAS SOPS 785916 HAS SOUS 604591 HAS SOUPS 604591 WITH SCORE 605376.916
AT ITER 7040 NEW BEST:: SOT 4364022 SOS 785868 HAS SOPS 785868 HAS SOUS 604543 HAS SOUPS 604543 WITH SCORE 605328.868
AT ITER 7048 NEW BEST:: SOT 4364022 SOS 785868 HAS SOPS 785868 HAS SOUS 604516 HAS SOUPS 604516 WITH SCORE 605301.868
AT ITER 7061 NEW BEST:: SOT 4364032 SOS 785696 HAS SOPS 785696 HAS SOUS 604344 HAS SOUPS 604344 WITH SCORE 605129.696
AT ITER 7086 NEW BEST:: SOT 4363795 SOS 785222 HAS SOPS 785222 HAS SOUS 604344 HAS SOUPS 604344 WITH SCORE 605129.222
AT ITER 7098 NEW BEST:: SOT 4363731 SOS 785094 HAS SOPS 785094 HAS SOUS 604279 HAS SOUPS 604279 WITH SCORE 605064.094
AT ITER 7115 NEW BEST:: SOT 4363625 SOS 784882 HAS SOPS 784882 HAS SOUS 604173 HAS SOUPS 604173 WITH SCORE 604957.882
AT ITER 7119 NEW BEST:: SOT 4363615 SOS 784415 HAS SOPS 784415 HAS SOUS 604076 HAS SOUPS 604076 WITH SCORE 604860.415
AT ITER 7124 NEW BEST:: SOT 4363794 SOS 784267 HAS SOPS 784267 HAS SOUS 604027 HAS SOUPS 604027 WITH SCORE 604811.267
AT ITER 7125 NEW BEST:: SOT 4363794 SOS 784247 HAS SOPS 784247 HAS SOUS 604007 HAS SOUPS 604007 WITH SCORE 604791.247
AT ITER 7129 NEW BEST:: SOT 4363794 SOS 784171 HAS SOPS 784171 HAS SOUS 603969 HAS SOUPS 603969 WITH SCORE 604753.171
AT ITER 7139 NEW BEST:: SOT 4363623 SOS 783829 HAS SOPS 783829 HAS SOUS 603798 HAS SOUPS 603798 WITH SCORE 604581.829
AT ITER 7158 NEW BEST:: SOT 4363623 SOS 783731 HAS SOPS 783731 HAS SOUS 603749 HAS SOUPS 603749 WITH SCORE 604532.731
AT ITER 7184 NEW BEST:: SOT 4363530 SOS 783655 HAS SOPS 783655 HAS SOUS 603673 HAS SOUPS 603673 WITH SCORE 604456.655
AT ITER 7211 NEW BEST:: SOT 4363481 SOS 783557 HAS SOPS 783557 HAS SOUS 603575 HAS SOUPS 603575 WITH SCORE 604358.557
AT ITER 7219 NEW BEST:: SOT 4363431 SOS 783457 HAS SOPS 783457 HAS SOUS 603475 HAS SOUPS 603475 WITH SCORE 604258.457
AT ITER 7231 NEW BEST:: SOT 4363191 SOS 782729 HAS SOPS 782729 HAS SOUS 602990 HAS SOUPS 602990 WITH SCORE 603772.729
AT ITER 7246 NEW BEST:: SOT 4362651 SOS 782369 HAS SOPS 782369 HAS SOUS 602540 HAS SOUPS 602540 WITH SCORE 603322.369
AT ITER 7275 NEW BEST:: SOT 4362651 SOS 782279 HAS SOPS 782279 HAS SOUS 602540 HAS SOUPS 602540 WITH SCORE 603322.279
AT ITER 7279 NEW BEST:: SOT 4362646 SOS 782269 HAS SOPS 782269 HAS SOUS 602530 HAS SOUPS 602530 WITH SCORE 603312.269
AT ITER 7342 NEW BEST:: SOT 4362380 SOS 782017 HAS SOPS 782017 HAS SOUS 602278 HAS SOUPS 602278 WITH SCORE 603060.017
AT ITER 7359 NEW BEST:: SOT 4362291 SOS 781839 HAS SOPS 781839 HAS SOUS 602262 HAS SOUPS 602262 WITH SCORE 603043.839
AT ITER 7379 NEW BEST:: SOT 4362119 SOS 781677 HAS SOPS 781677 HAS SOUS 602090 HAS SOUPS 602090 WITH SCORE 602871.677
AT ITER 7391 NEW BEST:: SOT 4362068 SOS 781575 HAS SOPS 781575 HAS SOUS 601988 HAS SOUPS 601988 WITH SCORE 602769.575
AT ITER 7396 NEW BEST:: SOT 4362045 SOS 781529 HAS SOPS 781529 HAS SOUS 601963 HAS SOUPS 601963 WITH SCORE 602744.529
AT ITER 7406 NEW BEST:: SOT 4362045 SOS 781443 HAS SOPS 781443 HAS SOUS 601920 HAS SOUPS 601920 WITH SCORE 602701.443
AT ITER 7415 NEW BEST:: SOT 4362006 SOS 781365 HAS SOPS 781365 HAS SOUS 601842 HAS SOUPS 601842 WITH SCORE 602623.365
AT ITER 7441 NEW BEST:: SOT 4361911 SOS 781261 HAS SOPS 781261 HAS SOUS 601716 HAS SOUPS 601716 WITH SCORE 602497.261
AT ITER 7451 NEW BEST:: SOT 4361900 SOS 781239 HAS SOPS 781239 HAS SOUS 601694 HAS SOUPS 601694 WITH SCORE 602475.239
AT ITER 7453 NEW BEST:: SOT 4361901 SOS 781241 HAS SOPS 781241 HAS SOUS 601573 HAS SOUPS 601573 WITH SCORE 602354.241
AT ITER 7548 NEW BEST:: SOT 4361818 SOS 781075 HAS SOPS 781075 HAS SOUS 601407 HAS SOUPS 601407 WITH SCORE 602188.075
AT ITER 7589 NEW BEST:: SOT 4361787 SOS 781013 HAS SOPS 781013 HAS SOUS 601376 HAS SOUPS 601376 WITH SCORE 602157.013
AT ITER 7608 NEW BEST:: SOT 4361700 SOS 780839 HAS SOPS 780839 HAS SOUS 601202 HAS SOUPS 601202 WITH SCORE 601982.839
AT ITER 7630 NEW BEST:: SOT 4361686 SOS 780811 HAS SOPS 780811 HAS SOUS 601174 HAS SOUPS 601174 WITH SCORE 601954.811
AT ITER 7634 NEW BEST:: SOT 4361583 SOS 780605 HAS SOPS 780605 HAS SOUS 600968 HAS SOUPS 600968 WITH SCORE 601748.605
AT ITER 7660 NEW BEST:: SOT 4361582 SOS 780603 HAS SOPS 780603 HAS SOUS 600966 HAS SOUPS 600966 WITH SCORE 601746.603
AT ITER 7681 NEW BEST:: SOT 4361392 SOS 780223 HAS SOPS 780223 HAS SOUS 600964 HAS SOUPS 600964 WITH SCORE 601744.223
AT ITER 7682 NEW BEST:: SOT 4361383 SOS 780205 HAS SOPS 780205 HAS SOUS 600946 HAS SOUPS 600946 WITH SCORE 601726.205
AT ITER 7688 NEW BEST:: SOT 4361378 SOS 780200 HAS SOPS 780200 HAS SOUS 600941 HAS SOUPS 600941 WITH SCORE 601721.2
AT ITER 7699 NEW BEST:: SOT 4361373 SOS 780190 HAS SOPS 780190 HAS SOUS 600931 HAS SOUPS 600931 WITH SCORE 601711.19
AT ITER 7729 NEW BEST:: SOT 4361327 SOS 780098 HAS SOPS 780098 HAS SOUS 600931 HAS SOUPS 600931 WITH SCORE 601711.098
AT ITER 7763 NEW BEST:: SOT 4361272 SOS 780020 HAS SOPS 780020 HAS SOUS 600876 HAS SOUPS 600876 WITH SCORE 601656.02
AT ITER 7779 NEW BEST:: SOT 4361171 SOS 779716 HAS SOPS 779716 HAS SOUS 600673 HAS SOUPS 600673 WITH SCORE 601452.716
AT ITER 7788 NEW BEST:: SOT 4361144 SOS 779662 HAS SOPS 779662 HAS SOUS 600619 HAS SOUPS 600619 WITH SCORE 601398.662
AT ITER 7810 NEW BEST:: SOT 4361106 SOS 779586 HAS SOPS 779586 HAS SOUS 600543 HAS SOUPS 600543 WITH SCORE 601322.586
AT ITER 7826 NEW BEST:: SOT 4361041 SOS 779456 HAS SOPS 779456 HAS SOUS 600478 HAS SOUPS 600478 WITH SCORE 601257.456
AT ITER 7855 NEW BEST:: SOT 4360993 SOS 779312 HAS SOPS 779312 HAS SOUS 600382 HAS SOUPS 600382 WITH SCORE 601161.312
AT ITER 7895 NEW BEST:: SOT 4360975 SOS 779276 HAS SOPS 779276 HAS SOUS 600364 HAS SOUPS 600364 WITH SCORE 601143.276
AT ITER 7936 NEW BEST:: SOT 4360482 SOS 778290 HAS SOPS 778290 HAS SOUS 600093 HAS SOUPS 600093 WITH SCORE 600871.29
AT ITER 7937 NEW BEST:: SOT 4360263 SOS 777852 HAS SOPS 777852 HAS SOUS 599655 HAS SOUPS 599655 WITH SCORE 600432.852
AT ITER 7951 NEW BEST:: SOT 4360262 SOS 777850 HAS SOPS 777850 HAS SOUS 599653 HAS SOUPS 599653 WITH SCORE 600430.85
AT ITER 8054 NEW BEST:: SOT 4360262 SOS 777850 HAS SOPS 777850 HAS SOUS 599652 HAS SOUPS 599652 WITH SCORE 600429.85
AT ITER 8064 NEW BEST:: SOT 4359997 SOS 777585 HAS SOPS 777585 HAS SOUS 599387 HAS SOUPS 599387 WITH SCORE 600164.585
AT ITER 8065 NEW BEST:: SOT 4359764 SOS 778190 HAS SOPS 778190 HAS SOUS 599322 HAS SOUPS 599322 WITH SCORE 600100.19
AT ITER 8069 NEW BEST:: SOT 4359755 SOS 778172 HAS SOPS 778172 HAS SOUS 599304 HAS SOUPS 599304 WITH SCORE 600082.172
AT ITER 8077 NEW BEST:: SOT 4359754 SOS 778170 HAS SOPS 778170 HAS SOUS 599302 HAS SOUPS 599302 WITH SCORE 600080.17
AT ITER 8108 NEW BEST:: SOT 4359945 SOS 777396 HAS SOPS 777396 HAS SOUS 599016 HAS SOUPS 599016 WITH SCORE 599793.396
AT ITER 8109 NEW BEST:: SOT 4359943 SOS 777392 HAS SOPS 777392 HAS SOUS 599012 HAS SOUPS 599012 WITH SCORE 599789.392
AT ITER 8126 NEW BEST:: SOT 4359869 SOS 777244 HAS SOPS 777244 HAS SOUS 598941 HAS SOUPS 598941 WITH SCORE 599718.244
AT ITER 8139 NEW BEST:: SOT 4359771 SOS 776739 HAS SOPS 776739 HAS SOUS 598745 HAS SOUPS 598745 WITH SCORE 599521.739
AT ITER 8145 NEW BEST:: SOT 4359744 SOS 776685 HAS SOPS 776685 HAS SOUS 598691 HAS SOUPS 598691 WITH SCORE 599467.685
AT ITER 8160 NEW BEST:: SOT 4359648 SOS 776493 HAS SOPS 776493 HAS SOUS 598499 HAS SOUPS 598499 WITH SCORE 599275.493
AT ITER 8164 NEW BEST:: SOT 4359647 SOS 776492 HAS SOPS 776492 HAS SOUS 598497 HAS SOUPS 598497 WITH SCORE 599273.492
AT ITER 8238 NEW BEST:: SOT 4359729 SOS 776656 HAS SOPS 776656 HAS SOUS 598377 HAS SOUPS 598377 WITH SCORE 599153.656
AT ITER 8247 NEW BEST:: SOT 4359665 SOS 776343 HAS SOPS 776343 HAS SOUS 598064 HAS SOUPS 598064 WITH SCORE 598840.343
AT ITER 8273 NEW BEST:: SOT 4359665 SOS 776343 HAS SOPS 776343 HAS SOUS 598060 HAS SOUPS 598060 WITH SCORE 598836.343
AT ITER 8305 NEW BEST:: SOT 4359373 SOS 776113 HAS SOPS 776113 HAS SOUS 597768 HAS SOUPS 597768 WITH SCORE 598544.113
AT ITER 8327 NEW BEST:: SOT 4359350 SOS 776067 HAS SOPS 776067 HAS SOUS 597746 HAS SOUPS 597746 WITH SCORE 598522.067
AT ITER 8340 NEW BEST:: SOT 4359131 SOS 775629 HAS SOPS 775629 HAS SOUS 597514 HAS SOUPS 597514 WITH SCORE 598289.629
AT ITER 8341 NEW BEST:: SOT 4359126 SOS 775619 HAS SOPS 775619 HAS SOUS 597504 HAS SOUPS 597504 WITH SCORE 598279.619
AT ITER 8359 NEW BEST:: SOT 4358968 SOS 775303 HAS SOPS 775303 HAS SOUS 597374 HAS SOUPS 597374 WITH SCORE 598149.303
AT ITER 8373 NEW BEST:: SOT 4358743 SOS 775044 HAS SOPS 775044 HAS SOUS 597115 HAS SOUPS 597115 WITH SCORE 597890.044
AT ITER 8423 NEW BEST:: SOT 4358742 SOS 775042 HAS SOPS 775042 HAS SOUS 597113 HAS SOUPS 597113 WITH SCORE 597888.042
AT ITER 8426 NEW BEST:: SOT 4358732 SOS 775022 HAS SOPS 775022 HAS SOUS 597103 HAS SOUPS 597103 WITH SCORE 597878.022
AT ITER 8463 NEW BEST:: SOT 4358590 SOS 774596 HAS SOPS 774596 HAS SOUS 596961 HAS SOUPS 596961 WITH SCORE 597735.596
AT ITER 8469 NEW BEST:: SOT 4358590 SOS 774596 HAS SOPS 774596 HAS SOUS 596946 HAS SOUPS 596946 WITH SCORE 597720.596
AT ITER 8473 NEW BEST:: SOT 4358537 SOS 774590 HAS SOPS 774590 HAS SOUS 596917 HAS SOUPS 596917 WITH SCORE 597691.59
AT ITER 8479 NEW BEST:: SOT 4358491 SOS 774498 HAS SOPS 774498 HAS SOUS 596871 HAS SOUPS 596871 WITH SCORE 597645.498
AT ITER 8557 NEW BEST:: SOT 4358491 SOS 774322 HAS SOPS 774322 HAS SOUS 596871 HAS SOUPS 596871 WITH SCORE 597645.322
AT ITER 8583 NEW BEST:: SOT 4358348 SOS 763882 HAS SOPS 763882 HAS SOUS 596452 HAS SOUPS 596452 WITH SCORE 597215.882
AT ITER 8599 NEW BEST:: SOT 4358289 SOS 763764 HAS SOPS 763764 HAS SOUS 596334 HAS SOUPS 596334 WITH SCORE 597097.764
AT ITER 8612 NEW BEST:: SOT 4358227 SOS 763640 HAS SOPS 763640 HAS SOUS 596210 HAS SOUPS 596210 WITH SCORE 596973.64
AT ITER 8613 NEW BEST:: SOT 4358337 SOS 763490 HAS SOPS 763490 HAS SOUS 596155 HAS SOUPS 596155 WITH SCORE 596918.49
AT ITER 8616 NEW BEST:: SOT 4358315 SOS 763446 HAS SOPS 763446 HAS SOUS 596111 HAS SOUPS 596111 WITH SCORE 596874.446
AT ITER 8619 NEW BEST:: SOT 4358315 SOS 763410 HAS SOPS 763410 HAS SOUS 596111 HAS SOUPS 596111 WITH SCORE 596874.41
AT ITER 8621 NEW BEST:: SOT 4358252 SOS 763284 HAS SOPS 763284 HAS SOUS 596079 HAS SOUPS 596079 WITH SCORE 596842.284
AT ITER 8643 NEW BEST:: SOT 4358232 SOS 763244 HAS SOPS 763244 HAS SOUS 596039 HAS SOUPS 596039 WITH SCORE 596802.244
AT ITER 8648 NEW BEST:: SOT 4358217 SOS 763214 HAS SOPS 763214 HAS SOUS 596009 HAS SOUPS 596009 WITH SCORE 596772.214
AT ITER 8699 NEW BEST:: SOT 4358216 SOS 763212 HAS SOPS 763212 HAS SOUS 596007 HAS SOUPS 596007 WITH SCORE 596770.212
AT ITER 8712 NEW BEST:: SOT 4358093 SOS 762966 HAS SOPS 762966 HAS SOUS 595884 HAS SOUPS 595884 WITH SCORE 596646.966
AT ITER 8749 NEW BEST:: SOT 4357992 SOS 762764 HAS SOPS 762764 HAS SOUS 595682 HAS SOUPS 595682 WITH SCORE 596444.764
AT ITER 8752 NEW BEST:: SOT 4358062 SOS 762508 HAS SOPS 762508 HAS SOUS 595554 HAS SOUPS 595554 WITH SCORE 596316.508
AT ITER 8792 NEW BEST:: SOT 4357993 SOS 762370 HAS SOPS 762370 HAS SOUS 595450 HAS SOUPS 595450 WITH SCORE 596212.37
AT ITER 8797 NEW BEST:: SOT 4357853 SOS 762090 HAS SOPS 762090 HAS SOUS 595302 HAS SOUPS 595302 WITH SCORE 596064.09
AT ITER 8803 NEW BEST:: SOT 4357839 SOS 762062 HAS SOPS 762062 HAS SOUS 595288 HAS SOUPS 595288 WITH SCORE 596050.062
AT ITER 8813 NEW BEST:: SOT 4357702 SOS 761788 HAS SOPS 761788 HAS SOUS 595151 HAS SOUPS 595151 WITH SCORE 595912.788
AT ITER 8867 NEW BEST:: SOT 4356448 SOS 760652 HAS SOPS 760652 HAS SOUS 594093 HAS SOUPS 594093 WITH SCORE 594853.652
AT ITER 8874 NEW BEST:: SOT 4356248 SOS 760252 HAS SOPS 760252 HAS SOUS 593693 HAS SOUPS 593693 WITH SCORE 594453.252
AT ITER 8877 NEW BEST:: SOT 4356248 SOS 759983 HAS SOPS 759983 HAS SOUS 593693 HAS SOUPS 593693 WITH SCORE 594452.983
AT ITER 8908 NEW BEST:: SOT 4356242 SOS 759971 HAS SOPS 759971 HAS SOUS 593681 HAS SOUPS 593681 WITH SCORE 594440.971
AT ITER 8921 NEW BEST:: SOT 4356241 SOS 759969 HAS SOPS 759969 HAS SOUS 593679 HAS SOUPS 593679 WITH SCORE 594438.969
AT ITER 8933 NEW BEST:: SOT 4356123 SOS 759733 HAS SOPS 759733 HAS SOUS 593443 HAS SOUPS 593443 WITH SCORE 594202.733
AT ITER 8953 NEW BEST:: SOT 4356070 SOS 759627 HAS SOPS 759627 HAS SOUS 593337 HAS SOUPS 593337 WITH SCORE 594096.627
AT ITER 8966 NEW BEST:: SOT 4355856 SOS 759713 HAS SOPS 759713 HAS SOUS 593249 HAS SOUPS 593249 WITH SCORE 594008.713
AT ITER 8969 NEW BEST:: SOT 4355856 SOS 759567 HAS SOPS 759567 HAS SOUS 593249 HAS SOUPS 593249 WITH SCORE 594008.567
AT ITER 9029 NEW BEST:: SOT 4355767 SOS 759591 HAS SOPS 759591 HAS SOUS 593217 HAS SOUPS 593217 WITH SCORE 593976.591
AT ITER 9066 NEW BEST:: SOT 4355569 SOS 759529 HAS SOPS 759529 HAS SOUS 593090 HAS SOUPS 593090 WITH SCORE 593849.529
AT ITER 9088 NEW BEST:: SOT 4355557 SOS 759511 HAS SOPS 759511 HAS SOUS 593072 HAS SOUPS 593072 WITH SCORE 593831.511
AT ITER 9097 NEW BEST:: SOT 4355493 SOS 759383 HAS SOPS 759383 HAS SOUS 593028 HAS SOUPS 593028 WITH SCORE 593787.383
AT ITER 9100 NEW BEST:: SOT 4355484 SOS 759365 HAS SOPS 759365 HAS SOUS 593010 HAS SOUPS 593010 WITH SCORE 593769.365
AT ITER 9131 NEW BEST:: SOT 4355416 SOS 759229 HAS SOPS 759229 HAS SOUS 592908 HAS SOUPS 592908 WITH SCORE 593667.229
AT ITER 9156 NEW BEST:: SOT 4355395 SOS 759187 HAS SOPS 759187 HAS SOUS 592878 HAS SOUPS 592878 WITH SCORE 593637.187
AT ITER 9185 NEW BEST:: SOT 4355248 SOS 759285 HAS SOPS 759285 HAS SOUS 592828 HAS SOUPS 592828 WITH SCORE 593587.285
AT ITER 9217 NEW BEST:: SOT 4355205 SOS 759199 HAS SOPS 759199 HAS SOUS 592742 HAS SOUPS 592742 WITH SCORE 593501.199
AT ITER 9218 NEW BEST:: SOT 4355065 SOS 759014 HAS SOPS 759014 HAS SOUS 592557 HAS SOUPS 592557 WITH SCORE 593316.014
AT ITER 9265 NEW BEST:: SOT 4355042 SOS 758968 HAS SOPS 758968 HAS SOUS 592533 HAS SOUPS 592533 WITH SCORE 593291.968
AT ITER 9268 NEW BEST:: SOT 4354975 SOS 758799 HAS SOPS 758799 HAS SOUS 592416 HAS SOUPS 592416 WITH SCORE 593174.799
AT ITER 9286 NEW BEST:: SOT 4354703 SOS 758527 HAS SOPS 758527 HAS SOUS 592416 HAS SOUPS 592416 WITH SCORE 593174.527
AT ITER 9290 NEW BEST:: SOT 4354705 SOS 758523 HAS SOPS 758523 HAS SOUS 592416 HAS SOUPS 592416 WITH SCORE 593174.523
AT ITER 9307 NEW BEST:: SOT 4354443 SOS 757999 HAS SOPS 757999 HAS SOUS 591966 HAS SOUPS 591966 WITH SCORE 592723.999
AT ITER 9316 NEW BEST:: SOT 4354288 SOS 757689 HAS SOPS 757689 HAS SOUS 591892 HAS SOUPS 591892 WITH SCORE 592649.689
AT ITER 9324 NEW BEST:: SOT 4354157 SOS 757427 HAS SOPS 757427 HAS SOUS 591742 HAS SOUPS 591742 WITH SCORE 592499.427
AT ITER 9327 NEW BEST:: SOT 4354154 SOS 757421 HAS SOPS 757421 HAS SOUS 591736 HAS SOUPS 591736 WITH SCORE 592493.421
AT ITER 9349 NEW BEST:: SOT 4353909 SOS 756931 HAS SOPS 756931 HAS SOUS 591001 HAS SOUPS 591001 WITH SCORE 591757.931
AT ITER 9352 NEW BEST:: SOT 4353895 SOS 756903 HAS SOPS 756903 HAS SOUS 590973 HAS SOUPS 590973 WITH SCORE 591729.903
AT ITER 9353 NEW BEST:: SOT 4353868 SOS 756849 HAS SOPS 756849 HAS SOUS 590919 HAS SOUPS 590919 WITH SCORE 591675.849
AT ITER 9356 NEW BEST:: SOT 4353843 SOS 756799 HAS SOPS 756799 HAS SOUS 590869 HAS SOUPS 590869 WITH SCORE 591625.799
AT ITER 9382 NEW BEST:: SOT 4353843 SOS 756548 HAS SOPS 756548 HAS SOUS 590869 HAS SOUPS 590869 WITH SCORE 591625.548
AT ITER 9407 NEW BEST:: SOT 4353688 SOS 756238 HAS SOPS 756238 HAS SOUS 590559 HAS SOUPS 590559 WITH SCORE 591315.238
AT ITER 9432 NEW BEST:: SOT 4353690 SOS 756240 HAS SOPS 756240 HAS SOUS 590360 HAS SOUPS 590360 WITH SCORE 591116.24
AT ITER 9457 NEW BEST:: SOT 4353689 SOS 755929 HAS SOPS 755929 HAS SOUS 590358 HAS SOUPS 590358 WITH SCORE 591113.929
AT ITER 9476 NEW BEST:: SOT 4353567 SOS 755879 HAS SOPS 755879 HAS SOUS 590308 HAS SOUPS 590308 WITH SCORE 591063.879
AT ITER 9488 NEW BEST:: SOT 4353462 SOS 755669 HAS SOPS 755669 HAS SOUS 590246 HAS SOUPS 590246 WITH SCORE 591001.669
AT ITER 9499 NEW BEST:: SOT 4353441 SOS 755627 HAS SOPS 755627 HAS SOUS 590225 HAS SOUPS 590225 WITH SCORE 590980.627
AT ITER 9525 NEW BEST:: SOT 4353279 SOS 755835 HAS SOPS 755835 HAS SOUS 590192 HAS SOUPS 590192 WITH SCORE 590947.835
AT ITER 9558 NEW BEST:: SOT 4353267 SOS 755811 HAS SOPS 755811 HAS SOUS 590168 HAS SOUPS 590168 WITH SCORE 590923.811
AT ITER 9571 NEW BEST:: SOT 4353253 SOS 755783 HAS SOPS 755783 HAS SOUS 590140 HAS SOUPS 590140 WITH SCORE 590895.783
AT ITER 9639 NEW BEST:: SOT 4353061 SOS 755614 HAS SOPS 755614 HAS SOUS 589987 HAS SOUPS 589987 WITH SCORE 590742.614
AT ITER 9665 NEW BEST:: SOT 4353061 SOS 755500 HAS SOPS 755500 HAS SOUS 589987 HAS SOUPS 589987 WITH SCORE 590742.5
AT ITER 9775 NEW BEST:: SOT 4353121 SOS 755346 HAS SOPS 755346 HAS SOUS 589833 HAS SOUPS 589833 WITH SCORE 590588.346
AT ITER 9797 NEW BEST:: SOT 4353121 SOS 755346 HAS SOPS 755346 HAS SOUS 589753 HAS SOUPS 589753 WITH SCORE 590508.346
AT ITER 9803 NEW BEST:: SOT 4353120 SOS 755143 HAS SOPS 755143 HAS SOUS 589751 HAS SOUPS 589751 WITH SCORE 590506.143
AT ITER 9811 NEW BEST:: SOT 4352947 SOS 754797 HAS SOPS 754797 HAS SOUS 589405 HAS SOUPS 589405 WITH SCORE 590159.797
AT ITER 9841 NEW BEST:: SOT 4352884 SOS 754671 HAS SOPS 754671 HAS SOUS 589347 HAS SOUPS 589347 WITH SCORE 590101.671
AT ITER 9884 NEW BEST:: SOT 4352822 SOS 754547 HAS SOPS 754547 HAS SOUS 589285 HAS SOUPS 589285 WITH SCORE 590039.547
AT ITER 9891 NEW BEST:: SOT 4352822 SOS 753851 HAS SOPS 753851 HAS SOUS 589111 HAS SOUPS 589111 WITH SCORE 589864.851
AT ITER 9894 NEW BEST:: SOT 4352808 SOS 753823 HAS SOPS 753823 HAS SOUS 589083 HAS SOUPS 589083 WITH SCORE 589836.823
AT ITER 9916 NEW BEST:: SOT 4352295 SOS 752797 HAS SOPS 752797 HAS SOUS 588169 HAS SOUPS 588169 WITH SCORE 588921.797
AT ITER 9953 NEW BEST:: SOT 4352324 SOS 752702 HAS SOPS 752702 HAS SOUS 588133 HAS SOUPS 588133 WITH SCORE 588885.702
AT ITER 9963 NEW BEST:: SOT 4352306 SOS 752666 HAS SOPS 752666 HAS SOUS 588097 HAS SOUPS 588097 WITH SCORE 588849.666
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11949516 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122164 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="CloudReconfiguration-PT-305"
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 CloudReconfiguration-PT-305, 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 r107-tall-167814483700040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-305.tgz
mv CloudReconfiguration-PT-305 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 ;