About the Execution of Smart+red for SmartHome-PT-19
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
11766.352 | 3600000.00 | 3631836.00 | 10512.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651100304.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 SmartHome-PT-19, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651100304
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 668K
-rw-r--r-- 1 mcc users 6.0K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 05:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 05:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 181K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679301818501
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=SmartHome-PT-19
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 08:43:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 08:43:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 08:43:41] [INFO ] Load time of PNML (sax parser for PT used): 160 ms
[2023-03-20 08:43:41] [INFO ] Transformed 741 places.
[2023-03-20 08:43:41] [INFO ] Transformed 809 transitions.
[2023-03-20 08:43:41] [INFO ] Found NUPN structural information;
[2023-03-20 08:43:41] [INFO ] Parsed PT model containing 741 places and 809 transitions and 1844 arcs in 275 ms.
[2023-03-20 08:43:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 741 places, 809 transitions and 1844 arcs took 14 ms.
Total runtime 337 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 19
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: 741 places, 809 transitions, 1844 arcs.
AT ITER 0 NEW BEST:: SOT 353547 SOS 78692 HAS SOPS 78692 HAS SOUS 77052 HAS SOUPS 77052 WITH SCORE 77130.692
AT ITER 6 NEW BEST:: SOT 353498 SOS 78526 HAS SOPS 78526 HAS SOUS 76887 HAS SOUPS 76887 WITH SCORE 76965.526
AT ITER 11 NEW BEST:: SOT 353496 SOS 78523 HAS SOPS 78523 HAS SOUS 76885 HAS SOUPS 76885 WITH SCORE 76963.523
AT ITER 29 NEW BEST:: SOT 353496 SOS 78514 HAS SOPS 78514 HAS SOUS 76876 HAS SOUPS 76876 WITH SCORE 76954.514
AT ITER 31 NEW BEST:: SOT 353490 SOS 78502 HAS SOPS 78502 HAS SOUS 76862 HAS SOUPS 76862 WITH SCORE 76940.502
AT ITER 32 NEW BEST:: SOT 353479 SOS 78480 HAS SOPS 78480 HAS SOUS 76840 HAS SOUPS 76840 WITH SCORE 76918.48
AT ITER 37 NEW BEST:: SOT 353432 SOS 78386 HAS SOPS 78386 HAS SOUS 76746 HAS SOUPS 76746 WITH SCORE 76824.386
AT ITER 52 NEW BEST:: SOT 353432 SOS 78377 HAS SOPS 78377 HAS SOUS 76737 HAS SOUPS 76737 WITH SCORE 76815.377
AT ITER 60 NEW BEST:: SOT 353432 SOS 78326 HAS SOPS 78326 HAS SOUS 76686 HAS SOUPS 76686 WITH SCORE 76764.326
AT ITER 67 NEW BEST:: SOT 351818 SOS 89219 HAS SOPS 89219 HAS SOUS 76006 HAS SOUPS 76006 WITH SCORE 76095.219
AT ITER 76 NEW BEST:: SOT 351835 SOS 89253 HAS SOPS 89253 HAS SOUS 75968 HAS SOUPS 75968 WITH SCORE 76057.253
AT ITER 95 NEW BEST:: SOT 351406 SOS 92256 HAS SOPS 92256 HAS SOUS 75950 HAS SOUPS 75950 WITH SCORE 76042.256
AT ITER 103 NEW BEST:: SOT 350673 SOS 91686 HAS SOPS 91686 HAS SOUS 75234 HAS SOUPS 75234 WITH SCORE 75325.686
AT ITER 111 NEW BEST:: SOT 350572 SOS 91484 HAS SOPS 91484 HAS SOUS 75032 HAS SOUPS 75032 WITH SCORE 75123.484
AT ITER 134 NEW BEST:: SOT 350572 SOS 91456 HAS SOPS 91456 HAS SOUS 75032 HAS SOUPS 75032 WITH SCORE 75123.456
AT ITER 144 NEW BEST:: SOT 350575 SOS 91395 HAS SOPS 91395 HAS SOUS 74971 HAS SOUPS 74971 WITH SCORE 75062.395
AT ITER 152 NEW BEST:: SOT 350449 SOS 91143 HAS SOPS 91143 HAS SOUS 74771 HAS SOUPS 74771 WITH SCORE 74862.143
AT ITER 153 NEW BEST:: SOT 350451 SOS 91076 HAS SOPS 91076 HAS SOUS 74751 HAS SOUPS 74751 WITH SCORE 74842.076
AT ITER 177 NEW BEST:: SOT 349950 SOS 91931 HAS SOPS 91931 HAS SOUS 74304 HAS SOUPS 74304 WITH SCORE 74395.931
AT ITER 184 NEW BEST:: SOT 349867 SOS 91765 HAS SOPS 91765 HAS SOUS 74221 HAS SOUPS 74221 WITH SCORE 74312.765
AT ITER 195 NEW BEST:: SOT 349754 SOS 91647 HAS SOPS 91647 HAS SOUS 74131 HAS SOUPS 74131 WITH SCORE 74222.647
AT ITER 196 NEW BEST:: SOT 349768 SOS 91675 HAS SOPS 91675 HAS SOUS 74125 HAS SOUPS 74125 WITH SCORE 74216.675
AT ITER 210 NEW BEST:: SOT 349676 SOS 91574 HAS SOPS 91574 HAS SOUS 74024 HAS SOUPS 74024 WITH SCORE 74115.574
AT ITER 222 NEW BEST:: SOT 349654 SOS 91530 HAS SOPS 91530 HAS SOUS 73980 HAS SOUPS 73980 WITH SCORE 74071.53
AT ITER 229 NEW BEST:: SOT 349566 SOS 91529 HAS SOPS 91529 HAS SOUS 73979 HAS SOUPS 73979 WITH SCORE 74070.529
AT ITER 230 NEW BEST:: SOT 349388 SOS 91294 HAS SOPS 91294 HAS SOUS 73705 HAS SOUPS 73705 WITH SCORE 73796.294
AT ITER 234 NEW BEST:: SOT 349355 SOS 91228 HAS SOPS 91228 HAS SOUS 73639 HAS SOUPS 73639 WITH SCORE 73730.228
AT ITER 256 NEW BEST:: SOT 349355 SOS 91205 HAS SOPS 91205 HAS SOUS 73639 HAS SOUPS 73639 WITH SCORE 73730.205
AT ITER 259 NEW BEST:: SOT 349343 SOS 91181 HAS SOPS 91181 HAS SOUS 73621 HAS SOUPS 73621 WITH SCORE 73712.181
AT ITER 315 NEW BEST:: SOT 349343 SOS 91125 HAS SOPS 91125 HAS SOUS 73565 HAS SOUPS 73565 WITH SCORE 73656.125
AT ITER 320 NEW BEST:: SOT 349309 SOS 90998 HAS SOPS 90998 HAS SOUS 73472 HAS SOUPS 73472 WITH SCORE 73562.998
AT ITER 321 NEW BEST:: SOT 349215 SOS 90911 HAS SOPS 90911 HAS SOUS 73385 HAS SOUPS 73385 WITH SCORE 73475.911
AT ITER 334 NEW BEST:: SOT 349215 SOS 90821 HAS SOPS 90821 HAS SOUS 73295 HAS SOUPS 73295 WITH SCORE 73385.821
AT ITER 362 NEW BEST:: SOT 348977 SOS 90650 HAS SOPS 90650 HAS SOUS 73106 HAS SOUPS 73106 WITH SCORE 73196.65
AT ITER 377 NEW BEST:: SOT 348967 SOS 90620 HAS SOPS 90620 HAS SOUS 73086 HAS SOUPS 73086 WITH SCORE 73176.62
AT ITER 384 NEW BEST:: SOT 348939 SOS 90564 HAS SOPS 90564 HAS SOUS 73030 HAS SOUPS 73030 WITH SCORE 73120.564
AT ITER 388 NEW BEST:: SOT 348939 SOS 90497 HAS SOPS 90497 HAS SOUS 72963 HAS SOUPS 72963 WITH SCORE 73053.497
AT ITER 389 NEW BEST:: SOT 348939 SOS 90425 HAS SOPS 90425 HAS SOUS 72891 HAS SOUPS 72891 WITH SCORE 72981.425
AT ITER 390 NEW BEST:: SOT 348917 SOS 90391 HAS SOPS 90391 HAS SOUS 72869 HAS SOUPS 72869 WITH SCORE 72959.391
AT ITER 396 NEW BEST:: SOT 348933 SOS 90371 HAS SOPS 90371 HAS SOUS 72867 HAS SOUPS 72867 WITH SCORE 72957.371
AT ITER 397 NEW BEST:: SOT 347294 SOS 91940 HAS SOPS 91940 HAS SOUS 71723 HAS SOUPS 71723 WITH SCORE 71814.94
AT ITER 409 NEW BEST:: SOT 347170 SOS 91754 HAS SOPS 91754 HAS SOUS 71537 HAS SOUPS 71537 WITH SCORE 71628.754
AT ITER 410 NEW BEST:: SOT 347149 SOS 91733 HAS SOPS 91733 HAS SOUS 71516 HAS SOUPS 71516 WITH SCORE 71607.733
AT ITER 422 NEW BEST:: SOT 347130 SOS 91714 HAS SOPS 91714 HAS SOUS 71497 HAS SOUPS 71497 WITH SCORE 71588.714
AT ITER 438 NEW BEST:: SOT 346988 SOS 91501 HAS SOPS 91501 HAS SOUS 71355 HAS SOUPS 71355 WITH SCORE 71446.501
AT ITER 444 NEW BEST:: SOT 346933 SOS 91391 HAS SOPS 91391 HAS SOUS 71300 HAS SOUPS 71300 WITH SCORE 71391.391
AT ITER 450 NEW BEST:: SOT 346038 SOS 90621 HAS SOPS 90621 HAS SOUS 70407 HAS SOUPS 70407 WITH SCORE 70497.621
AT ITER 456 NEW BEST:: SOT 345976 SOS 90497 HAS SOPS 90497 HAS SOUS 70345 HAS SOUPS 70345 WITH SCORE 70435.497
AT ITER 458 NEW BEST:: SOT 345976 SOS 90466 HAS SOPS 90466 HAS SOUS 70314 HAS SOUPS 70314 WITH SCORE 70404.466
AT ITER 460 NEW BEST:: SOT 345936 SOS 90426 HAS SOPS 90426 HAS SOUS 70274 HAS SOUPS 70274 WITH SCORE 70364.426
AT ITER 468 NEW BEST:: SOT 345882 SOS 90372 HAS SOPS 90372 HAS SOUS 70166 HAS SOUPS 70166 WITH SCORE 70256.372
AT ITER 469 NEW BEST:: SOT 345904 SOS 90416 HAS SOPS 90416 HAS SOUS 70060 HAS SOUPS 70060 WITH SCORE 70150.416
AT ITER 476 NEW BEST:: SOT 345867 SOS 90373 HAS SOPS 90373 HAS SOUS 70023 HAS SOUPS 70023 WITH SCORE 70113.373
AT ITER 479 NEW BEST:: SOT 345784 SOS 90207 HAS SOPS 90207 HAS SOUS 69774 HAS SOUPS 69774 WITH SCORE 69864.207
AT ITER 509 NEW BEST:: SOT 344071 SOS 90734 HAS SOPS 90734 HAS SOUS 68464 HAS SOUPS 68464 WITH SCORE 68554.734
AT ITER 511 NEW BEST:: SOT 343923 SOS 90438 HAS SOPS 90438 HAS SOUS 68316 HAS SOUPS 68316 WITH SCORE 68406.438
AT ITER 520 NEW BEST:: SOT 343882 SOS 90356 HAS SOPS 90356 HAS SOUS 68234 HAS SOUPS 68234 WITH SCORE 68324.356
AT ITER 536 NEW BEST:: SOT 343735 SOS 90209 HAS SOPS 90209 HAS SOUS 68234 HAS SOUPS 68234 WITH SCORE 68324.209
AT ITER 550 NEW BEST:: SOT 343734 SOS 90208 HAS SOPS 90208 HAS SOUS 68233 HAS SOUPS 68233 WITH SCORE 68323.208
AT ITER 552 NEW BEST:: SOT 343759 SOS 90200 HAS SOPS 90200 HAS SOUS 68225 HAS SOUPS 68225 WITH SCORE 68315.2
AT ITER 557 NEW BEST:: SOT 343746 SOS 82251 HAS SOPS 82251 HAS SOUS 68196 HAS SOUPS 68196 WITH SCORE 68278.251
AT ITER 563 NEW BEST:: SOT 343669 SOS 82153 HAS SOPS 82153 HAS SOUS 68077 HAS SOUPS 68077 WITH SCORE 68159.153
AT ITER 569 NEW BEST:: SOT 343620 SOS 82055 HAS SOPS 82055 HAS SOUS 68028 HAS SOUPS 68028 WITH SCORE 68110.055
AT ITER 600 NEW BEST:: SOT 343617 SOS 81979 HAS SOPS 81979 HAS SOUS 67952 HAS SOUPS 67952 WITH SCORE 68033.979
AT ITER 612 NEW BEST:: SOT 343617 SOS 81831 HAS SOPS 81831 HAS SOUS 67804 HAS SOUPS 67804 WITH SCORE 67885.831
AT ITER 618 NEW BEST:: SOT 343710 SOS 80302 HAS SOPS 80302 HAS SOUS 67751 HAS SOUPS 67751 WITH SCORE 67831.302
AT ITER 622 NEW BEST:: SOT 343506 SOS 80097 HAS SOPS 80097 HAS SOUS 67648 HAS SOUPS 67648 WITH SCORE 67728.097
AT ITER 635 NEW BEST:: SOT 343552 SOS 80110 HAS SOPS 80110 HAS SOUS 67569 HAS SOUPS 67569 WITH SCORE 67649.11
AT ITER 637 NEW BEST:: SOT 343551 SOS 80108 HAS SOPS 80108 HAS SOUS 67567 HAS SOUPS 67567 WITH SCORE 67647.108
AT ITER 646 NEW BEST:: SOT 343461 SOS 80076 HAS SOPS 80076 HAS SOUS 67499 HAS SOUPS 67499 WITH SCORE 67579.076
AT ITER 657 NEW BEST:: SOT 343512 SOS 80074 HAS SOPS 80074 HAS SOUS 67497 HAS SOUPS 67497 WITH SCORE 67577.074
AT ITER 660 NEW BEST:: SOT 343450 SOS 79864 HAS SOPS 79864 HAS SOUS 67349 HAS SOUPS 67349 WITH SCORE 67428.864
AT ITER 669 NEW BEST:: SOT 343377 SOS 79825 HAS SOPS 79825 HAS SOUS 67310 HAS SOUPS 67310 WITH SCORE 67389.825
AT ITER 684 NEW BEST:: SOT 343376 SOS 79823 HAS SOPS 79823 HAS SOUS 67308 HAS SOUPS 67308 WITH SCORE 67387.823
AT ITER 691 NEW BEST:: SOT 343376 SOS 79796 HAS SOPS 79796 HAS SOUS 67308 HAS SOUPS 67308 WITH SCORE 67387.796
AT ITER 716 NEW BEST:: SOT 343319 SOS 79738 HAS SOPS 79738 HAS SOUS 67250 HAS SOUPS 67250 WITH SCORE 67329.738
AT ITER 721 NEW BEST:: SOT 343318 SOS 79737 HAS SOPS 79737 HAS SOUS 67249 HAS SOUPS 67249 WITH SCORE 67328.737
AT ITER 736 NEW BEST:: SOT 343360 SOS 79550 HAS SOPS 79550 HAS SOUS 67001 HAS SOUPS 67001 WITH SCORE 67080.55
AT ITER 756 NEW BEST:: SOT 342859 SOS 82773 HAS SOPS 82773 HAS SOUS 66726 HAS SOUPS 66726 WITH SCORE 66808.773
AT ITER 757 NEW BEST:: SOT 342781 SOS 82695 HAS SOPS 82695 HAS SOUS 66648 HAS SOUPS 66648 WITH SCORE 66730.695
AT ITER 764 NEW BEST:: SOT 342800 SOS 82680 HAS SOPS 82680 HAS SOUS 66633 HAS SOUPS 66633 WITH SCORE 66715.68
AT ITER 799 NEW BEST:: SOT 342846 SOS 82632 HAS SOPS 82632 HAS SOUS 66631 HAS SOUPS 66631 WITH SCORE 66713.632
AT ITER 807 NEW BEST:: SOT 342846 SOS 82469 HAS SOPS 82469 HAS SOUS 66631 HAS SOUPS 66631 WITH SCORE 66713.469
AT ITER 813 NEW BEST:: SOT 342173 SOS 83476 HAS SOPS 83476 HAS SOUS 66089 HAS SOUPS 66089 WITH SCORE 66172.476
AT ITER 833 NEW BEST:: SOT 342130 SOS 83455 HAS SOPS 83455 HAS SOUS 66046 HAS SOUPS 66046 WITH SCORE 66129.455
AT ITER 840 NEW BEST:: SOT 342130 SOS 83394 HAS SOPS 83394 HAS SOUS 66046 HAS SOUPS 66046 WITH SCORE 66129.394
AT ITER 849 NEW BEST:: SOT 342129 SOS 83321 HAS SOPS 83321 HAS SOUS 65974 HAS SOUPS 65974 WITH SCORE 66057.321
AT ITER 869 NEW BEST:: SOT 341895 SOS 83123 HAS SOPS 83123 HAS SOUS 65896 HAS SOUPS 65896 WITH SCORE 65979.123
AT ITER 877 NEW BEST:: SOT 341923 SOS 83140 HAS SOPS 83140 HAS SOUS 65885 HAS SOUPS 65885 WITH SCORE 65968.14
AT ITER 886 NEW BEST:: SOT 341593 SOS 83428 HAS SOPS 83428 HAS SOUS 65555 HAS SOUPS 65555 WITH SCORE 65638.428
AT ITER 888 NEW BEST:: SOT 341592 SOS 83426 HAS SOPS 83426 HAS SOUS 65553 HAS SOUPS 65553 WITH SCORE 65636.426
AT ITER 908 NEW BEST:: SOT 341555 SOS 83346 HAS SOPS 83346 HAS SOUS 65499 HAS SOUPS 65499 WITH SCORE 65582.346
AT ITER 914 NEW BEST:: SOT 341540 SOS 83316 HAS SOPS 83316 HAS SOUS 65469 HAS SOUPS 65469 WITH SCORE 65552.316
AT ITER 916 NEW BEST:: SOT 341681 SOS 81988 HAS SOPS 81988 HAS SOUS 65428 HAS SOUPS 65428 WITH SCORE 65509.988
AT ITER 933 NEW BEST:: SOT 341570 SOS 81766 HAS SOPS 81766 HAS SOUS 65158 HAS SOUPS 65158 WITH SCORE 65239.766
AT ITER 948 NEW BEST:: SOT 341552 SOS 81730 HAS SOPS 81730 HAS SOUS 65140 HAS SOUPS 65140 WITH SCORE 65221.73
AT ITER 953 NEW BEST:: SOT 341550 SOS 81728 HAS SOPS 81728 HAS SOUS 65138 HAS SOUPS 65138 WITH SCORE 65219.728
AT ITER 958 NEW BEST:: SOT 341492 SOS 81648 HAS SOPS 81648 HAS SOUS 65044 HAS SOUPS 65044 WITH SCORE 65125.648
AT ITER 960 NEW BEST:: SOT 341455 SOS 81574 HAS SOPS 81574 HAS SOUS 64929 HAS SOUPS 64929 WITH SCORE 65010.574
AT ITER 978 NEW BEST:: SOT 341455 SOS 81515 HAS SOPS 81515 HAS SOUS 64870 HAS SOUPS 64870 WITH SCORE 64951.515
AT ITER 988 NEW BEST:: SOT 341455 SOS 81496 HAS SOPS 81496 HAS SOUS 64870 HAS SOUPS 64870 WITH SCORE 64951.496
AT ITER 992 NEW BEST:: SOT 341455 SOS 81481 HAS SOPS 81481 HAS SOUS 64870 HAS SOUPS 64870 WITH SCORE 64951.481
AT ITER 1014 NEW BEST:: SOT 341365 SOS 79977 HAS SOPS 79977 HAS SOUS 64643 HAS SOUPS 64643 WITH SCORE 64722.977
AT ITER 1030 NEW BEST:: SOT 341207 SOS 79811 HAS SOPS 79811 HAS SOUS 64524 HAS SOUPS 64524 WITH SCORE 64603.811
AT ITER 1031 NEW BEST:: SOT 341199 SOS 79795 HAS SOPS 79795 HAS SOUS 64508 HAS SOUPS 64508 WITH SCORE 64587.795
AT ITER 1050 NEW BEST:: SOT 341217 SOS 79748 HAS SOPS 79748 HAS SOUS 64461 HAS SOUPS 64461 WITH SCORE 64540.748
AT ITER 1071 NEW BEST:: SOT 341229 SOS 79729 HAS SOPS 79729 HAS SOUS 64442 HAS SOUPS 64442 WITH SCORE 64521.729
AT ITER 1076 NEW BEST:: SOT 341200 SOS 79671 HAS SOPS 79671 HAS SOUS 64364 HAS SOUPS 64364 WITH SCORE 64443.671
AT ITER 1080 NEW BEST:: SOT 341200 SOS 79636 HAS SOPS 79636 HAS SOUS 64329 HAS SOUPS 64329 WITH SCORE 64408.636
AT ITER 1082 NEW BEST:: SOT 341094 SOS 80110 HAS SOPS 80110 HAS SOUS 64223 HAS SOUPS 64223 WITH SCORE 64303.11
AT ITER 1106 NEW BEST:: SOT 340979 SOS 79880 HAS SOPS 79880 HAS SOUS 64144 HAS SOUPS 64144 WITH SCORE 64223.88
AT ITER 1107 NEW BEST:: SOT 340978 SOS 79878 HAS SOPS 79878 HAS SOUS 64143 HAS SOUPS 64143 WITH SCORE 64222.878
AT ITER 1138 NEW BEST:: SOT 340976 SOS 79874 HAS SOPS 79874 HAS SOUS 64139 HAS SOUPS 64139 WITH SCORE 64218.874
AT ITER 1144 NEW BEST:: SOT 340758 SOS 79656 HAS SOPS 79656 HAS SOUS 64082 HAS SOUPS 64082 WITH SCORE 64161.656
AT ITER 1146 NEW BEST:: SOT 340863 SOS 79506 HAS SOPS 79506 HAS SOUS 63981 HAS SOUPS 63981 WITH SCORE 64060.506
AT ITER 1166 NEW BEST:: SOT 340863 SOS 79487 HAS SOPS 79487 HAS SOUS 63962 HAS SOUPS 63962 WITH SCORE 64041.487
AT ITER 1167 NEW BEST:: SOT 340848 SOS 79457 HAS SOPS 79457 HAS SOUS 63932 HAS SOUPS 63932 WITH SCORE 64011.457
AT ITER 1173 NEW BEST:: SOT 340623 SOS 79007 HAS SOPS 79007 HAS SOUS 63482 HAS SOUPS 63482 WITH SCORE 63561.007
AT ITER 1181 NEW BEST:: SOT 340623 SOS 78993 HAS SOPS 78993 HAS SOUS 63468 HAS SOUPS 63468 WITH SCORE 63546.993
AT ITER 1193 NEW BEST:: SOT 340515 SOS 78777 HAS SOPS 78777 HAS SOUS 63360 HAS SOUPS 63360 WITH SCORE 63438.777
AT ITER 1199 NEW BEST:: SOT 340407 SOS 78561 HAS SOPS 78561 HAS SOUS 63144 HAS SOUPS 63144 WITH SCORE 63222.561
AT ITER 1202 NEW BEST:: SOT 340407 SOS 78481 HAS SOPS 78481 HAS SOUS 63064 HAS SOUPS 63064 WITH SCORE 63142.481
AT ITER 1211 NEW BEST:: SOT 340393 SOS 78453 HAS SOPS 78453 HAS SOUS 63036 HAS SOUPS 63036 WITH SCORE 63114.453
AT ITER 1218 NEW BEST:: SOT 340375 SOS 78417 HAS SOPS 78417 HAS SOUS 63018 HAS SOUPS 63018 WITH SCORE 63096.417
AT ITER 1226 NEW BEST:: SOT 340353 SOS 78411 HAS SOPS 78411 HAS SOUS 63012 HAS SOUPS 63012 WITH SCORE 63090.411
AT ITER 1234 NEW BEST:: SOT 340423 SOS 78551 HAS SOPS 78551 HAS SOUS 62930 HAS SOUPS 62930 WITH SCORE 63008.551
AT ITER 1261 NEW BEST:: SOT 340423 SOS 78550 HAS SOPS 78550 HAS SOUS 62929 HAS SOUPS 62929 WITH SCORE 63007.55
AT ITER 1266 NEW BEST:: SOT 340423 SOS 78530 HAS SOPS 78530 HAS SOUS 62929 HAS SOUPS 62929 WITH SCORE 63007.53
AT ITER 1268 NEW BEST:: SOT 340395 SOS 78446 HAS SOPS 78446 HAS SOUS 62873 HAS SOUPS 62873 WITH SCORE 62951.446
AT ITER 1274 NEW BEST:: SOT 340372 SOS 78276 HAS SOPS 78276 HAS SOUS 62729 HAS SOUPS 62729 WITH SCORE 62807.276
AT ITER 1284 NEW BEST:: SOT 339771 SOS 79370 HAS SOPS 79370 HAS SOUS 62419 HAS SOUPS 62419 WITH SCORE 62498.37
AT ITER 1287 NEW BEST:: SOT 339724 SOS 79258 HAS SOPS 79258 HAS SOUS 62414 HAS SOUPS 62414 WITH SCORE 62493.258
AT ITER 1289 NEW BEST:: SOT 339634 SOS 79078 HAS SOPS 79078 HAS SOUS 62316 HAS SOUPS 62316 WITH SCORE 62395.078
AT ITER 1291 NEW BEST:: SOT 339623 SOS 79056 HAS SOPS 79056 HAS SOUS 62294 HAS SOUPS 62294 WITH SCORE 62373.056
AT ITER 1296 NEW BEST:: SOT 339683 SOS 78976 HAS SOPS 78976 HAS SOUS 62206 HAS SOUPS 62206 WITH SCORE 62284.976
AT ITER 1319 NEW BEST:: SOT 339600 SOS 78810 HAS SOPS 78810 HAS SOUS 62027 HAS SOUPS 62027 WITH SCORE 62105.81
AT ITER 1335 NEW BEST:: SOT 339575 SOS 78675 HAS SOPS 78675 HAS SOUS 61892 HAS SOUPS 61892 WITH SCORE 61970.675
AT ITER 1337 NEW BEST:: SOT 339575 SOS 78638 HAS SOPS 78638 HAS SOUS 61855 HAS SOUPS 61855 WITH SCORE 61933.638
AT ITER 1354 NEW BEST:: SOT 339572 SOS 78689 HAS SOPS 78689 HAS SOUS 61851 HAS SOUPS 61851 WITH SCORE 61929.689
AT ITER 1359 NEW BEST:: SOT 339495 SOS 78612 HAS SOPS 78612 HAS SOUS 61774 HAS SOUPS 61774 WITH SCORE 61852.612
AT ITER 1367 NEW BEST:: SOT 339479 SOS 78619 HAS SOPS 78619 HAS SOUS 61762 HAS SOUPS 61762 WITH SCORE 61840.619
AT ITER 1371 NEW BEST:: SOT 339479 SOS 78609 HAS SOPS 78609 HAS SOUS 61752 HAS SOUPS 61752 WITH SCORE 61830.609
AT ITER 1389 NEW BEST:: SOT 339444 SOS 78574 HAS SOPS 78574 HAS SOUS 61717 HAS SOUPS 61717 WITH SCORE 61795.574
AT ITER 1403 NEW BEST:: SOT 339434 SOS 78564 HAS SOPS 78564 HAS SOUS 61707 HAS SOUPS 61707 WITH SCORE 61785.564
AT ITER 1411 NEW BEST:: SOT 339428 SOS 78552 HAS SOPS 78552 HAS SOUS 61695 HAS SOUPS 61695 WITH SCORE 61773.552
AT ITER 1418 NEW BEST:: SOT 339404 SOS 78504 HAS SOPS 78504 HAS SOUS 61605 HAS SOUPS 61605 WITH SCORE 61683.504
AT ITER 1437 NEW BEST:: SOT 339409 SOS 78488 HAS SOPS 78488 HAS SOUS 61597 HAS SOUPS 61597 WITH SCORE 61675.488
AT ITER 1455 NEW BEST:: SOT 339460 SOS 77742 HAS SOPS 77742 HAS SOUS 61585 HAS SOUPS 61585 WITH SCORE 61662.742
AT ITER 1457 NEW BEST:: SOT 339452 SOS 77730 HAS SOPS 77730 HAS SOUS 61581 HAS SOUPS 61581 WITH SCORE 61658.73
AT ITER 1460 NEW BEST:: SOT 339451 SOS 77813 HAS SOPS 77813 HAS SOUS 61580 HAS SOUPS 61580 WITH SCORE 61657.813
AT ITER 1485 NEW BEST:: SOT 339455 SOS 77464 HAS SOPS 77464 HAS SOUS 61575 HAS SOUPS 61575 WITH SCORE 61652.464
AT ITER 1489 NEW BEST:: SOT 338871 SOS 77372 HAS SOPS 77372 HAS SOUS 61075 HAS SOUPS 61075 WITH SCORE 61152.372
AT ITER 1504 NEW BEST:: SOT 338733 SOS 77165 HAS SOPS 77165 HAS SOUS 60937 HAS SOUPS 60937 WITH SCORE 61014.165
AT ITER 1516 NEW BEST:: SOT 338700 SOS 77132 HAS SOPS 77132 HAS SOUS 60871 HAS SOUPS 60871 WITH SCORE 60948.132
AT ITER 1519 NEW BEST:: SOT 338700 SOS 77132 HAS SOPS 77132 HAS SOUS 60784 HAS SOUPS 60784 WITH SCORE 60861.132
AT ITER 1521 NEW BEST:: SOT 338656 SOS 77088 HAS SOPS 77088 HAS SOUS 60718 HAS SOUPS 60718 WITH SCORE 60795.088
AT ITER 1522 NEW BEST:: SOT 338656 SOS 77088 HAS SOPS 77088 HAS SOUS 60695 HAS SOUPS 60695 WITH SCORE 60772.088
AT ITER 1533 NEW BEST:: SOT 338732 SOS 77087 HAS SOPS 77087 HAS SOUS 60694 HAS SOUPS 60694 WITH SCORE 60771.087
AT ITER 1538 NEW BEST:: SOT 338732 SOS 77083 HAS SOPS 77083 HAS SOUS 60690 HAS SOUPS 60690 WITH SCORE 60767.083
AT ITER 1541 NEW BEST:: SOT 338615 SOS 77353 HAS SOPS 77353 HAS SOUS 60609 HAS SOUPS 60609 WITH SCORE 60686.353
AT ITER 1542 NEW BEST:: SOT 338607 SOS 77337 HAS SOPS 77337 HAS SOUS 60593 HAS SOUPS 60593 WITH SCORE 60670.337
AT ITER 1545 NEW BEST:: SOT 338439 SOS 77001 HAS SOPS 77001 HAS SOUS 60425 HAS SOUPS 60425 WITH SCORE 60502.001
AT ITER 1574 NEW BEST:: SOT 338433 SOS 76989 HAS SOPS 76989 HAS SOUS 60413 HAS SOUPS 60413 WITH SCORE 60489.989
AT ITER 1581 NEW BEST:: SOT 338137 SOS 76876 HAS SOPS 76876 HAS SOUS 60300 HAS SOUPS 60300 WITH SCORE 60376.876
AT ITER 1585 NEW BEST:: SOT 338124 SOS 76850 HAS SOPS 76850 HAS SOUS 60274 HAS SOUPS 60274 WITH SCORE 60350.85
AT ITER 1600 NEW BEST:: SOT 337928 SOS 76458 HAS SOPS 76458 HAS SOUS 59882 HAS SOUPS 59882 WITH SCORE 59958.458
AT ITER 1616 NEW BEST:: SOT 337846 SOS 76358 HAS SOPS 76358 HAS SOUS 59814 HAS SOUPS 59814 WITH SCORE 59890.358
AT ITER 1620 NEW BEST:: SOT 337818 SOS 76274 HAS SOPS 76274 HAS SOUS 59758 HAS SOUPS 59758 WITH SCORE 59834.274
AT ITER 1642 NEW BEST:: SOT 337834 SOS 76135 HAS SOPS 76135 HAS SOUS 59674 HAS SOUPS 59674 WITH SCORE 59750.135
AT ITER 1658 NEW BEST:: SOT 337803 SOS 76039 HAS SOPS 76039 HAS SOUS 59609 HAS SOUPS 59609 WITH SCORE 59685.039
AT ITER 1690 NEW BEST:: SOT 337784 SOS 76001 HAS SOPS 76001 HAS SOUS 59590 HAS SOUPS 59590 WITH SCORE 59666.001
AT ITER 1698 NEW BEST:: SOT 337773 SOS 75990 HAS SOPS 75990 HAS SOUS 59579 HAS SOUPS 59579 WITH SCORE 59654.99
AT ITER 1708 NEW BEST:: SOT 337720 SOS 75884 HAS SOPS 75884 HAS SOUS 59542 HAS SOUPS 59542 WITH SCORE 59617.884
AT ITER 1734 NEW BEST:: SOT 337665 SOS 75918 HAS SOPS 75918 HAS SOUS 59487 HAS SOUPS 59487 WITH SCORE 59562.918
AT ITER 1735 NEW BEST:: SOT 337661 SOS 76019 HAS SOPS 76019 HAS SOUS 59483 HAS SOUPS 59483 WITH SCORE 59559.019
AT ITER 1755 NEW BEST:: SOT 337653 SOS 76003 HAS SOPS 76003 HAS SOUS 59467 HAS SOUPS 59467 WITH SCORE 59543.003
AT ITER 1764 NEW BEST:: SOT 337578 SOS 75853 HAS SOPS 75853 HAS SOUS 59467 HAS SOUPS 59467 WITH SCORE 59542.853
AT ITER 1769 NEW BEST:: SOT 337578 SOS 75847 HAS SOPS 75847 HAS SOUS 59464 HAS SOUPS 59464 WITH SCORE 59539.847
AT ITER 1775 NEW BEST:: SOT 337578 SOS 75839 HAS SOPS 75839 HAS SOUS 59456 HAS SOUPS 59456 WITH SCORE 59531.839
AT ITER 1812 NEW BEST:: SOT 337553 SOS 75789 HAS SOPS 75789 HAS SOUS 59455 HAS SOUPS 59455 WITH SCORE 59530.789
AT ITER 1864 NEW BEST:: SOT 337362 SOS 75531 HAS SOPS 75531 HAS SOUS 59196 HAS SOUPS 59196 WITH SCORE 59271.531
AT ITER 1880 NEW BEST:: SOT 337290 SOS 75387 HAS SOPS 75387 HAS SOUS 59124 HAS SOUPS 59124 WITH SCORE 59199.387
AT ITER 1899 NEW BEST:: SOT 337290 SOS 75343 HAS SOPS 75343 HAS SOUS 59080 HAS SOUPS 59080 WITH SCORE 59155.343
AT ITER 1913 NEW BEST:: SOT 337027 SOS 75069 HAS SOPS 75069 HAS SOUS 58980 HAS SOUPS 58980 WITH SCORE 59055.069
AT ITER 1921 NEW BEST:: SOT 337027 SOS 75057 HAS SOPS 75057 HAS SOUS 58968 HAS SOUPS 58968 WITH SCORE 59043.057
AT ITER 1939 NEW BEST:: SOT 337091 SOS 74824 HAS SOPS 74824 HAS SOUS 58828 HAS SOUPS 58828 WITH SCORE 58902.824
AT ITER 1942 NEW BEST:: SOT 336917 SOS 75139 HAS SOPS 75139 HAS SOUS 58750 HAS SOUPS 58750 WITH SCORE 58825.139
AT ITER 1948 NEW BEST:: SOT 336873 SOS 75051 HAS SOPS 75051 HAS SOUS 58736 HAS SOUPS 58736 WITH SCORE 58811.051
AT ITER 1969 NEW BEST:: SOT 336751 SOS 74807 HAS SOPS 74807 HAS SOUS 58614 HAS SOUPS 58614 WITH SCORE 58688.807
AT ITER 1983 NEW BEST:: SOT 336263 SOS 74798 HAS SOPS 74798 HAS SOUS 58206 HAS SOUPS 58206 WITH SCORE 58280.798
AT ITER 2009 NEW BEST:: SOT 336210 SOS 74724 HAS SOPS 74724 HAS SOUS 58127 HAS SOUPS 58127 WITH SCORE 58201.724
AT ITER 2025 NEW BEST:: SOT 336210 SOS 74716 HAS SOPS 74716 HAS SOUS 58111 HAS SOUPS 58111 WITH SCORE 58185.716
AT ITER 2048 NEW BEST:: SOT 336179 SOS 74651 HAS SOPS 74651 HAS SOUS 58049 HAS SOUPS 58049 WITH SCORE 58123.651
AT ITER 2050 NEW BEST:: SOT 336176 SOS 74648 HAS SOPS 74648 HAS SOUS 58046 HAS SOUPS 58046 WITH SCORE 58120.648
AT ITER 2058 NEW BEST:: SOT 336091 SOS 74562 HAS SOPS 74562 HAS SOUS 58045 HAS SOUPS 58045 WITH SCORE 58119.562
AT ITER 2081 NEW BEST:: SOT 336088 SOS 74556 HAS SOPS 74556 HAS SOUS 58042 HAS SOUPS 58042 WITH SCORE 58116.556
AT ITER 2084 NEW BEST:: SOT 336053 SOS 74486 HAS SOPS 74486 HAS SOUS 57977 HAS SOUPS 57977 WITH SCORE 58051.486
AT ITER 2093 NEW BEST:: SOT 336077 SOS 74485 HAS SOPS 74485 HAS SOUS 57976 HAS SOUPS 57976 WITH SCORE 58050.485
AT ITER 2104 NEW BEST:: SOT 336017 SOS 74425 HAS SOPS 74425 HAS SOUS 57916 HAS SOUPS 57916 WITH SCORE 57990.425
AT ITER 2110 NEW BEST:: SOT 335939 SOS 74269 HAS SOPS 74269 HAS SOUS 57914 HAS SOUPS 57914 WITH SCORE 57988.269
AT ITER 2114 NEW BEST:: SOT 335885 SOS 74161 HAS SOPS 74161 HAS SOUS 57806 HAS SOUPS 57806 WITH SCORE 57880.161
AT ITER 2124 NEW BEST:: SOT 335865 SOS 74141 HAS SOPS 74141 HAS SOUS 57779 HAS SOUPS 57779 WITH SCORE 57853.141
AT ITER 2151 NEW BEST:: SOT 335865 SOS 74141 HAS SOPS 74141 HAS SOUS 57738 HAS SOUPS 57738 WITH SCORE 57812.141
AT ITER 2174 NEW BEST:: SOT 335865 SOS 74141 HAS SOPS 74141 HAS SOUS 57714 HAS SOUPS 57714 WITH SCORE 57788.141
AT ITER 2219 NEW BEST:: SOT 335839 SOS 74140 HAS SOPS 74140 HAS SOUS 57701 HAS SOUPS 57701 WITH SCORE 57775.14
AT ITER 2234 NEW BEST:: SOT 335815 SOS 74116 HAS SOPS 74116 HAS SOUS 57677 HAS SOUPS 57677 WITH SCORE 57751.116
AT ITER 2245 NEW BEST:: SOT 335767 SOS 74075 HAS SOPS 74075 HAS SOUS 57636 HAS SOUPS 57636 WITH SCORE 57710.075
AT ITER 2298 NEW BEST:: SOT 335687 SOS 73850 HAS SOPS 73850 HAS SOUS 57411 HAS SOUPS 57411 WITH SCORE 57484.85
AT ITER 2300 NEW BEST:: SOT 335603 SOS 75195 HAS SOPS 75195 HAS SOUS 57354 HAS SOUPS 57354 WITH SCORE 57429.195
AT ITER 2302 NEW BEST:: SOT 335603 SOS 75193 HAS SOPS 75193 HAS SOUS 57352 HAS SOUPS 57352 WITH SCORE 57427.193
AT ITER 2308 NEW BEST:: SOT 335594 SOS 75227 HAS SOPS 75227 HAS SOUS 57343 HAS SOUPS 57343 WITH SCORE 57418.227
AT ITER 2309 NEW BEST:: SOT 335555 SOS 75149 HAS SOPS 75149 HAS SOUS 57304 HAS SOUPS 57304 WITH SCORE 57379.149
AT ITER 2314 NEW BEST:: SOT 335554 SOS 75148 HAS SOPS 75148 HAS SOUS 57303 HAS SOUPS 57303 WITH SCORE 57378.148
AT ITER 2318 NEW BEST:: SOT 335428 SOS 74959 HAS SOPS 74959 HAS SOUS 57177 HAS SOUPS 57177 WITH SCORE 57251.959
AT ITER 2331 NEW BEST:: SOT 335435 SOS 74988 HAS SOPS 74988 HAS SOUS 57169 HAS SOUPS 57169 WITH SCORE 57243.988
AT ITER 2345 NEW BEST:: SOT 335426 SOS 74970 HAS SOPS 74970 HAS SOUS 57151 HAS SOUPS 57151 WITH SCORE 57225.97
AT ITER 2375 NEW BEST:: SOT 335410 SOS 74954 HAS SOPS 74954 HAS SOUS 57135 HAS SOUPS 57135 WITH SCORE 57209.954
AT ITER 2389 NEW BEST:: SOT 335396 SOS 74926 HAS SOPS 74926 HAS SOUS 57121 HAS SOUPS 57121 WITH SCORE 57195.926
AT ITER 2408 NEW BEST:: SOT 335298 SOS 74820 HAS SOPS 74820 HAS SOUS 57068 HAS SOUPS 57068 WITH SCORE 57142.82
AT ITER 2413 NEW BEST:: SOT 334977 SOS 77291 HAS SOPS 77291 HAS SOUS 57027 HAS SOUPS 57027 WITH SCORE 57104.291
AT ITER 2415 NEW BEST:: SOT 334962 SOS 77271 HAS SOPS 77271 HAS SOUS 57007 HAS SOUPS 57007 WITH SCORE 57084.271
AT ITER 2442 NEW BEST:: SOT 334767 SOS 76950 HAS SOPS 76950 HAS SOUS 56842 HAS SOUPS 56842 WITH SCORE 56918.95
AT ITER 2461 NEW BEST:: SOT 334754 SOS 76962 HAS SOPS 76962 HAS SOUS 56822 HAS SOUPS 56822 WITH SCORE 56898.962
AT ITER 2472 NEW BEST:: SOT 334722 SOS 76702 HAS SOPS 76702 HAS SOUS 56730 HAS SOUPS 56730 WITH SCORE 56806.702
AT ITER 2496 NEW BEST:: SOT 334684 SOS 76664 HAS SOPS 76664 HAS SOUS 56692 HAS SOUPS 56692 WITH SCORE 56768.664
AT ITER 2497 NEW BEST:: SOT 333620 SOS 76460 HAS SOPS 76460 HAS SOUS 55902 HAS SOUPS 55902 WITH SCORE 55978.46
AT ITER 2503 NEW BEST:: SOT 333593 SOS 76406 HAS SOPS 76406 HAS SOUS 55815 HAS SOUPS 55815 WITH SCORE 55891.406
AT ITER 2504 NEW BEST:: SOT 333563 SOS 76376 HAS SOPS 76376 HAS SOUS 55785 HAS SOUPS 55785 WITH SCORE 55861.376
AT ITER 2509 NEW BEST:: SOT 333393 SOS 76120 HAS SOPS 76120 HAS SOUS 55747 HAS SOUPS 55747 WITH SCORE 55823.12
AT ITER 2510 NEW BEST:: SOT 333370 SOS 76074 HAS SOPS 76074 HAS SOUS 55701 HAS SOUPS 55701 WITH SCORE 55777.074
AT ITER 2542 NEW BEST:: SOT 333370 SOS 76067 HAS SOPS 76067 HAS SOUS 55694 HAS SOUPS 55694 WITH SCORE 55770.067
AT ITER 2548 NEW BEST:: SOT 333370 SOS 76011 HAS SOPS 76011 HAS SOUS 55681 HAS SOUPS 55681 WITH SCORE 55757.011
AT ITER 2579 NEW BEST:: SOT 333365 SOS 76006 HAS SOPS 76006 HAS SOUS 55672 HAS SOUPS 55672 WITH SCORE 55748.006
AT ITER 2646 NEW BEST:: SOT 333365 SOS 75926 HAS SOPS 75926 HAS SOUS 55672 HAS SOUPS 55672 WITH SCORE 55747.926
AT ITER 2671 NEW BEST:: SOT 333390 SOS 75863 HAS SOPS 75863 HAS SOUS 55646 HAS SOUPS 55646 WITH SCORE 55721.863
AT ITER 2677 NEW BEST:: SOT 333381 SOS 75854 HAS SOPS 75854 HAS SOUS 55644 HAS SOUPS 55644 WITH SCORE 55719.854
AT ITER 2682 NEW BEST:: SOT 333367 SOS 75826 HAS SOPS 75826 HAS SOUS 55616 HAS SOUPS 55616 WITH SCORE 55691.826
AT ITER 2706 NEW BEST:: SOT 333361 SOS 75820 HAS SOPS 75820 HAS SOUS 55604 HAS SOUPS 55604 WITH SCORE 55679.82
AT ITER 2714 NEW BEST:: SOT 333350 SOS 75798 HAS SOPS 75798 HAS SOUS 55592 HAS SOUPS 55592 WITH SCORE 55667.798
AT ITER 2724 NEW BEST:: SOT 333346 SOS 75790 HAS SOPS 75790 HAS SOUS 55585 HAS SOUPS 55585 WITH SCORE 55660.79
AT ITER 2732 NEW BEST:: SOT 333346 SOS 75752 HAS SOPS 75752 HAS SOUS 55585 HAS SOUPS 55585 WITH SCORE 55660.752
AT ITER 2737 NEW BEST:: SOT 333328 SOS 75716 HAS SOPS 75716 HAS SOUS 55549 HAS SOUPS 55549 WITH SCORE 55624.716
AT ITER 2739 NEW BEST:: SOT 333328 SOS 75716 HAS SOPS 75716 HAS SOUS 55548 HAS SOUPS 55548 WITH SCORE 55623.716
AT ITER 2750 NEW BEST:: SOT 333325 SOS 75710 HAS SOPS 75710 HAS SOUS 55542 HAS SOUPS 55542 WITH SCORE 55617.71
AT ITER 2754 NEW BEST:: SOT 333298 SOS 75683 HAS SOPS 75683 HAS SOUS 55515 HAS SOUPS 55515 WITH SCORE 55590.683
AT ITER 2770 NEW BEST:: SOT 333146 SOS 75491 HAS SOPS 75491 HAS SOUS 55435 HAS SOUPS 55435 WITH SCORE 55510.491
AT ITER 2772 NEW BEST:: SOT 333132 SOS 75477 HAS SOPS 75477 HAS SOUS 55421 HAS SOUPS 55421 WITH SCORE 55496.477
AT ITER 2774 NEW BEST:: SOT 332801 SOS 76856 HAS SOPS 76856 HAS SOUS 55368 HAS SOUPS 55368 WITH SCORE 55444.856
AT ITER 2775 NEW BEST:: SOT 332757 SOS 76768 HAS SOPS 76768 HAS SOUS 55324 HAS SOUPS 55324 WITH SCORE 55400.768
AT ITER 2779 NEW BEST:: SOT 332713 SOS 76724 HAS SOPS 76724 HAS SOUS 55318 HAS SOUPS 55318 WITH SCORE 55394.724
AT ITER 2789 NEW BEST:: SOT 332614 SOS 76600 HAS SOPS 76600 HAS SOUS 55293 HAS SOUPS 55293 WITH SCORE 55369.6
AT ITER 2813 NEW BEST:: SOT 332384 SOS 76450 HAS SOPS 76450 HAS SOUS 55258 HAS SOUPS 55258 WITH SCORE 55334.45
AT ITER 2814 NEW BEST:: SOT 332369 SOS 76366 HAS SOPS 76366 HAS SOUS 55174 HAS SOUPS 55174 WITH SCORE 55250.366
AT ITER 2842 NEW BEST:: SOT 332340 SOS 76298 HAS SOPS 76298 HAS SOUS 55106 HAS SOUPS 55106 WITH SCORE 55182.298
AT ITER 2845 NEW BEST:: SOT 332316 SOS 76250 HAS SOPS 76250 HAS SOUS 55081 HAS SOUPS 55081 WITH SCORE 55157.25
AT ITER 2870 NEW BEST:: SOT 332316 SOS 76250 HAS SOPS 76250 HAS SOUS 55056 HAS SOUPS 55056 WITH SCORE 55132.25
AT ITER 2889 NEW BEST:: SOT 332316 SOS 76230 HAS SOPS 76230 HAS SOUS 55036 HAS SOUPS 55036 WITH SCORE 55112.23
AT ITER 2910 NEW BEST:: SOT 332315 SOS 76228 HAS SOPS 76228 HAS SOUS 55035 HAS SOUPS 55035 WITH SCORE 55111.228
AT ITER 2915 NEW BEST:: SOT 332291 SOS 76204 HAS SOPS 76204 HAS SOUS 55035 HAS SOUPS 55035 WITH SCORE 55111.204
AT ITER 2916 NEW BEST:: SOT 332210 SOS 76042 HAS SOPS 76042 HAS SOUS 54873 HAS SOUPS 54873 WITH SCORE 54949.042
AT ITER 2934 NEW BEST:: SOT 332206 SOS 76034 HAS SOPS 76034 HAS SOUS 54865 HAS SOUPS 54865 WITH SCORE 54941.034
AT ITER 2942 NEW BEST:: SOT 332202 SOS 76026 HAS SOPS 76026 HAS SOUS 54857 HAS SOUPS 54857 WITH SCORE 54933.026
AT ITER 2954 NEW BEST:: SOT 332082 SOS 75924 HAS SOPS 75924 HAS SOUS 54736 HAS SOUPS 54736 WITH SCORE 54811.924
AT ITER 2965 NEW BEST:: SOT 332066 SOS 75892 HAS SOPS 75892 HAS SOUS 54704 HAS SOUPS 54704 WITH SCORE 54779.892
AT ITER 2983 NEW BEST:: SOT 332066 SOS 75754 HAS SOPS 75754 HAS SOUS 54704 HAS SOUPS 54704 WITH SCORE 54779.754
AT ITER 2992 NEW BEST:: SOT 332047 SOS 75716 HAS SOPS 75716 HAS SOUS 54685 HAS SOUPS 54685 WITH SCORE 54760.716
AT ITER 2994 NEW BEST:: SOT 331818 SOS 75258 HAS SOPS 75258 HAS SOUS 54612 HAS SOUPS 54612 WITH SCORE 54687.258
AT ITER 3005 NEW BEST:: SOT 331821 SOS 75261 HAS SOPS 75261 HAS SOUS 54609 HAS SOUPS 54609 WITH SCORE 54684.261
AT ITER 3007 NEW BEST:: SOT 331642 SOS 75082 HAS SOPS 75082 HAS SOUS 54584 HAS SOUPS 54584 WITH SCORE 54659.082
AT ITER 3008 NEW BEST:: SOT 331609 SOS 75016 HAS SOPS 75016 HAS SOUS 54551 HAS SOUPS 54551 WITH SCORE 54626.016
AT ITER 3014 NEW BEST:: SOT 331626 SOS 75050 HAS SOPS 75050 HAS SOUS 54479 HAS SOUPS 54479 WITH SCORE 54554.05
AT ITER 3017 NEW BEST:: SOT 331398 SOS 74738 HAS SOPS 74738 HAS SOUS 54235 HAS SOUPS 54235 WITH SCORE 54309.738
AT ITER 3028 NEW BEST:: SOT 331387 SOS 74731 HAS SOPS 74731 HAS SOUS 54228 HAS SOUPS 54228 WITH SCORE 54302.731
AT ITER 3030 NEW BEST:: SOT 331374 SOS 74718 HAS SOPS 74718 HAS SOUS 54215 HAS SOUPS 54215 WITH SCORE 54289.718
AT ITER 3041 NEW BEST:: SOT 331281 SOS 74580 HAS SOPS 74580 HAS SOUS 54122 HAS SOUPS 54122 WITH SCORE 54196.58
AT ITER 3067 NEW BEST:: SOT 331263 SOS 74480 HAS SOPS 74480 HAS SOUS 54104 HAS SOUPS 54104 WITH SCORE 54178.48
AT ITER 3071 NEW BEST:: SOT 331271 SOS 74433 HAS SOPS 74433 HAS SOUS 54049 HAS SOUPS 54049 WITH SCORE 54123.433
AT ITER 3076 NEW BEST:: SOT 331190 SOS 74271 HAS SOPS 74271 HAS SOUS 54005 HAS SOUPS 54005 WITH SCORE 54079.271
AT ITER 3080 NEW BEST:: SOT 331119 SOS 74739 HAS SOPS 74739 HAS SOUS 53944 HAS SOUPS 53944 WITH SCORE 54018.739
AT ITER 3101 NEW BEST:: SOT 331192 SOS 74691 HAS SOPS 74691 HAS SOUS 53896 HAS SOUPS 53896 WITH SCORE 53970.691
AT ITER 3116 NEW BEST:: SOT 331181 SOS 74669 HAS SOPS 74669 HAS SOUS 53874 HAS SOUPS 53874 WITH SCORE 53948.669
AT ITER 3123 NEW BEST:: SOT 331170 SOS 74647 HAS SOPS 74647 HAS SOUS 53852 HAS SOUPS 53852 WITH SCORE 53926.647
AT ITER 3143 NEW BEST:: SOT 331215 SOS 74686 HAS SOPS 74686 HAS SOUS 53846 HAS SOUPS 53846 WITH SCORE 53920.686
AT ITER 3161 NEW BEST:: SOT 331252 SOS 74662 HAS SOPS 74662 HAS SOUS 53784 HAS SOUPS 53784 WITH SCORE 53858.662
AT ITER 3174 NEW BEST:: SOT 331162 SOS 74558 HAS SOPS 74558 HAS SOUS 53680 HAS SOUPS 53680 WITH SCORE 53754.558
AT ITER 3175 NEW BEST:: SOT 331157 SOS 74553 HAS SOPS 74553 HAS SOUS 53675 HAS SOUPS 53675 WITH SCORE 53749.553
AT ITER 3180 NEW BEST:: SOT 331024 SOS 74287 HAS SOPS 74287 HAS SOUS 53560 HAS SOUPS 53560 WITH SCORE 53634.287
AT ITER 3204 NEW BEST:: SOT 330808 SOS 74097 HAS SOPS 74097 HAS SOUS 53474 HAS SOUPS 53474 WITH SCORE 53548.097
AT ITER 3232 NEW BEST:: SOT 330808 SOS 74097 HAS SOPS 74097 HAS SOUS 53452 HAS SOUPS 53452 WITH SCORE 53526.097
AT ITER 3236 NEW BEST:: SOT 330800 SOS 74081 HAS SOPS 74081 HAS SOUS 53395 HAS SOUPS 53395 WITH SCORE 53469.081
AT ITER 3238 NEW BEST:: SOT 330797 SOS 74078 HAS SOPS 74078 HAS SOUS 53392 HAS SOUPS 53392 WITH SCORE 53466.078
AT ITER 3241 NEW BEST:: SOT 330790 SOS 74071 HAS SOPS 74071 HAS SOUS 53378 HAS SOUPS 53378 WITH SCORE 53452.071
AT ITER 3243 NEW BEST:: SOT 330713 SOS 73855 HAS SOPS 73855 HAS SOUS 53286 HAS SOUPS 53286 WITH SCORE 53359.855
AT ITER 3266 NEW BEST:: SOT 330713 SOS 73791 HAS SOPS 73791 HAS SOUS 53222 HAS SOUPS 53222 WITH SCORE 53295.791
AT ITER 3270 NEW BEST:: SOT 330619 SOS 73657 HAS SOPS 73657 HAS SOUS 53128 HAS SOUPS 53128 WITH SCORE 53201.657
AT ITER 3310 NEW BEST:: SOT 330591 SOS 73661 HAS SOPS 73661 HAS SOUS 53100 HAS SOUPS 53100 WITH SCORE 53173.661
AT ITER 3324 NEW BEST:: SOT 330491 SOS 73461 HAS SOPS 73461 HAS SOUS 52875 HAS SOUPS 52875 WITH SCORE 52948.461
AT ITER 3339 NEW BEST:: SOT 330491 SOS 73447 HAS SOPS 73447 HAS SOUS 52861 HAS SOUPS 52861 WITH SCORE 52934.447
AT ITER 3357 NEW BEST:: SOT 330600 SOS 73464 HAS SOPS 73464 HAS SOUS 52783 HAS SOUPS 52783 WITH SCORE 52856.464
AT ITER 3379 NEW BEST:: SOT 330579 SOS 73422 HAS SOPS 73422 HAS SOUS 52741 HAS SOUPS 52741 WITH SCORE 52814.422
AT ITER 3387 NEW BEST:: SOT 330589 SOS 73432 HAS SOPS 73432 HAS SOUS 52697 HAS SOUPS 52697 WITH SCORE 52770.432
AT ITER 3392 NEW BEST:: SOT 330610 SOS 73474 HAS SOPS 73474 HAS SOUS 52694 HAS SOUPS 52694 WITH SCORE 52767.474
AT ITER 3409 NEW BEST:: SOT 330597 SOS 73448 HAS SOPS 73448 HAS SOUS 52680 HAS SOUPS 52680 WITH SCORE 52753.448
AT ITER 3425 NEW BEST:: SOT 330521 SOS 73411 HAS SOPS 73411 HAS SOUS 52604 HAS SOUPS 52604 WITH SCORE 52677.411
AT ITER 3429 NEW BEST:: SOT 330521 SOS 73405 HAS SOPS 73405 HAS SOUS 52598 HAS SOUPS 52598 WITH SCORE 52671.405
AT ITER 3449 NEW BEST:: SOT 330518 SOS 73402 HAS SOPS 73402 HAS SOUS 52595 HAS SOUPS 52595 WITH SCORE 52668.402
AT ITER 3460 NEW BEST:: SOT 330486 SOS 73338 HAS SOPS 73338 HAS SOUS 52545 HAS SOUPS 52545 WITH SCORE 52618.338
AT ITER 3493 NEW BEST:: SOT 330503 SOS 73337 HAS SOPS 73337 HAS SOUS 52544 HAS SOUPS 52544 WITH SCORE 52617.337
AT ITER 3507 NEW BEST:: SOT 330457 SOS 73492 HAS SOPS 73492 HAS SOUS 52498 HAS SOUPS 52498 WITH SCORE 52571.492
AT ITER 3516 NEW BEST:: SOT 330281 SOS 73430 HAS SOPS 73430 HAS SOUS 52330 HAS SOUPS 52330 WITH SCORE 52403.43
AT ITER 3521 NEW BEST:: SOT 330255 SOS 73378 HAS SOPS 73378 HAS SOUS 52324 HAS SOUPS 52324 WITH SCORE 52397.378
AT ITER 3524 NEW BEST:: SOT 330147 SOS 73225 HAS SOPS 73225 HAS SOUS 52306 HAS SOUPS 52306 WITH SCORE 52379.225
AT ITER 3526 NEW BEST:: SOT 330144 SOS 73219 HAS SOPS 73219 HAS SOUS 52300 HAS SOUPS 52300 WITH SCORE 52373.219
AT ITER 3544 NEW BEST:: SOT 330027 SOS 72978 HAS SOPS 72978 HAS SOUS 52231 HAS SOUPS 52231 WITH SCORE 52303.978
AT ITER 3560 NEW BEST:: SOT 329989 SOS 72952 HAS SOPS 72952 HAS SOUS 52205 HAS SOUPS 52205 WITH SCORE 52277.952
AT ITER 3567 NEW BEST:: SOT 330037 SOS 72917 HAS SOPS 72917 HAS SOUS 52192 HAS SOUPS 52192 WITH SCORE 52264.917
AT ITER 3583 NEW BEST:: SOT 329996 SOS 72872 HAS SOPS 72872 HAS SOUS 52172 HAS SOUPS 52172 WITH SCORE 52244.872
AT ITER 3584 NEW BEST:: SOT 329984 SOS 72866 HAS SOPS 72866 HAS SOUS 52172 HAS SOUPS 52172 WITH SCORE 52244.866
AT ITER 3589 NEW BEST:: SOT 329999 SOS 72897 HAS SOPS 72897 HAS SOUS 52157 HAS SOUPS 52157 WITH SCORE 52229.897
AT ITER 3623 NEW BEST:: SOT 329999 SOS 72855 HAS SOPS 72855 HAS SOUS 52115 HAS SOUPS 52115 WITH SCORE 52187.855
AT ITER 3629 NEW BEST:: SOT 329921 SOS 72699 HAS SOPS 72699 HAS SOUS 51969 HAS SOUPS 51969 WITH SCORE 52041.699
AT ITER 3761 NEW BEST:: SOT 329704 SOS 72458 HAS SOPS 72458 HAS SOUS 51824 HAS SOUPS 51824 WITH SCORE 51896.458
AT ITER 3778 NEW BEST:: SOT 329696 SOS 72450 HAS SOPS 72450 HAS SOUS 51816 HAS SOUPS 51816 WITH SCORE 51888.45
AT ITER 3790 NEW BEST:: SOT 329686 SOS 72440 HAS SOPS 72440 HAS SOUS 51788 HAS SOUPS 51788 WITH SCORE 51860.44
AT ITER 3849 NEW BEST:: SOT 329684 SOS 72436 HAS SOPS 72436 HAS SOUS 51784 HAS SOUPS 51784 WITH SCORE 51856.436
AT ITER 3857 NEW BEST:: SOT 329684 SOS 72395 HAS SOPS 72395 HAS SOUS 51784 HAS SOUPS 51784 WITH SCORE 51856.395
AT ITER 3871 NEW BEST:: SOT 329653 SOS 72380 HAS SOPS 72380 HAS SOUS 51769 HAS SOUPS 51769 WITH SCORE 51841.38
AT ITER 3886 NEW BEST:: SOT 329607 SOS 72334 HAS SOPS 72334 HAS SOUS 51723 HAS SOUPS 51723 WITH SCORE 51795.334
AT ITER 3904 NEW BEST:: SOT 329597 SOS 72294 HAS SOPS 72294 HAS SOUS 51703 HAS SOUPS 51703 WITH SCORE 51775.294
AT ITER 3913 NEW BEST:: SOT 329573 SOS 72270 HAS SOPS 72270 HAS SOUS 51655 HAS SOUPS 51655 WITH SCORE 51727.27
AT ITER 3924 NEW BEST:: SOT 329586 SOS 72270 HAS SOPS 72270 HAS SOUS 51642 HAS SOUPS 51642 WITH SCORE 51714.27
AT ITER 3931 NEW BEST:: SOT 329507 SOS 72009 HAS SOPS 72009 HAS SOUS 51365 HAS SOUPS 51365 WITH SCORE 51437.009
AT ITER 3958 NEW BEST:: SOT 329506 SOS 72007 HAS SOPS 72007 HAS SOUS 51364 HAS SOUPS 51364 WITH SCORE 51436.007
AT ITER 3982 NEW BEST:: SOT 329495 SOS 71928 HAS SOPS 71928 HAS SOUS 51296 HAS SOUPS 51296 WITH SCORE 51367.928
AT ITER 3994 NEW BEST:: SOT 329470 SOS 71867 HAS SOPS 71867 HAS SOUS 51210 HAS SOUPS 51210 WITH SCORE 51281.867
AT ITER 4028 NEW BEST:: SOT 329468 SOS 71863 HAS SOPS 71863 HAS SOUS 51208 HAS SOUPS 51208 WITH SCORE 51279.863
AT ITER 4038 NEW BEST:: SOT 329472 SOS 71816 HAS SOPS 71816 HAS SOUS 51161 HAS SOUPS 51161 WITH SCORE 51232.816
AT ITER 4045 NEW BEST:: SOT 329458 SOS 71788 HAS SOPS 71788 HAS SOUS 51133 HAS SOUPS 51133 WITH SCORE 51204.788
AT ITER 4072 NEW BEST:: SOT 329454 SOS 71782 HAS SOPS 71782 HAS SOUS 51127 HAS SOUPS 51127 WITH SCORE 51198.782
AT ITER 4083 NEW BEST:: SOT 329442 SOS 71758 HAS SOPS 71758 HAS SOUS 51103 HAS SOUPS 51103 WITH SCORE 51174.758
AT ITER 4124 NEW BEST:: SOT 329427 SOS 71728 HAS SOPS 71728 HAS SOUS 51073 HAS SOUPS 51073 WITH SCORE 51144.728
AT ITER 4126 NEW BEST:: SOT 329427 SOS 71629 HAS SOPS 71629 HAS SOUS 50952 HAS SOUPS 50952 WITH SCORE 51023.629
AT ITER 4130 NEW BEST:: SOT 329416 SOS 71538 HAS SOPS 71538 HAS SOUS 50930 HAS SOUPS 50930 WITH SCORE 51001.538
AT ITER 4145 NEW BEST:: SOT 329314 SOS 71436 HAS SOPS 71436 HAS SOUS 50828 HAS SOUPS 50828 WITH SCORE 50899.436
AT ITER 4163 NEW BEST:: SOT 329286 SOS 71408 HAS SOPS 71408 HAS SOUS 50800 HAS SOUPS 50800 WITH SCORE 50871.408
AT ITER 4189 NEW BEST:: SOT 329303 SOS 70675 HAS SOPS 70675 HAS SOUS 50758 HAS SOUPS 50758 WITH SCORE 50828.675
AT ITER 4195 NEW BEST:: SOT 329304 SOS 70302 HAS SOPS 70302 HAS SOUS 50734 HAS SOUPS 50734 WITH SCORE 50804.302
AT ITER 4205 NEW BEST:: SOT 329304 SOS 70271 HAS SOPS 70271 HAS SOUS 50734 HAS SOUPS 50734 WITH SCORE 50804.271
AT ITER 4219 NEW BEST:: SOT 329278 SOS 70245 HAS SOPS 70245 HAS SOUS 50682 HAS SOUPS 50682 WITH SCORE 50752.245
AT ITER 4243 NEW BEST:: SOT 329243 SOS 70210 HAS SOPS 70210 HAS SOUS 50647 HAS SOUPS 50647 WITH SCORE 50717.21
AT ITER 4319 NEW BEST:: SOT 329243 SOS 70190 HAS SOPS 70190 HAS SOUS 50627 HAS SOUPS 50627 WITH SCORE 50697.19
AT ITER 4324 NEW BEST:: SOT 329208 SOS 70120 HAS SOPS 70120 HAS SOUS 50623 HAS SOUPS 50623 WITH SCORE 50693.12
AT ITER 4329 NEW BEST:: SOT 329132 SOS 70044 HAS SOPS 70044 HAS SOUS 50599 HAS SOUPS 50599 WITH SCORE 50669.044
AT ITER 4352 NEW BEST:: SOT 329120 SOS 70020 HAS SOPS 70020 HAS SOUS 50587 HAS SOUPS 50587 WITH SCORE 50657.02
AT ITER 4369 NEW BEST:: SOT 329110 SOS 70000 HAS SOPS 70000 HAS SOUS 50567 HAS SOUPS 50567 WITH SCORE 50637.0
AT ITER 4383 NEW BEST:: SOT 329084 SOS 69974 HAS SOPS 69974 HAS SOUS 50541 HAS SOUPS 50541 WITH SCORE 50610.974
AT ITER 4384 NEW BEST:: SOT 329113 SOS 70032 HAS SOPS 70032 HAS SOUS 50533 HAS SOUPS 50533 WITH SCORE 50603.032
AT ITER 4397 NEW BEST:: SOT 329101 SOS 70042 HAS SOPS 70042 HAS SOUS 50510 HAS SOUPS 50510 WITH SCORE 50580.042
AT ITER 4463 NEW BEST:: SOT 329093 SOS 70038 HAS SOPS 70038 HAS SOUS 50506 HAS SOUPS 50506 WITH SCORE 50576.038
AT ITER 4494 NEW BEST:: SOT 329090 SOS 70029 HAS SOPS 70029 HAS SOUS 50500 HAS SOUPS 50500 WITH SCORE 50570.029
AT ITER 4517 NEW BEST:: SOT 329102 SOS 70041 HAS SOPS 70041 HAS SOUS 50492 HAS SOUPS 50492 WITH SCORE 50562.041
AT ITER 4519 NEW BEST:: SOT 329090 SOS 70041 HAS SOPS 70041 HAS SOUS 50483 HAS SOUPS 50483 WITH SCORE 50553.041
AT ITER 4526 NEW BEST:: SOT 329090 SOS 70013 HAS SOPS 70013 HAS SOUS 50455 HAS SOUPS 50455 WITH SCORE 50525.013
AT ITER 4535 NEW BEST:: SOT 329052 SOS 69937 HAS SOPS 69937 HAS SOUS 50379 HAS SOUPS 50379 WITH SCORE 50448.937
AT ITER 4546 NEW BEST:: SOT 329048 SOS 69929 HAS SOPS 69929 HAS SOUS 50373 HAS SOUPS 50373 WITH SCORE 50442.929
AT ITER 4565 NEW BEST:: SOT 328909 SOS 69651 HAS SOPS 69651 HAS SOUS 50251 HAS SOUPS 50251 WITH SCORE 50320.651
AT ITER 4566 NEW BEST:: SOT 328904 SOS 69705 HAS SOPS 69705 HAS SOUS 50241 HAS SOUPS 50241 WITH SCORE 50310.705
AT ITER 4577 NEW BEST:: SOT 328882 SOS 69661 HAS SOPS 69661 HAS SOUS 50197 HAS SOUPS 50197 WITH SCORE 50266.661
AT ITER 4588 NEW BEST:: SOT 328852 SOS 69631 HAS SOPS 69631 HAS SOUS 50159 HAS SOUPS 50159 WITH SCORE 50228.631
AT ITER 4606 NEW BEST:: SOT 328911 SOS 69670 HAS SOPS 69670 HAS SOUS 50140 HAS SOUPS 50140 WITH SCORE 50209.67
AT ITER 4635 NEW BEST:: SOT 328890 SOS 69628 HAS SOPS 69628 HAS SOUS 50119 HAS SOUPS 50119 WITH SCORE 50188.628
AT ITER 4645 NEW BEST:: SOT 328715 SOS 70381 HAS SOPS 70381 HAS SOUS 50045 HAS SOUPS 50045 WITH SCORE 50115.381
AT ITER 4655 NEW BEST:: SOT 328715 SOS 70349 HAS SOPS 70349 HAS SOUS 50013 HAS SOUPS 50013 WITH SCORE 50083.349
AT ITER 4664 NEW BEST:: SOT 328592 SOS 70104 HAS SOPS 70104 HAS SOUS 49863 HAS SOUPS 49863 WITH SCORE 49933.104
AT ITER 4674 NEW BEST:: SOT 328465 SOS 69977 HAS SOPS 69977 HAS SOUS 49736 HAS SOUPS 49736 WITH SCORE 49805.977
AT ITER 4675 NEW BEST:: SOT 328473 SOS 69993 HAS SOPS 69993 HAS SOUS 49732 HAS SOUPS 49732 WITH SCORE 49801.993
AT ITER 4710 NEW BEST:: SOT 328461 SOS 69969 HAS SOPS 69969 HAS SOUS 49708 HAS SOUPS 49708 WITH SCORE 49777.969
AT ITER 4733 NEW BEST:: SOT 328420 SOS 69887 HAS SOPS 69887 HAS SOUS 49633 HAS SOUPS 49633 WITH SCORE 49702.887
AT ITER 4737 NEW BEST:: SOT 328402 SOS 69827 HAS SOPS 69827 HAS SOUS 49573 HAS SOUPS 49573 WITH SCORE 49642.827
AT ITER 4746 NEW BEST:: SOT 328402 SOS 69759 HAS SOPS 69759 HAS SOUS 49539 HAS SOUPS 49539 WITH SCORE 49608.759
AT ITER 4763 NEW BEST:: SOT 328347 SOS 69584 HAS SOPS 69584 HAS SOUS 49404 HAS SOUPS 49404 WITH SCORE 49473.584
AT ITER 4773 NEW BEST:: SOT 328343 SOS 69580 HAS SOPS 69580 HAS SOUS 49400 HAS SOUPS 49400 WITH SCORE 49469.58
AT ITER 4788 NEW BEST:: SOT 328296 SOS 69533 HAS SOPS 69533 HAS SOUS 49353 HAS SOUPS 49353 WITH SCORE 49422.533
AT ITER 4794 NEW BEST:: SOT 328343 SOS 69486 HAS SOPS 69486 HAS SOUS 49353 HAS SOUPS 49353 WITH SCORE 49422.486
AT ITER 4795 NEW BEST:: SOT 328343 SOS 69470 HAS SOPS 69470 HAS SOUS 49353 HAS SOUPS 49353 WITH SCORE 49422.47
AT ITER 4861 NEW BEST:: SOT 328343 SOS 69260 HAS SOPS 69260 HAS SOUS 49353 HAS SOUPS 49353 WITH SCORE 49422.26
AT ITER 4906 NEW BEST:: SOT 328304 SOS 69182 HAS SOPS 69182 HAS SOUS 49275 HAS SOUPS 49275 WITH SCORE 49344.182
AT ITER 4933 NEW BEST:: SOT 328298 SOS 69176 HAS SOPS 69176 HAS SOUS 49269 HAS SOUPS 49269 WITH SCORE 49338.176
AT ITER 4961 NEW BEST:: SOT 328282 SOS 69168 HAS SOPS 69168 HAS SOUS 49261 HAS SOUPS 49261 WITH SCORE 49330.168
AT ITER 4984 NEW BEST:: SOT 328275 SOS 69128 HAS SOPS 69128 HAS SOUS 49247 HAS SOUPS 49247 WITH SCORE 49316.128
AT ITER 4988 NEW BEST:: SOT 328295 SOS 69148 HAS SOPS 69148 HAS SOUS 49227 HAS SOUPS 49227 WITH SCORE 49296.148
AT ITER 5026 NEW BEST:: SOT 328295 SOS 69115 HAS SOPS 69115 HAS SOUS 49194 HAS SOUPS 49194 WITH SCORE 49263.115
AT ITER 5066 NEW BEST:: SOT 328294 SOS 69265 HAS SOPS 69265 HAS SOUS 49193 HAS SOUPS 49193 WITH SCORE 49262.265
AT ITER 5081 NEW BEST:: SOT 328143 SOS 70471 HAS SOPS 70471 HAS SOUS 49158 HAS SOUPS 49158 WITH SCORE 49228.471
AT ITER 5087 NEW BEST:: SOT 327999 SOS 70327 HAS SOPS 70327 HAS SOUS 49086 HAS SOUPS 49086 WITH SCORE 49156.327
AT ITER 5127 NEW BEST:: SOT 327999 SOS 70309 HAS SOPS 70309 HAS SOUS 49086 HAS SOUPS 49086 WITH SCORE 49156.309
AT ITER 5152 NEW BEST:: SOT 327987 SOS 70264 HAS SOPS 70264 HAS SOUS 49062 HAS SOUPS 49062 WITH SCORE 49132.264
AT ITER 5188 NEW BEST:: SOT 327979 SOS 70248 HAS SOPS 70248 HAS SOUS 49054 HAS SOUPS 49054 WITH SCORE 49124.248
AT ITER 5194 NEW BEST:: SOT 327979 SOS 70240 HAS SOPS 70240 HAS SOUS 49054 HAS SOUPS 49054 WITH SCORE 49124.24
AT ITER 5218 NEW BEST:: SOT 327953 SOS 70137 HAS SOPS 70137 HAS SOUS 49002 HAS SOUPS 49002 WITH SCORE 49072.137
AT ITER 5228 NEW BEST:: SOT 327949 SOS 70129 HAS SOPS 70129 HAS SOUS 48994 HAS SOUPS 48994 WITH SCORE 49064.129
AT ITER 5245 NEW BEST:: SOT 327857 SOS 69945 HAS SOPS 69945 HAS SOUS 48807 HAS SOUPS 48807 WITH SCORE 48876.945
AT ITER 5251 NEW BEST:: SOT 327844 SOS 69919 HAS SOPS 69919 HAS SOUS 48781 HAS SOUPS 48781 WITH SCORE 48850.919
AT ITER 5265 NEW BEST:: SOT 327836 SOS 69810 HAS SOPS 69810 HAS SOUS 48765 HAS SOUPS 48765 WITH SCORE 48834.81
AT ITER 5272 NEW BEST:: SOT 327829 SOS 69796 HAS SOPS 69796 HAS SOUS 48758 HAS SOUPS 48758 WITH SCORE 48827.796
AT ITER 5297 NEW BEST:: SOT 327817 SOS 69772 HAS SOPS 69772 HAS SOUS 48734 HAS SOUPS 48734 WITH SCORE 48803.772
AT ITER 5316 NEW BEST:: SOT 327817 SOS 69772 HAS SOPS 69772 HAS SOUS 48722 HAS SOUPS 48722 WITH SCORE 48791.772
AT ITER 5338 NEW BEST:: SOT 327851 SOS 69753 HAS SOPS 69753 HAS SOUS 48703 HAS SOUPS 48703 WITH SCORE 48772.753
AT ITER 5353 NEW BEST:: SOT 327851 SOS 69746 HAS SOPS 69746 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48765.746
AT ITER 5381 NEW BEST:: SOT 327851 SOS 69724 HAS SOPS 69724 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48765.724
AT ITER 5408 NEW BEST:: SOT 327838 SOS 69698 HAS SOPS 69698 HAS SOUS 48670 HAS SOUPS 48670 WITH SCORE 48739.698
AT ITER 5418 NEW BEST:: SOT 327833 SOS 69668 HAS SOPS 69668 HAS SOUS 48665 HAS SOUPS 48665 WITH SCORE 48734.668
AT ITER 5435 NEW BEST:: SOT 327832 SOS 69666 HAS SOPS 69666 HAS SOUS 48648 HAS SOUPS 48648 WITH SCORE 48717.666
AT ITER 5451 NEW BEST:: SOT 327686 SOS 69349 HAS SOPS 69349 HAS SOUS 48464 HAS SOUPS 48464 WITH SCORE 48533.349
AT ITER 5459 NEW BEST:: SOT 327686 SOS 69349 HAS SOPS 69349 HAS SOUS 48432 HAS SOUPS 48432 WITH SCORE 48501.349
AT ITER 5469 NEW BEST:: SOT 327594 SOS 69257 HAS SOPS 69257 HAS SOUS 48381 HAS SOUPS 48381 WITH SCORE 48450.257
AT ITER 5480 NEW BEST:: SOT 327533 SOS 69175 HAS SOPS 69175 HAS SOUS 48319 HAS SOUPS 48319 WITH SCORE 48388.175
AT ITER 5513 NEW BEST:: SOT 327497 SOS 69149 HAS SOPS 69149 HAS SOUS 48284 HAS SOUPS 48284 WITH SCORE 48353.149
AT ITER 5561 NEW BEST:: SOT 327497 SOS 69131 HAS SOPS 69131 HAS SOUS 48266 HAS SOUPS 48266 WITH SCORE 48335.131
AT ITER 5569 NEW BEST:: SOT 327492 SOS 69126 HAS SOPS 69126 HAS SOUS 48261 HAS SOUPS 48261 WITH SCORE 48330.126
AT ITER 5598 NEW BEST:: SOT 327372 SOS 69006 HAS SOPS 69006 HAS SOUS 48209 HAS SOUPS 48209 WITH SCORE 48278.006
AT ITER 5601 NEW BEST:: SOT 327297 SOS 68932 HAS SOPS 68932 HAS SOUS 48206 HAS SOUPS 48206 WITH SCORE 48274.932
AT ITER 5617 NEW BEST:: SOT 327253 SOS 68813 HAS SOPS 68813 HAS SOUS 48131 HAS SOUPS 48131 WITH SCORE 48199.813
AT ITER 5628 NEW BEST:: SOT 327278 SOS 68800 HAS SOPS 68800 HAS SOUS 48118 HAS SOUPS 48118 WITH SCORE 48186.8
AT ITER 5629 NEW BEST:: SOT 327278 SOS 68785 HAS SOPS 68785 HAS SOUS 48103 HAS SOUPS 48103 WITH SCORE 48171.785
AT ITER 5632 NEW BEST:: SOT 327273 SOS 68775 HAS SOPS 68775 HAS SOUS 48093 HAS SOUPS 48093 WITH SCORE 48161.775
AT ITER 5642 NEW BEST:: SOT 327282 SOS 68784 HAS SOPS 68784 HAS SOUS 48061 HAS SOUPS 48061 WITH SCORE 48129.784
AT ITER 5652 NEW BEST:: SOT 327263 SOS 68746 HAS SOPS 68746 HAS SOUS 48023 HAS SOUPS 48023 WITH SCORE 48091.746
AT ITER 5663 NEW BEST:: SOT 327255 SOS 68745 HAS SOPS 68745 HAS SOUS 48022 HAS SOUPS 48022 WITH SCORE 48090.745
AT ITER 5722 NEW BEST:: SOT 327255 SOS 68736 HAS SOPS 68736 HAS SOUS 48022 HAS SOUPS 48022 WITH SCORE 48090.736
AT ITER 5747 NEW BEST:: SOT 327262 SOS 68732 HAS SOPS 68732 HAS SOUS 48018 HAS SOUPS 48018 WITH SCORE 48086.732
AT ITER 5755 NEW BEST:: SOT 327262 SOS 68732 HAS SOPS 68732 HAS SOUS 48005 HAS SOUPS 48005 WITH SCORE 48073.732
AT ITER 5772 NEW BEST:: SOT 327228 SOS 68681 HAS SOPS 68681 HAS SOUS 47954 HAS SOUPS 47954 WITH SCORE 48022.681
AT ITER 5773 NEW BEST:: SOT 327231 SOS 68537 HAS SOPS 68537 HAS SOUS 47885 HAS SOUPS 47885 WITH SCORE 47953.537
AT ITER 5778 NEW BEST:: SOT 327223 SOS 68516 HAS SOPS 68516 HAS SOUS 47877 HAS SOUPS 47877 WITH SCORE 47945.516
AT ITER 5792 NEW BEST:: SOT 327288 SOS 68625 HAS SOPS 68625 HAS SOUS 47826 HAS SOUPS 47826 WITH SCORE 47894.625
AT ITER 5793 NEW BEST:: SOT 327160 SOS 68457 HAS SOPS 68457 HAS SOUS 47702 HAS SOUPS 47702 WITH SCORE 47770.457
AT ITER 5795 NEW BEST:: SOT 327127 SOS 68629 HAS SOPS 68629 HAS SOUS 47686 HAS SOUPS 47686 WITH SCORE 47754.629
AT ITER 5828 NEW BEST:: SOT 327109 SOS 68603 HAS SOPS 68603 HAS SOUS 47660 HAS SOUPS 47660 WITH SCORE 47728.603
AT ITER 5833 NEW BEST:: SOT 327050 SOS 68552 HAS SOPS 68552 HAS SOUS 47609 HAS SOUPS 47609 WITH SCORE 47677.552
AT ITER 5838 NEW BEST:: SOT 327097 SOS 68586 HAS SOPS 68586 HAS SOUS 47605 HAS SOUPS 47605 WITH SCORE 47673.586
AT ITER 5839 NEW BEST:: SOT 327078 SOS 68548 HAS SOPS 68548 HAS SOUS 47586 HAS SOUPS 47586 WITH SCORE 47654.548
AT ITER 5846 NEW BEST:: SOT 327070 SOS 68497 HAS SOPS 68497 HAS SOUS 47535 HAS SOUPS 47535 WITH SCORE 47603.497
AT ITER 5850 NEW BEST:: SOT 327255 SOS 68867 HAS SOPS 68867 HAS SOUS 47533 HAS SOUPS 47533 WITH SCORE 47601.867
AT ITER 5852 NEW BEST:: SOT 327199 SOS 68811 HAS SOPS 68811 HAS SOUS 47530 HAS SOUPS 47530 WITH SCORE 47598.811
AT ITER 5861 NEW BEST:: SOT 327115 SOS 68643 HAS SOPS 68643 HAS SOUS 47446 HAS SOUPS 47446 WITH SCORE 47514.643
AT ITER 5864 NEW BEST:: SOT 327115 SOS 68643 HAS SOPS 68643 HAS SOUS 47443 HAS SOUPS 47443 WITH SCORE 47511.643
AT ITER 5869 NEW BEST:: SOT 327159 SOS 68624 HAS SOPS 68624 HAS SOUS 47400 HAS SOUPS 47400 WITH SCORE 47468.624
AT ITER 5899 NEW BEST:: SOT 327011 SOS 68328 HAS SOPS 68328 HAS SOUS 47280 HAS SOUPS 47280 WITH SCORE 47348.328
AT ITER 5906 NEW BEST:: SOT 326939 SOS 68234 HAS SOPS 68234 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47254.234
AT ITER 5916 NEW BEST:: SOT 326939 SOS 68231 HAS SOPS 68231 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47254.231
AT ITER 5921 NEW BEST:: SOT 326954 SOS 68204 HAS SOPS 68204 HAS SOUS 47159 HAS SOUPS 47159 WITH SCORE 47227.204
AT ITER 5927 NEW BEST:: SOT 326916 SOS 68128 HAS SOPS 68128 HAS SOUS 47080 HAS SOUPS 47080 WITH SCORE 47148.128
AT ITER 5965 NEW BEST:: SOT 326952 SOS 68016 HAS SOPS 68016 HAS SOUS 47049 HAS SOUPS 47049 WITH SCORE 47117.016
AT ITER 5974 NEW BEST:: SOT 326933 SOS 67997 HAS SOPS 67997 HAS SOUS 47024 HAS SOUPS 47024 WITH SCORE 47091.997
AT ITER 5986 NEW BEST:: SOT 327127 SOS 68178 HAS SOPS 68178 HAS SOUS 47007 HAS SOUPS 47007 WITH SCORE 47075.178
AT ITER 6009 NEW BEST:: SOT 327125 SOS 68116 HAS SOPS 68116 HAS SOUS 46924 HAS SOUPS 46924 WITH SCORE 46992.116
AT ITER 6021 NEW BEST:: SOT 327125 SOS 68108 HAS SOPS 68108 HAS SOUS 46924 HAS SOUPS 46924 WITH SCORE 46992.108
AT ITER 6059 NEW BEST:: SOT 327091 SOS 68004 HAS SOPS 68004 HAS SOUS 46856 HAS SOUPS 46856 WITH SCORE 46924.004
AT ITER 6066 NEW BEST:: SOT 327082 SOS 67986 HAS SOPS 67986 HAS SOUS 46847 HAS SOUPS 46847 WITH SCORE 46914.986
AT ITER 6067 NEW BEST:: SOT 327072 SOS 68046 HAS SOPS 68046 HAS SOUS 46826 HAS SOUPS 46826 WITH SCORE 46894.046
AT ITER 6075 NEW BEST:: SOT 327160 SOS 68118 HAS SOPS 68118 HAS SOUS 46819 HAS SOUPS 46819 WITH SCORE 46887.118
AT ITER 6089 NEW BEST:: SOT 327028 SOS 68114 HAS SOPS 68114 HAS SOUS 46721 HAS SOUPS 46721 WITH SCORE 46789.114
AT ITER 6126 NEW BEST:: SOT 327026 SOS 68112 HAS SOPS 68112 HAS SOUS 46720 HAS SOUPS 46720 WITH SCORE 46788.112
AT ITER 6129 NEW BEST:: SOT 327029 SOS 68099 HAS SOPS 68099 HAS SOUS 46702 HAS SOUPS 46702 WITH SCORE 46770.099
AT ITER 6144 NEW BEST:: SOT 327029 SOS 68096 HAS SOPS 68096 HAS SOUS 46696 HAS SOUPS 46696 WITH SCORE 46764.096
AT ITER 6189 NEW BEST:: SOT 327029 SOS 68096 HAS SOPS 68096 HAS SOUS 46695 HAS SOUPS 46695 WITH SCORE 46763.096
AT ITER 6205 NEW BEST:: SOT 326891 SOS 67834 HAS SOPS 67834 HAS SOUS 46564 HAS SOUPS 46564 WITH SCORE 46631.834
AT ITER 6218 NEW BEST:: SOT 326889 SOS 67832 HAS SOPS 67832 HAS SOUS 46562 HAS SOUPS 46562 WITH SCORE 46629.832
AT ITER 6261 NEW BEST:: SOT 326784 SOS 67622 HAS SOPS 67622 HAS SOUS 46352 HAS SOUPS 46352 WITH SCORE 46419.622
AT ITER 6269 NEW BEST:: SOT 326744 SOS 67582 HAS SOPS 67582 HAS SOUS 46352 HAS SOUPS 46352 WITH SCORE 46419.582
AT ITER 6283 NEW BEST:: SOT 326638 SOS 67317 HAS SOPS 67317 HAS SOUS 46193 HAS SOUPS 46193 WITH SCORE 46260.317
AT ITER 6291 NEW BEST:: SOT 326671 SOS 67383 HAS SOPS 67383 HAS SOUS 46185 HAS SOUPS 46185 WITH SCORE 46252.383
AT ITER 6292 NEW BEST:: SOT 326651 SOS 67343 HAS SOPS 67343 HAS SOUS 46160 HAS SOUPS 46160 WITH SCORE 46227.343
AT ITER 6337 NEW BEST:: SOT 326604 SOS 67299 HAS SOPS 67299 HAS SOUS 46096 HAS SOUPS 46096 WITH SCORE 46163.299
AT ITER 6339 NEW BEST:: SOT 326588 SOS 67371 HAS SOPS 67371 HAS SOUS 46088 HAS SOUPS 46088 WITH SCORE 46155.371
AT ITER 6342 NEW BEST:: SOT 326587 SOS 67677 HAS SOPS 67677 HAS SOUS 46087 HAS SOUPS 46087 WITH SCORE 46154.677
AT ITER 6350 NEW BEST:: SOT 326496 SOS 67495 HAS SOPS 67495 HAS SOUS 46087 HAS SOUPS 46087 WITH SCORE 46154.495
AT ITER 6370 NEW BEST:: SOT 326493 SOS 67489 HAS SOPS 67489 HAS SOUS 46086 HAS SOUPS 46086 WITH SCORE 46153.489
AT ITER 6383 NEW BEST:: SOT 326489 SOS 67465 HAS SOPS 67465 HAS SOUS 46082 HAS SOUPS 46082 WITH SCORE 46149.465
AT ITER 6417 NEW BEST:: SOT 326466 SOS 67419 HAS SOPS 67419 HAS SOUS 46059 HAS SOUPS 46059 WITH SCORE 46126.419
AT ITER 6422 NEW BEST:: SOT 326502 SOS 67422 HAS SOPS 67422 HAS SOUS 46050 HAS SOUPS 46050 WITH SCORE 46117.422
AT ITER 6438 NEW BEST:: SOT 326435 SOS 67490 HAS SOPS 67490 HAS SOUS 46010 HAS SOUPS 46010 WITH SCORE 46077.49
AT ITER 6443 NEW BEST:: SOT 326370 SOS 67348 HAS SOPS 67348 HAS SOUS 45868 HAS SOUPS 45868 WITH SCORE 45935.348
AT ITER 6464 NEW BEST:: SOT 326386 SOS 67323 HAS SOPS 67323 HAS SOUS 45827 HAS SOUPS 45827 WITH SCORE 45894.323
AT ITER 6503 NEW BEST:: SOT 326230 SOS 67123 HAS SOPS 67123 HAS SOUS 45809 HAS SOUPS 45809 WITH SCORE 45876.123
AT ITER 6551 NEW BEST:: SOT 326212 SOS 66903 HAS SOPS 66903 HAS SOUS 45773 HAS SOUPS 45773 WITH SCORE 45839.903
AT ITER 6557 NEW BEST:: SOT 326165 SOS 66809 HAS SOPS 66809 HAS SOUS 45741 HAS SOUPS 45741 WITH SCORE 45807.809
AT ITER 6561 NEW BEST:: SOT 326165 SOS 66809 HAS SOPS 66809 HAS SOUS 45724 HAS SOUPS 45724 WITH SCORE 45790.809
AT ITER 6582 NEW BEST:: SOT 326150 SOS 66749 HAS SOPS 66749 HAS SOUS 45694 HAS SOUPS 45694 WITH SCORE 45760.749
AT ITER 6635 NEW BEST:: SOT 326120 SOS 66689 HAS SOPS 66689 HAS SOUS 45634 HAS SOUPS 45634 WITH SCORE 45700.689
AT ITER 6653 NEW BEST:: SOT 326078 SOS 66629 HAS SOPS 66629 HAS SOUS 45574 HAS SOUPS 45574 WITH SCORE 45640.629
AT ITER 6703 NEW BEST:: SOT 326062 SOS 66597 HAS SOPS 66597 HAS SOUS 45558 HAS SOUPS 45558 WITH SCORE 45624.597
AT ITER 6766 NEW BEST:: SOT 326041 SOS 66389 HAS SOPS 66389 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45603.389
AT ITER 6799 NEW BEST:: SOT 325732 SOS 66017 HAS SOPS 66017 HAS SOUS 45377 HAS SOUPS 45377 WITH SCORE 45443.017
AT ITER 6800 NEW BEST:: SOT 325719 SOS 65959 HAS SOPS 65959 HAS SOUS 45369 HAS SOUPS 45369 WITH SCORE 45434.959
AT ITER 6843 NEW BEST:: SOT 325690 SOS 66259 HAS SOPS 66259 HAS SOUS 45368 HAS SOUPS 45368 WITH SCORE 45434.259
AT ITER 6894 NEW BEST:: SOT 325672 SOS 66241 HAS SOPS 66241 HAS SOUS 45338 HAS SOUPS 45338 WITH SCORE 45404.241
AT ITER 6904 NEW BEST:: SOT 325672 SOS 66238 HAS SOPS 66238 HAS SOUS 45338 HAS SOUPS 45338 WITH SCORE 45404.238
AT ITER 6920 NEW BEST:: SOT 325663 SOS 66118 HAS SOPS 66118 HAS SOUS 45270 HAS SOUPS 45270 WITH SCORE 45336.118
AT ITER 6929 NEW BEST:: SOT 325663 SOS 66051 HAS SOPS 66051 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45297.051
AT ITER 6935 NEW BEST:: SOT 325663 SOS 66036 HAS SOPS 66036 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45297.036
AT ITER 6954 NEW BEST:: SOT 325654 SOS 66027 HAS SOPS 66027 HAS SOUS 45222 HAS SOUPS 45222 WITH SCORE 45288.027
AT ITER 7000 NEW BEST:: SOT 325566 SOS 66021 HAS SOPS 66021 HAS SOUS 45210 HAS SOUPS 45210 WITH SCORE 45276.021
AT ITER 7015 NEW BEST:: SOT 325594 SOS 66020 HAS SOPS 66020 HAS SOUS 45209 HAS SOUPS 45209 WITH SCORE 45275.02
AT ITER 7017 NEW BEST:: SOT 325546 SOS 65974 HAS SOPS 65974 HAS SOUS 45163 HAS SOUPS 45163 WITH SCORE 45228.974
AT ITER 7049 NEW BEST:: SOT 325547 SOS 66000 HAS SOPS 66000 HAS SOUS 45133 HAS SOUPS 45133 WITH SCORE 45199.0
AT ITER 7051 NEW BEST:: SOT 325547 SOS 66000 HAS SOPS 66000 HAS SOUS 45123 HAS SOUPS 45123 WITH SCORE 45189.0
AT ITER 7086 NEW BEST:: SOT 325532 SOS 65919 HAS SOPS 65919 HAS SOUS 45060 HAS SOUPS 45060 WITH SCORE 45125.919
AT ITER 7087 NEW BEST:: SOT 325532 SOS 65890 HAS SOPS 65890 HAS SOUS 45060 HAS SOUPS 45060 WITH SCORE 45125.89
AT ITER 7142 NEW BEST:: SOT 325532 SOS 65858 HAS SOPS 65858 HAS SOUS 45060 HAS SOUPS 45060 WITH SCORE 45125.858
AT ITER 7144 NEW BEST:: SOT 325528 SOS 65854 HAS SOPS 65854 HAS SOUS 45052 HAS SOUPS 45052 WITH SCORE 45117.854
AT ITER 7152 NEW BEST:: SOT 325528 SOS 65854 HAS SOPS 65854 HAS SOUS 45016 HAS SOUPS 45016 WITH SCORE 45081.854
AT ITER 7169 NEW BEST:: SOT 325522 SOS 65867 HAS SOPS 65867 HAS SOUS 45010 HAS SOUPS 45010 WITH SCORE 45075.867
AT ITER 7289 NEW BEST:: SOT 325528 SOS 65861 HAS SOPS 65861 HAS SOUS 45010 HAS SOUPS 45010 WITH SCORE 45075.861
AT ITER 7319 NEW BEST:: SOT 325549 SOS 65814 HAS SOPS 65814 HAS SOUS 45004 HAS SOUPS 45004 WITH SCORE 45069.814
AT ITER 7339 NEW BEST:: SOT 325520 SOS 65756 HAS SOPS 65756 HAS SOUS 44975 HAS SOUPS 44975 WITH SCORE 45040.756
AT ITER 7361 NEW BEST:: SOT 325765 SOS 65511 HAS SOPS 65511 HAS SOUS 44873 HAS SOUPS 44873 WITH SCORE 44938.511
AT ITER 7392 NEW BEST:: SOT 325765 SOS 65507 HAS SOPS 65507 HAS SOUS 44873 HAS SOUPS 44873 WITH SCORE 44938.507
AT ITER 7397 NEW BEST:: SOT 325704 SOS 65422 HAS SOPS 65422 HAS SOUS 44824 HAS SOUPS 44824 WITH SCORE 44889.422
AT ITER 7401 NEW BEST:: SOT 325704 SOS 65422 HAS SOPS 65422 HAS SOUS 44820 HAS SOUPS 44820 WITH SCORE 44885.422
AT ITER 7421 NEW BEST:: SOT 325682 SOS 65378 HAS SOPS 65378 HAS SOUS 44798 HAS SOUPS 44798 WITH SCORE 44863.378
AT ITER 7460 NEW BEST:: SOT 325658 SOS 65330 HAS SOPS 65330 HAS SOUS 44762 HAS SOUPS 44762 WITH SCORE 44827.33
AT ITER 7469 NEW BEST:: SOT 325658 SOS 65330 HAS SOPS 65330 HAS SOUS 44731 HAS SOUPS 44731 WITH SCORE 44796.33
AT ITER 7472 NEW BEST:: SOT 325645 SOS 65309 HAS SOPS 65309 HAS SOUS 44718 HAS SOUPS 44718 WITH SCORE 44783.309
AT ITER 7481 NEW BEST:: SOT 325594 SOS 65258 HAS SOPS 65258 HAS SOUS 44718 HAS SOUPS 44718 WITH SCORE 44783.258
AT ITER 7503 NEW BEST:: SOT 325546 SOS 65162 HAS SOPS 65162 HAS SOUS 44692 HAS SOUPS 44692 WITH SCORE 44757.162
AT ITER 7510 NEW BEST:: SOT 325544 SOS 65160 HAS SOPS 65160 HAS SOUS 44690 HAS SOUPS 44690 WITH SCORE 44755.16
AT ITER 7617 NEW BEST:: SOT 325616 SOS 65210 HAS SOPS 65210 HAS SOUS 44683 HAS SOUPS 44683 WITH SCORE 44748.21
AT ITER 7629 NEW BEST:: SOT 325616 SOS 65186 HAS SOPS 65186 HAS SOUS 44680 HAS SOUPS 44680 WITH SCORE 44745.186
AT ITER 7647 NEW BEST:: SOT 325623 SOS 65176 HAS SOPS 65176 HAS SOUS 44670 HAS SOUPS 44670 WITH SCORE 44735.176
AT ITER 7684 NEW BEST:: SOT 325623 SOS 65156 HAS SOPS 65156 HAS SOUS 44650 HAS SOUPS 44650 WITH SCORE 44715.156
AT ITER 7687 NEW BEST:: SOT 325508 SOS 65013 HAS SOPS 65013 HAS SOUS 44565 HAS SOUPS 44565 WITH SCORE 44630.013
AT ITER 7760 NEW BEST:: SOT 325492 SOS 64981 HAS SOPS 64981 HAS SOUS 44540 HAS SOUPS 44540 WITH SCORE 44604.981
AT ITER 7781 NEW BEST:: SOT 325482 SOS 64951 HAS SOPS 64951 HAS SOUS 44530 HAS SOUPS 44530 WITH SCORE 44594.951
AT ITER 7869 NEW BEST:: SOT 325449 SOS 64918 HAS SOPS 64918 HAS SOUS 44497 HAS SOUPS 44497 WITH SCORE 44561.918
AT ITER 7902 NEW BEST:: SOT 325429 SOS 64918 HAS SOPS 64918 HAS SOUS 44484 HAS SOUPS 44484 WITH SCORE 44548.918
AT ITER 7998 NEW BEST:: SOT 325448 SOS 64878 HAS SOPS 64878 HAS SOUS 44483 HAS SOUPS 44483 WITH SCORE 44547.878
AT ITER 8000 NEW BEST:: SOT 325432 SOS 64846 HAS SOPS 64846 HAS SOUS 44467 HAS SOUPS 44467 WITH SCORE 44531.846
AT ITER 8049 NEW BEST:: SOT 325432 SOS 64843 HAS SOPS 64843 HAS SOUS 44467 HAS SOUPS 44467 WITH SCORE 44531.843
AT ITER 8073 NEW BEST:: SOT 325431 SOS 64841 HAS SOPS 64841 HAS SOUS 44465 HAS SOUPS 44465 WITH SCORE 44529.841
AT ITER 8095 NEW BEST:: SOT 325431 SOS 64841 HAS SOPS 64841 HAS SOUS 44460 HAS SOUPS 44460 WITH SCORE 44524.841
AT ITER 8102 NEW BEST:: SOT 325431 SOS 64837 HAS SOPS 64837 HAS SOUS 44456 HAS SOUPS 44456 WITH SCORE 44520.837
AT ITER 8111 NEW BEST:: SOT 325416 SOS 64807 HAS SOPS 64807 HAS SOUS 44446 HAS SOUPS 44446 WITH SCORE 44510.807
AT ITER 8119 NEW BEST:: SOT 325400 SOS 64775 HAS SOPS 64775 HAS SOUS 44446 HAS SOUPS 44446 WITH SCORE 44510.775
AT ITER 8120 NEW BEST:: SOT 325400 SOS 64663 HAS SOPS 64663 HAS SOUS 44422 HAS SOUPS 44422 WITH SCORE 44486.663
AT ITER 8144 NEW BEST:: SOT 325391 SOS 64650 HAS SOPS 64650 HAS SOUS 44409 HAS SOUPS 44409 WITH SCORE 44473.65
AT ITER 8146 NEW BEST:: SOT 325445 SOS 64694 HAS SOPS 64694 HAS SOUS 44399 HAS SOUPS 44399 WITH SCORE 44463.694
AT ITER 8188 NEW BEST:: SOT 325445 SOS 64684 HAS SOPS 64684 HAS SOUS 44389 HAS SOUPS 44389 WITH SCORE 44453.684
AT ITER 8211 NEW BEST:: SOT 325530 SOS 64648 HAS SOPS 64648 HAS SOUS 44353 HAS SOUPS 44353 WITH SCORE 44417.648
AT ITER 8231 NEW BEST:: SOT 325518 SOS 64624 HAS SOPS 64624 HAS SOUS 44353 HAS SOUPS 44353 WITH SCORE 44417.624
AT ITER 8267 NEW BEST:: SOT 325498 SOS 64564 HAS SOPS 64564 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44377.564
AT ITER 8285 NEW BEST:: SOT 325412 SOS 64392 HAS SOPS 64392 HAS SOUS 44264 HAS SOUPS 44264 WITH SCORE 44328.392
AT ITER 8310 NEW BEST:: SOT 325401 SOS 64370 HAS SOPS 64370 HAS SOUS 44242 HAS SOUPS 44242 WITH SCORE 44306.37
AT ITER 8358 NEW BEST:: SOT 325386 SOS 64340 HAS SOPS 64340 HAS SOUS 44228 HAS SOUPS 44228 WITH SCORE 44292.34
AT ITER 8375 NEW BEST:: SOT 325319 SOS 64206 HAS SOPS 64206 HAS SOUS 44094 HAS SOUPS 44094 WITH SCORE 44158.206
AT ITER 8482 NEW BEST:: SOT 325319 SOS 64200 HAS SOPS 64200 HAS SOUS 44094 HAS SOUPS 44094 WITH SCORE 44158.2
AT ITER 8486 NEW BEST:: SOT 325327 SOS 64216 HAS SOPS 64216 HAS SOUS 44063 HAS SOUPS 44063 WITH SCORE 44127.216
AT ITER 8494 NEW BEST:: SOT 325364 SOS 64207 HAS SOPS 64207 HAS SOUS 44054 HAS SOUPS 44054 WITH SCORE 44118.207
AT ITER 8497 NEW BEST:: SOT 325379 SOS 64185 HAS SOPS 64185 HAS SOUS 44032 HAS SOUPS 44032 WITH SCORE 44096.185
AT ITER 8515 NEW BEST:: SOT 325453 SOS 64086 HAS SOPS 64086 HAS SOUS 44032 HAS SOUPS 44032 WITH SCORE 44096.086
AT ITER 8534 NEW BEST:: SOT 325348 SOS 63983 HAS SOPS 63983 HAS SOUS 43929 HAS SOUPS 43929 WITH SCORE 43992.983
AT ITER 8605 NEW BEST:: SOT 325348 SOS 63987 HAS SOPS 63987 HAS SOUS 43919 HAS SOUPS 43919 WITH SCORE 43982.987
AT ITER 8686 NEW BEST:: SOT 325348 SOS 63972 HAS SOPS 63972 HAS SOUS 43904 HAS SOUPS 43904 WITH SCORE 43967.972
AT ITER 8712 NEW BEST:: SOT 325152 SOS 65764 HAS SOPS 65764 HAS SOUS 43799 HAS SOUPS 43799 WITH SCORE 43864.764
AT ITER 8816 NEW BEST:: SOT 325124 SOS 65741 HAS SOPS 65741 HAS SOUS 43776 HAS SOUPS 43776 WITH SCORE 43841.741
AT ITER 8837 NEW BEST:: SOT 325124 SOS 65741 HAS SOPS 65741 HAS SOUS 43773 HAS SOUPS 43773 WITH SCORE 43838.741
AT ITER 8887 NEW BEST:: SOT 325078 SOS 65672 HAS SOPS 65672 HAS SOUS 43704 HAS SOUPS 43704 WITH SCORE 43769.672
AT ITER 8916 NEW BEST:: SOT 325072 SOS 65607 HAS SOPS 65607 HAS SOUS 43692 HAS SOUPS 43692 WITH SCORE 43757.607
AT ITER 8940 NEW BEST:: SOT 325072 SOS 65588 HAS SOPS 65588 HAS SOUS 43692 HAS SOUPS 43692 WITH SCORE 43757.588
AT ITER 8946 NEW BEST:: SOT 325093 SOS 65630 HAS SOPS 65630 HAS SOUS 43683 HAS SOUPS 43683 WITH SCORE 43748.63
AT ITER 8947 NEW BEST:: SOT 325077 SOS 65606 HAS SOPS 65606 HAS SOUS 43667 HAS SOUPS 43667 WITH SCORE 43732.606
AT ITER 8976 NEW BEST:: SOT 325112 SOS 65597 HAS SOPS 65597 HAS SOUS 43625 HAS SOUPS 43625 WITH SCORE 43690.597
AT ITER 9002 NEW BEST:: SOT 325094 SOS 65561 HAS SOPS 65561 HAS SOUS 43589 HAS SOUPS 43589 WITH SCORE 43654.561
AT ITER 9017 NEW BEST:: SOT 325078 SOS 65545 HAS SOPS 65545 HAS SOUS 43589 HAS SOUPS 43589 WITH SCORE 43654.545
AT ITER 9035 NEW BEST:: SOT 325076 SOS 65541 HAS SOPS 65541 HAS SOUS 43585 HAS SOUPS 43585 WITH SCORE 43650.541
AT ITER 9055 NEW BEST:: SOT 325057 SOS 65561 HAS SOPS 65561 HAS SOUS 43547 HAS SOUPS 43547 WITH SCORE 43612.561
AT ITER 9074 NEW BEST:: SOT 325056 SOS 65559 HAS SOPS 65559 HAS SOUS 43545 HAS SOUPS 43545 WITH SCORE 43610.559
AT ITER 9083 NEW BEST:: SOT 325069 SOS 65553 HAS SOPS 65553 HAS SOUS 43535 HAS SOUPS 43535 WITH SCORE 43600.553
AT ITER 9098 NEW BEST:: SOT 325057 SOS 65529 HAS SOPS 65529 HAS SOUS 43523 HAS SOUPS 43523 WITH SCORE 43588.529
AT ITER 9103 NEW BEST:: SOT 325057 SOS 65517 HAS SOPS 65517 HAS SOUS 43511 HAS SOUPS 43511 WITH SCORE 43576.517
AT ITER 9105 NEW BEST:: SOT 325057 SOS 65377 HAS SOPS 65377 HAS SOUS 43498 HAS SOUPS 43498 WITH SCORE 43563.377
AT ITER 9106 NEW BEST:: SOT 325031 SOS 65283 HAS SOPS 65283 HAS SOUS 43488 HAS SOUPS 43488 WITH SCORE 43553.283
AT ITER 9115 NEW BEST:: SOT 325010 SOS 65287 HAS SOPS 65287 HAS SOUS 43478 HAS SOUPS 43478 WITH SCORE 43543.287
AT ITER 9117 NEW BEST:: SOT 324801 SOS 66043 HAS SOPS 66043 HAS SOUS 43435 HAS SOUPS 43435 WITH SCORE 43501.043
AT ITER 9121 NEW BEST:: SOT 324815 SOS 65875 HAS SOPS 65875 HAS SOUS 43435 HAS SOUPS 43435 WITH SCORE 43500.875
AT ITER 9132 NEW BEST:: SOT 324693 SOS 65765 HAS SOPS 65765 HAS SOUS 43260 HAS SOUPS 43260 WITH SCORE 43325.765
AT ITER 9150 NEW BEST:: SOT 324681 SOS 65729 HAS SOPS 65729 HAS SOUS 43243 HAS SOUPS 43243 WITH SCORE 43308.729
AT ITER 9195 NEW BEST:: SOT 324681 SOS 65729 HAS SOPS 65729 HAS SOUS 43223 HAS SOUPS 43223 WITH SCORE 43288.729
AT ITER 9215 NEW BEST:: SOT 324680 SOS 65718 HAS SOPS 65718 HAS SOUS 43212 HAS SOUPS 43212 WITH SCORE 43277.718
AT ITER 9221 NEW BEST:: SOT 324696 SOS 65706 HAS SOPS 65706 HAS SOUS 43207 HAS SOUPS 43207 WITH SCORE 43272.706
AT ITER 9227 NEW BEST:: SOT 324731 SOS 65649 HAS SOPS 65649 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43215.649
AT ITER 9279 NEW BEST:: SOT 324698 SOS 65632 HAS SOPS 65632 HAS SOUS 43133 HAS SOUPS 43133 WITH SCORE 43198.632
AT ITER 9294 NEW BEST:: SOT 324661 SOS 65602 HAS SOPS 65602 HAS SOUS 43132 HAS SOUPS 43132 WITH SCORE 43197.602
AT ITER 9298 NEW BEST:: SOT 324647 SOS 65557 HAS SOPS 65557 HAS SOUS 43101 HAS SOUPS 43101 WITH SCORE 43166.557
AT ITER 9300 NEW BEST:: SOT 324588 SOS 65498 HAS SOPS 65498 HAS SOUS 43042 HAS SOUPS 43042 WITH SCORE 43107.498
AT ITER 9308 NEW BEST:: SOT 324564 SOS 65450 HAS SOPS 65450 HAS SOUS 43032 HAS SOUPS 43032 WITH SCORE 43097.45
AT ITER 9335 NEW BEST:: SOT 324561 SOS 65449 HAS SOPS 65449 HAS SOUS 43031 HAS SOUPS 43031 WITH SCORE 43096.449
AT ITER 9340 NEW BEST:: SOT 324556 SOS 65444 HAS SOPS 65444 HAS SOUS 43021 HAS SOUPS 43021 WITH SCORE 43086.444
AT ITER 9341 NEW BEST:: SOT 324511 SOS 65399 HAS SOPS 65399 HAS SOUS 42976 HAS SOUPS 42976 WITH SCORE 43041.399
AT ITER 9372 NEW BEST:: SOT 324494 SOS 65382 HAS SOPS 65382 HAS SOUS 42959 HAS SOUPS 42959 WITH SCORE 43024.382
AT ITER 9384 NEW BEST:: SOT 324493 SOS 65380 HAS SOPS 65380 HAS SOUS 42957 HAS SOUPS 42957 WITH SCORE 43022.38
AT ITER 9388 NEW BEST:: SOT 324471 SOS 65284 HAS SOPS 65284 HAS SOUS 42905 HAS SOUPS 42905 WITH SCORE 42970.284
AT ITER 9412 NEW BEST:: SOT 324448 SOS 65246 HAS SOPS 65246 HAS SOUS 42867 HAS SOUPS 42867 WITH SCORE 42932.246
AT ITER 9413 NEW BEST:: SOT 324435 SOS 65220 HAS SOPS 65220 HAS SOUS 42841 HAS SOUPS 42841 WITH SCORE 42906.22
AT ITER 9414 NEW BEST:: SOT 324419 SOS 65205 HAS SOPS 65205 HAS SOUS 42829 HAS SOUPS 42829 WITH SCORE 42894.205
AT ITER 9430 NEW BEST:: SOT 324429 SOS 65190 HAS SOPS 65190 HAS SOUS 42814 HAS SOUPS 42814 WITH SCORE 42879.19
AT ITER 9431 NEW BEST:: SOT 324419 SOS 65170 HAS SOPS 65170 HAS SOUS 42794 HAS SOUPS 42794 WITH SCORE 42859.17
AT ITER 9432 NEW BEST:: SOT 324404 SOS 65155 HAS SOPS 65155 HAS SOUS 42794 HAS SOUPS 42794 WITH SCORE 42859.155
AT ITER 9464 NEW BEST:: SOT 324385 SOS 65117 HAS SOPS 65117 HAS SOUS 42752 HAS SOUPS 42752 WITH SCORE 42817.117
AT ITER 9477 NEW BEST:: SOT 324398 SOS 65130 HAS SOPS 65130 HAS SOUS 42745 HAS SOUPS 42745 WITH SCORE 42810.13
AT ITER 9487 NEW BEST:: SOT 324396 SOS 65126 HAS SOPS 65126 HAS SOUS 42736 HAS SOUPS 42736 WITH SCORE 42801.126
AT ITER 9489 NEW BEST:: SOT 324371 SOS 65101 HAS SOPS 65101 HAS SOUS 42736 HAS SOUPS 42736 WITH SCORE 42801.101
AT ITER 9542 NEW BEST:: SOT 324408 SOS 65119 HAS SOPS 65119 HAS SOUS 42717 HAS SOUPS 42717 WITH SCORE 42782.119
AT ITER 9555 NEW BEST:: SOT 324404 SOS 65111 HAS SOPS 65111 HAS SOUS 42711 HAS SOUPS 42711 WITH SCORE 42776.111
AT ITER 9557 NEW BEST:: SOT 324404 SOS 65098 HAS SOPS 65098 HAS SOUS 42698 HAS SOUPS 42698 WITH SCORE 42763.098
AT ITER 9603 NEW BEST:: SOT 324404 SOS 65098 HAS SOPS 65098 HAS SOUS 42686 HAS SOUPS 42686 WITH SCORE 42751.098
AT ITER 9608 NEW BEST:: SOT 324392 SOS 65086 HAS SOPS 65086 HAS SOUS 42674 HAS SOUPS 42674 WITH SCORE 42739.086
AT ITER 9733 NEW BEST:: SOT 324382 SOS 65066 HAS SOPS 65066 HAS SOUS 42654 HAS SOUPS 42654 WITH SCORE 42719.066
AT ITER 9739 NEW BEST:: SOT 324381 SOS 65024 HAS SOPS 65024 HAS SOUS 42651 HAS SOUPS 42651 WITH SCORE 42716.024
AT ITER 9756 NEW BEST:: SOT 324314 SOS 64890 HAS SOPS 64890 HAS SOUS 42584 HAS SOUPS 42584 WITH SCORE 42648.89
AT ITER 9761 NEW BEST:: SOT 324205 SOS 64886 HAS SOPS 64886 HAS SOUS 42582 HAS SOUPS 42582 WITH SCORE 42646.886
AT ITER 9794 NEW BEST:: SOT 324176 SOS 64886 HAS SOPS 64886 HAS SOUS 42580 HAS SOUPS 42580 WITH SCORE 42644.886
AT ITER 9802 NEW BEST:: SOT 324158 SOS 64850 HAS SOPS 64850 HAS SOUS 42558 HAS SOUPS 42558 WITH SCORE 42622.85
AT ITER 9816 NEW BEST:: SOT 324144 SOS 64822 HAS SOPS 64822 HAS SOUS 42544 HAS SOUPS 42544 WITH SCORE 42608.822
AT ITER 9857 NEW BEST:: SOT 324141 SOS 64816 HAS SOPS 64816 HAS SOUS 42541 HAS SOUPS 42541 WITH SCORE 42605.816
AT ITER 9876 NEW BEST:: SOT 324143 SOS 64820 HAS SOPS 64820 HAS SOUS 42495 HAS SOUPS 42495 WITH SCORE 42559.82
AT ITER 9901 NEW BEST:: SOT 324128 SOS 64815 HAS SOPS 64815 HAS SOUS 42490 HAS SOUPS 42490 WITH SCORE 42554.815
AT ITER 9905 NEW BEST:: SOT 323977 SOS 64599 HAS SOPS 64599 HAS SOUS 42337 HAS SOUPS 42337 WITH SCORE 42401.599
AT ITER 9909 NEW BEST:: SOT 323973 SOS 64595 HAS SOPS 64595 HAS SOUS 42325 HAS SOUPS 42325 WITH SCORE 42389.595
AT ITER 9911 NEW BEST:: SOT 323968 SOS 64585 HAS SOPS 64585 HAS SOUS 42312 HAS SOUPS 42312 WITH SCORE 42376.585
AT ITER 9953 NEW BEST:: SOT 323949 SOS 64522 HAS SOPS 64522 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42338.522
AT ITER 9957 NEW BEST:: SOT 323973 SOS 64258 HAS SOPS 64258 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42338.258
AT ITER 9976 NEW BEST:: SOT 323959 SOS 64230 HAS SOPS 64230 HAS SOUS 42246 HAS SOUPS 42246 WITH SCORE 42310.23
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4399288 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122088 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="SmartHome-PT-19"
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 SmartHome-PT-19, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651100304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-19.tgz
mv SmartHome-PT-19 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 ;