About the Execution of Smart+red for DiscoveryGPU-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5478.039 | 3600000.00 | 3646911.00 | 10944.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.r139-smll-167819422900408.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 DiscoveryGPU-PT-13b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422900408
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 5.9K Feb 25 13:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 13:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 13:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 25 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 13:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 13:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 97K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678397954724
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=DiscoveryGPU-PT-13b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 21:39:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 21:39:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 21:39:18] [INFO ] Load time of PNML (sax parser for PT used): 165 ms
[2023-03-09 21:39:18] [INFO ] Transformed 380 places.
[2023-03-09 21:39:18] [INFO ] Transformed 404 transitions.
[2023-03-09 21:39:18] [INFO ] Found NUPN structural information;
[2023-03-09 21:39:18] [INFO ] Parsed PT model containing 380 places and 404 transitions and 1056 arcs in 328 ms.
[2023-03-09 21:39:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 380 places, 404 transitions and 1056 arcs took 14 ms.
Total runtime 409 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 13b
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: 380 places, 404 transitions, 1056 arcs.
AT ITER 0 NEW BEST:: SOT 107316 SOS 51583 HAS SOPS 51583 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45611.583
AT ITER 5 NEW BEST:: SOT 107240 SOS 51507 HAS SOPS 51507 HAS SOUS 45484 HAS SOUPS 45484 WITH SCORE 45535.507
AT ITER 8 NEW BEST:: SOT 107240 SOS 51446 HAS SOPS 51446 HAS SOUS 45483 HAS SOUPS 45483 WITH SCORE 45534.446
AT ITER 9 NEW BEST:: SOT 107239 SOS 51444 HAS SOPS 51444 HAS SOUS 45481 HAS SOUPS 45481 WITH SCORE 45532.444
AT ITER 12 NEW BEST:: SOT 107128 SOS 51230 HAS SOPS 51230 HAS SOUS 45370 HAS SOUPS 45370 WITH SCORE 45421.23
AT ITER 13 NEW BEST:: SOT 107125 SOS 51227 HAS SOPS 51227 HAS SOUS 45367 HAS SOUPS 45367 WITH SCORE 45418.227
AT ITER 16 NEW BEST:: SOT 107040 SOS 51137 HAS SOPS 51137 HAS SOUS 45281 HAS SOUPS 45281 WITH SCORE 45332.137
AT ITER 22 NEW BEST:: SOT 107128 SOS 51121 HAS SOPS 51121 HAS SOUS 45266 HAS SOUPS 45266 WITH SCORE 45317.121
AT ITER 26 NEW BEST:: SOT 107104 SOS 50023 HAS SOPS 50023 HAS SOUS 45264 HAS SOUPS 45264 WITH SCORE 45314.023
AT ITER 27 NEW BEST:: SOT 107050 SOS 49915 HAS SOPS 49915 HAS SOUS 45215 HAS SOUPS 45215 WITH SCORE 45264.915
AT ITER 30 NEW BEST:: SOT 106984 SOS 49820 HAS SOPS 49820 HAS SOUS 45148 HAS SOUPS 45148 WITH SCORE 45197.82
AT ITER 33 NEW BEST:: SOT 106836 SOS 49596 HAS SOPS 49596 HAS SOUS 44925 HAS SOUPS 44925 WITH SCORE 44974.596
AT ITER 36 NEW BEST:: SOT 106791 SOS 49382 HAS SOPS 49382 HAS SOUS 44776 HAS SOUPS 44776 WITH SCORE 44825.382
AT ITER 38 NEW BEST:: SOT 106791 SOS 49311 HAS SOPS 49311 HAS SOUS 44776 HAS SOUPS 44776 WITH SCORE 44825.311
AT ITER 50 NEW BEST:: SOT 106791 SOS 49311 HAS SOPS 49311 HAS SOUS 44775 HAS SOUPS 44775 WITH SCORE 44824.311
AT ITER 52 NEW BEST:: SOT 106791 SOS 49255 HAS SOPS 49255 HAS SOUS 44719 HAS SOUPS 44719 WITH SCORE 44768.255
AT ITER 63 NEW BEST:: SOT 106685 SOS 49077 HAS SOPS 49077 HAS SOUS 44559 HAS SOUPS 44559 WITH SCORE 44608.077
AT ITER 67 NEW BEST:: SOT 106583 SOS 49059 HAS SOPS 49059 HAS SOUS 44508 HAS SOUPS 44508 WITH SCORE 44557.059
AT ITER 70 NEW BEST:: SOT 106582 SOS 49057 HAS SOPS 49057 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44555.057
AT ITER 73 NEW BEST:: SOT 106523 SOS 48832 HAS SOPS 48832 HAS SOUS 44352 HAS SOUPS 44352 WITH SCORE 44400.832
AT ITER 74 NEW BEST:: SOT 106557 SOS 48800 HAS SOPS 48800 HAS SOUS 44319 HAS SOUPS 44319 WITH SCORE 44367.8
AT ITER 77 NEW BEST:: SOT 106469 SOS 48500 HAS SOPS 48500 HAS SOUS 44107 HAS SOUPS 44107 WITH SCORE 44155.5
AT ITER 83 NEW BEST:: SOT 106370 SOS 48342 HAS SOPS 48342 HAS SOUS 44008 HAS SOUPS 44008 WITH SCORE 44056.342
AT ITER 90 NEW BEST:: SOT 106307 SOS 48216 HAS SOPS 48216 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43930.216
AT ITER 93 NEW BEST:: SOT 106233 SOS 48083 HAS SOPS 48083 HAS SOUS 43833 HAS SOUPS 43833 WITH SCORE 43881.083
AT ITER 95 NEW BEST:: SOT 106218 SOS 48038 HAS SOPS 48038 HAS SOUS 43803 HAS SOUPS 43803 WITH SCORE 43851.038
AT ITER 96 NEW BEST:: SOT 106143 SOS 47963 HAS SOPS 47963 HAS SOUS 43728 HAS SOUPS 43728 WITH SCORE 43775.963
AT ITER 97 NEW BEST:: SOT 106099 SOS 47213 HAS SOPS 47213 HAS SOUS 43640 HAS SOUPS 43640 WITH SCORE 43687.213
AT ITER 104 NEW BEST:: SOT 105808 SOS 46784 HAS SOPS 46784 HAS SOUS 43210 HAS SOUPS 43210 WITH SCORE 43256.784
AT ITER 105 NEW BEST:: SOT 105737 SOS 46503 HAS SOPS 46503 HAS SOUS 43005 HAS SOUPS 43005 WITH SCORE 43051.503
AT ITER 111 NEW BEST:: SOT 105639 SOS 46388 HAS SOPS 46388 HAS SOUS 42906 HAS SOUPS 42906 WITH SCORE 42952.388
AT ITER 112 NEW BEST:: SOT 105563 SOS 46308 HAS SOPS 46308 HAS SOUS 42814 HAS SOUPS 42814 WITH SCORE 42860.308
AT ITER 119 NEW BEST:: SOT 105532 SOS 46168 HAS SOPS 46168 HAS SOUS 42674 HAS SOUPS 42674 WITH SCORE 42720.168
AT ITER 120 NEW BEST:: SOT 105500 SOS 46136 HAS SOPS 46136 HAS SOUS 42641 HAS SOUPS 42641 WITH SCORE 42687.136
AT ITER 121 NEW BEST:: SOT 105498 SOS 46132 HAS SOPS 46132 HAS SOUS 42637 HAS SOUPS 42637 WITH SCORE 42683.132
AT ITER 126 NEW BEST:: SOT 105290 SOS 45931 HAS SOPS 45931 HAS SOUS 42369 HAS SOUPS 42369 WITH SCORE 42414.931
AT ITER 127 NEW BEST:: SOT 105208 SOS 45767 HAS SOPS 45767 HAS SOUS 42277 HAS SOUPS 42277 WITH SCORE 42322.767
AT ITER 131 NEW BEST:: SOT 105087 SOS 45711 HAS SOPS 45711 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42266.711
AT ITER 132 NEW BEST:: SOT 105080 SOS 45704 HAS SOPS 45704 HAS SOUS 42214 HAS SOUPS 42214 WITH SCORE 42259.704
AT ITER 138 NEW BEST:: SOT 105064 SOS 45687 HAS SOPS 45687 HAS SOUS 42197 HAS SOUPS 42197 WITH SCORE 42242.687
AT ITER 140 NEW BEST:: SOT 105029 SOS 45569 HAS SOPS 45569 HAS SOUS 42189 HAS SOUPS 42189 WITH SCORE 42234.569
AT ITER 141 NEW BEST:: SOT 104914 SOS 45483 HAS SOPS 45483 HAS SOUS 42092 HAS SOUPS 42092 WITH SCORE 42137.483
AT ITER 154 NEW BEST:: SOT 104989 SOS 45385 HAS SOPS 45385 HAS SOUS 41977 HAS SOUPS 41977 WITH SCORE 42022.385
AT ITER 162 NEW BEST:: SOT 104989 SOS 45370 HAS SOPS 45370 HAS SOUS 41977 HAS SOUPS 41977 WITH SCORE 42022.37
AT ITER 164 NEW BEST:: SOT 104846 SOS 45227 HAS SOPS 45227 HAS SOUS 41834 HAS SOUPS 41834 WITH SCORE 41879.227
AT ITER 167 NEW BEST:: SOT 104746 SOS 44891 HAS SOPS 44891 HAS SOUS 41634 HAS SOUPS 41634 WITH SCORE 41678.891
AT ITER 170 NEW BEST:: SOT 104816 SOS 44882 HAS SOPS 44882 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41671.882
AT ITER 171 NEW BEST:: SOT 104803 SOS 44859 HAS SOPS 44859 HAS SOUS 41614 HAS SOUPS 41614 WITH SCORE 41658.859
AT ITER 181 NEW BEST:: SOT 104803 SOS 44882 HAS SOPS 44882 HAS SOUS 41581 HAS SOUPS 41581 WITH SCORE 41625.882
AT ITER 189 NEW BEST:: SOT 104783 SOS 44842 HAS SOPS 44842 HAS SOUS 41541 HAS SOUPS 41541 WITH SCORE 41585.842
AT ITER 196 NEW BEST:: SOT 104759 SOS 44829 HAS SOPS 44829 HAS SOUS 41527 HAS SOUPS 41527 WITH SCORE 41571.829
AT ITER 197 NEW BEST:: SOT 104650 SOS 44786 HAS SOPS 44786 HAS SOUS 41486 HAS SOUPS 41486 WITH SCORE 41530.786
AT ITER 199 NEW BEST:: SOT 104654 SOS 44787 HAS SOPS 44787 HAS SOUS 41475 HAS SOUPS 41475 WITH SCORE 41519.787
AT ITER 206 NEW BEST:: SOT 104654 SOS 44712 HAS SOPS 44712 HAS SOUS 41472 HAS SOUPS 41472 WITH SCORE 41516.712
AT ITER 210 NEW BEST:: SOT 104489 SOS 44566 HAS SOPS 44566 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41325.566
AT ITER 226 NEW BEST:: SOT 104403 SOS 44501 HAS SOPS 44501 HAS SOUS 41216 HAS SOUPS 41216 WITH SCORE 41260.501
AT ITER 227 NEW BEST:: SOT 104377 SOS 44475 HAS SOPS 44475 HAS SOUS 41190 HAS SOUPS 41190 WITH SCORE 41234.475
AT ITER 243 NEW BEST:: SOT 104351 SOS 44448 HAS SOPS 44448 HAS SOUS 41163 HAS SOUPS 41163 WITH SCORE 41207.448
AT ITER 257 NEW BEST:: SOT 104321 SOS 44418 HAS SOPS 44418 HAS SOUS 41133 HAS SOUPS 41133 WITH SCORE 41177.418
AT ITER 265 NEW BEST:: SOT 104304 SOS 44401 HAS SOPS 44401 HAS SOUS 41116 HAS SOUPS 41116 WITH SCORE 41160.401
AT ITER 269 NEW BEST:: SOT 104260 SOS 44313 HAS SOPS 44313 HAS SOUS 41072 HAS SOUPS 41072 WITH SCORE 41116.313
AT ITER 271 NEW BEST:: SOT 104260 SOS 44313 HAS SOPS 44313 HAS SOUS 41071 HAS SOUPS 41071 WITH SCORE 41115.313
AT ITER 273 NEW BEST:: SOT 104260 SOS 44310 HAS SOPS 44310 HAS SOUS 41071 HAS SOUPS 41071 WITH SCORE 41115.31
AT ITER 277 NEW BEST:: SOT 104225 SOS 44275 HAS SOPS 44275 HAS SOUS 41071 HAS SOUPS 41071 WITH SCORE 41115.275
AT ITER 295 NEW BEST:: SOT 104225 SOS 44268 HAS SOPS 44268 HAS SOUS 41070 HAS SOUPS 41070 WITH SCORE 41114.268
AT ITER 296 NEW BEST:: SOT 104129 SOS 44076 HAS SOPS 44076 HAS SOUS 40974 HAS SOUPS 40974 WITH SCORE 41018.076
AT ITER 299 NEW BEST:: SOT 104104 SOS 44043 HAS SOPS 44043 HAS SOUS 40941 HAS SOUPS 40941 WITH SCORE 40985.043
AT ITER 301 NEW BEST:: SOT 104079 SOS 44018 HAS SOPS 44018 HAS SOUS 40916 HAS SOUPS 40916 WITH SCORE 40960.018
AT ITER 304 NEW BEST:: SOT 104079 SOS 44018 HAS SOPS 44018 HAS SOUS 40913 HAS SOUPS 40913 WITH SCORE 40957.018
AT ITER 309 NEW BEST:: SOT 104037 SOS 43787 HAS SOPS 43787 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40725.787
AT ITER 313 NEW BEST:: SOT 103956 SOS 43706 HAS SOPS 43706 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40725.706
AT ITER 319 NEW BEST:: SOT 103900 SOS 43594 HAS SOPS 43594 HAS SOUS 40671 HAS SOUPS 40671 WITH SCORE 40714.594
AT ITER 325 NEW BEST:: SOT 103898 SOS 43590 HAS SOPS 43590 HAS SOUS 40667 HAS SOUPS 40667 WITH SCORE 40710.59
AT ITER 327 NEW BEST:: SOT 103850 SOS 43542 HAS SOPS 43542 HAS SOUS 40619 HAS SOUPS 40619 WITH SCORE 40662.542
AT ITER 332 NEW BEST:: SOT 103830 SOS 43512 HAS SOPS 43512 HAS SOUS 40589 HAS SOUPS 40589 WITH SCORE 40632.512
AT ITER 334 NEW BEST:: SOT 103744 SOS 43426 HAS SOPS 43426 HAS SOUS 40503 HAS SOUPS 40503 WITH SCORE 40546.426
AT ITER 338 NEW BEST:: SOT 103720 SOS 43378 HAS SOPS 43378 HAS SOUS 40480 HAS SOUPS 40480 WITH SCORE 40523.378
AT ITER 348 NEW BEST:: SOT 103720 SOS 43378 HAS SOPS 43378 HAS SOUS 40469 HAS SOUPS 40469 WITH SCORE 40512.378
AT ITER 350 NEW BEST:: SOT 103685 SOS 43343 HAS SOPS 43343 HAS SOUS 40434 HAS SOUPS 40434 WITH SCORE 40477.343
AT ITER 364 NEW BEST:: SOT 103601 SOS 43299 HAS SOPS 43299 HAS SOUS 40355 HAS SOUPS 40355 WITH SCORE 40398.299
AT ITER 371 NEW BEST:: SOT 103583 SOS 43263 HAS SOPS 43263 HAS SOUS 40319 HAS SOUPS 40319 WITH SCORE 40362.263
AT ITER 373 NEW BEST:: SOT 103518 SOS 43192 HAS SOPS 43192 HAS SOUS 40248 HAS SOUPS 40248 WITH SCORE 40291.192
AT ITER 376 NEW BEST:: SOT 103449 SOS 43123 HAS SOPS 43123 HAS SOUS 40179 HAS SOUPS 40179 WITH SCORE 40222.123
AT ITER 377 NEW BEST:: SOT 103449 SOS 43087 HAS SOPS 43087 HAS SOUS 40169 HAS SOUPS 40169 WITH SCORE 40212.087
AT ITER 378 NEW BEST:: SOT 103453 SOS 43040 HAS SOPS 43040 HAS SOUS 40122 HAS SOUPS 40122 WITH SCORE 40165.04
AT ITER 383 NEW BEST:: SOT 103452 SOS 43087 HAS SOPS 43087 HAS SOUS 40109 HAS SOUPS 40109 WITH SCORE 40152.087
AT ITER 388 NEW BEST:: SOT 103323 SOS 42958 HAS SOPS 42958 HAS SOUS 39980 HAS SOUPS 39980 WITH SCORE 40022.958
AT ITER 391 NEW BEST:: SOT 103261 SOS 42928 HAS SOPS 42928 HAS SOUS 39918 HAS SOUPS 39918 WITH SCORE 39960.928
AT ITER 402 NEW BEST:: SOT 103244 SOS 42900 HAS SOPS 42900 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39932.9
AT ITER 403 NEW BEST:: SOT 103197 SOS 42853 HAS SOPS 42853 HAS SOUS 39843 HAS SOUPS 39843 WITH SCORE 39885.853
AT ITER 411 NEW BEST:: SOT 103151 SOS 42927 HAS SOPS 42927 HAS SOUS 39794 HAS SOUPS 39794 WITH SCORE 39836.927
AT ITER 414 NEW BEST:: SOT 99508 SOS 40196 HAS SOPS 40196 HAS SOUS 36331 HAS SOUPS 36331 WITH SCORE 36371.196
AT ITER 418 NEW BEST:: SOT 99496 SOS 40172 HAS SOPS 40172 HAS SOUS 36307 HAS SOUPS 36307 WITH SCORE 36347.172
AT ITER 425 NEW BEST:: SOT 99496 SOS 40161 HAS SOPS 40161 HAS SOUS 36296 HAS SOUPS 36296 WITH SCORE 36336.161
AT ITER 426 NEW BEST:: SOT 99527 SOS 40219 HAS SOPS 40219 HAS SOUS 36277 HAS SOUPS 36277 WITH SCORE 36317.219
AT ITER 428 NEW BEST:: SOT 99467 SOS 40079 HAS SOPS 40079 HAS SOUS 36131 HAS SOUPS 36131 WITH SCORE 36171.079
AT ITER 431 NEW BEST:: SOT 99455 SOS 40046 HAS SOPS 40046 HAS SOUS 36119 HAS SOUPS 36119 WITH SCORE 36159.046
AT ITER 434 NEW BEST:: SOT 99454 SOS 40044 HAS SOPS 40044 HAS SOUS 36119 HAS SOUPS 36119 WITH SCORE 36159.044
AT ITER 449 NEW BEST:: SOT 99453 SOS 40043 HAS SOPS 40043 HAS SOUS 36118 HAS SOUPS 36118 WITH SCORE 36158.043
AT ITER 450 NEW BEST:: SOT 99453 SOS 40027 HAS SOPS 40027 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36142.027
AT ITER 454 NEW BEST:: SOT 99486 SOS 39954 HAS SOPS 39954 HAS SOUS 36064 HAS SOUPS 36064 WITH SCORE 36103.954
AT ITER 460 NEW BEST:: SOT 99419 SOS 39844 HAS SOPS 39844 HAS SOUS 35930 HAS SOUPS 35930 WITH SCORE 35969.844
AT ITER 466 NEW BEST:: SOT 99418 SOS 39818 HAS SOPS 39818 HAS SOUS 35928 HAS SOUPS 35928 WITH SCORE 35967.818
AT ITER 468 NEW BEST:: SOT 99359 SOS 39759 HAS SOPS 39759 HAS SOUS 35869 HAS SOUPS 35869 WITH SCORE 35908.759
AT ITER 471 NEW BEST:: SOT 99350 SOS 39734 HAS SOPS 39734 HAS SOUS 35859 HAS SOUPS 35859 WITH SCORE 35898.734
AT ITER 474 NEW BEST:: SOT 99297 SOS 39473 HAS SOPS 39473 HAS SOUS 35598 HAS SOUPS 35598 WITH SCORE 35637.473
AT ITER 478 NEW BEST:: SOT 99256 SOS 39335 HAS SOPS 39335 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35555.335
AT ITER 499 NEW BEST:: SOT 99244 SOS 39238 HAS SOPS 39238 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35544.238
AT ITER 513 NEW BEST:: SOT 99225 SOS 39246 HAS SOPS 39246 HAS SOUS 35474 HAS SOUPS 35474 WITH SCORE 35513.246
AT ITER 517 NEW BEST:: SOT 99119 SOS 39047 HAS SOPS 39047 HAS SOUS 35364 HAS SOUPS 35364 WITH SCORE 35403.047
AT ITER 521 NEW BEST:: SOT 99106 SOS 39021 HAS SOPS 39021 HAS SOUS 35349 HAS SOUPS 35349 WITH SCORE 35388.021
AT ITER 531 NEW BEST:: SOT 99078 SOS 39041 HAS SOPS 39041 HAS SOUS 35338 HAS SOUPS 35338 WITH SCORE 35377.041
AT ITER 535 NEW BEST:: SOT 99078 SOS 39024 HAS SOPS 39024 HAS SOUS 35338 HAS SOUPS 35338 WITH SCORE 35377.024
AT ITER 536 NEW BEST:: SOT 99062 SOS 38670 HAS SOPS 38670 HAS SOUS 35088 HAS SOUPS 35088 WITH SCORE 35126.67
AT ITER 553 NEW BEST:: SOT 99113 SOS 38619 HAS SOPS 38619 HAS SOUS 35037 HAS SOUPS 35037 WITH SCORE 35075.619
AT ITER 556 NEW BEST:: SOT 99027 SOS 38482 HAS SOPS 38482 HAS SOUS 34900 HAS SOUPS 34900 WITH SCORE 34938.482
AT ITER 558 NEW BEST:: SOT 99008 SOS 38445 HAS SOPS 38445 HAS SOUS 34869 HAS SOUPS 34869 WITH SCORE 34907.445
AT ITER 562 NEW BEST:: SOT 98887 SOS 38203 HAS SOPS 38203 HAS SOUS 34627 HAS SOUPS 34627 WITH SCORE 34665.203
AT ITER 564 NEW BEST:: SOT 98887 SOS 38202 HAS SOPS 38202 HAS SOUS 34626 HAS SOUPS 34626 WITH SCORE 34664.202
AT ITER 569 NEW BEST:: SOT 97819 SOS 37369 HAS SOPS 37369 HAS SOUS 33667 HAS SOUPS 33667 WITH SCORE 33704.369
AT ITER 572 NEW BEST:: SOT 97761 SOS 37405 HAS SOPS 37405 HAS SOUS 33660 HAS SOUPS 33660 WITH SCORE 33697.405
AT ITER 573 NEW BEST:: SOT 97734 SOS 37378 HAS SOPS 37378 HAS SOUS 33633 HAS SOUPS 33633 WITH SCORE 33670.378
AT ITER 594 NEW BEST:: SOT 97743 SOS 37394 HAS SOPS 37394 HAS SOUS 33629 HAS SOUPS 33629 WITH SCORE 33666.394
AT ITER 599 NEW BEST:: SOT 97743 SOS 37373 HAS SOPS 37373 HAS SOUS 33608 HAS SOUPS 33608 WITH SCORE 33645.373
AT ITER 600 NEW BEST:: SOT 97663 SOS 37275 HAS SOPS 37275 HAS SOUS 33531 HAS SOUPS 33531 WITH SCORE 33568.275
AT ITER 604 NEW BEST:: SOT 97663 SOS 37180 HAS SOPS 37180 HAS SOUS 33439 HAS SOUPS 33439 WITH SCORE 33476.18
AT ITER 615 NEW BEST:: SOT 97663 SOS 37180 HAS SOPS 37180 HAS SOUS 33426 HAS SOUPS 33426 WITH SCORE 33463.18
AT ITER 617 NEW BEST:: SOT 97577 SOS 37096 HAS SOPS 37096 HAS SOUS 33356 HAS SOUPS 33356 WITH SCORE 33393.096
AT ITER 630 NEW BEST:: SOT 97575 SOS 37092 HAS SOPS 37092 HAS SOUS 33352 HAS SOUPS 33352 WITH SCORE 33389.092
AT ITER 633 NEW BEST:: SOT 97653 SOS 37107 HAS SOPS 37107 HAS SOUS 33341 HAS SOUPS 33341 WITH SCORE 33378.107
AT ITER 647 NEW BEST:: SOT 97603 SOS 37007 HAS SOPS 37007 HAS SOUS 33291 HAS SOUPS 33291 WITH SCORE 33328.007
AT ITER 648 NEW BEST:: SOT 97585 SOS 36971 HAS SOPS 36971 HAS SOUS 33255 HAS SOUPS 33255 WITH SCORE 33291.971
AT ITER 650 NEW BEST:: SOT 97585 SOS 36960 HAS SOPS 36960 HAS SOUS 33255 HAS SOUPS 33255 WITH SCORE 33291.96
AT ITER 652 NEW BEST:: SOT 97547 SOS 36884 HAS SOPS 36884 HAS SOUS 33179 HAS SOUPS 33179 WITH SCORE 33215.884
AT ITER 653 NEW BEST:: SOT 97547 SOS 36879 HAS SOPS 36879 HAS SOUS 33174 HAS SOUPS 33174 WITH SCORE 33210.879
AT ITER 654 NEW BEST:: SOT 97546 SOS 36877 HAS SOPS 36877 HAS SOUS 33172 HAS SOUPS 33172 WITH SCORE 33208.877
AT ITER 664 NEW BEST:: SOT 97556 SOS 36871 HAS SOPS 36871 HAS SOUS 33166 HAS SOUPS 33166 WITH SCORE 33202.871
AT ITER 672 NEW BEST:: SOT 97409 SOS 36779 HAS SOPS 36779 HAS SOUS 33074 HAS SOUPS 33074 WITH SCORE 33110.779
AT ITER 674 NEW BEST:: SOT 97385 SOS 36756 HAS SOPS 36756 HAS SOUS 33026 HAS SOUPS 33026 WITH SCORE 33062.756
AT ITER 682 NEW BEST:: SOT 97395 SOS 36776 HAS SOPS 36776 HAS SOUS 33014 HAS SOUPS 33014 WITH SCORE 33050.776
AT ITER 687 NEW BEST:: SOT 97385 SOS 36760 HAS SOPS 36760 HAS SOUS 32994 HAS SOUPS 32994 WITH SCORE 33030.76
AT ITER 694 NEW BEST:: SOT 97315 SOS 36706 HAS SOPS 36706 HAS SOUS 32957 HAS SOUPS 32957 WITH SCORE 32993.706
AT ITER 696 NEW BEST:: SOT 97315 SOS 36698 HAS SOPS 36698 HAS SOUS 32949 HAS SOUPS 32949 WITH SCORE 32985.698
AT ITER 706 NEW BEST:: SOT 97325 SOS 36708 HAS SOPS 36708 HAS SOUS 32923 HAS SOUPS 32923 WITH SCORE 32959.708
AT ITER 708 NEW BEST:: SOT 97325 SOS 36701 HAS SOPS 36701 HAS SOUS 32919 HAS SOUPS 32919 WITH SCORE 32955.701
AT ITER 713 NEW BEST:: SOT 97325 SOS 36657 HAS SOPS 36657 HAS SOUS 32887 HAS SOUPS 32887 WITH SCORE 32923.657
AT ITER 718 NEW BEST:: SOT 97304 SOS 36532 HAS SOPS 36532 HAS SOUS 32845 HAS SOUPS 32845 WITH SCORE 32881.532
AT ITER 728 NEW BEST:: SOT 97304 SOS 36482 HAS SOPS 36482 HAS SOUS 32795 HAS SOUPS 32795 WITH SCORE 32831.482
AT ITER 731 NEW BEST:: SOT 97305 SOS 36483 HAS SOPS 36483 HAS SOUS 32789 HAS SOUPS 32789 WITH SCORE 32825.483
AT ITER 737 NEW BEST:: SOT 97222 SOS 36322 HAS SOPS 36322 HAS SOUS 32771 HAS SOUPS 32771 WITH SCORE 32807.322
AT ITER 750 NEW BEST:: SOT 97217 SOS 36284 HAS SOPS 36284 HAS SOUS 32761 HAS SOUPS 32761 WITH SCORE 32797.284
AT ITER 763 NEW BEST:: SOT 97217 SOS 36284 HAS SOPS 36284 HAS SOUS 32673 HAS SOUPS 32673 WITH SCORE 32709.284
AT ITER 773 NEW BEST:: SOT 97158 SOS 36293 HAS SOPS 36293 HAS SOUS 32608 HAS SOUPS 32608 WITH SCORE 32644.293
AT ITER 778 NEW BEST:: SOT 97158 SOS 36291 HAS SOPS 36291 HAS SOUS 32608 HAS SOUPS 32608 WITH SCORE 32644.291
AT ITER 781 NEW BEST:: SOT 97199 SOS 36247 HAS SOPS 36247 HAS SOUS 32566 HAS SOUPS 32566 WITH SCORE 32602.247
AT ITER 783 NEW BEST:: SOT 97199 SOS 36239 HAS SOPS 36239 HAS SOUS 32566 HAS SOUPS 32566 WITH SCORE 32602.239
AT ITER 792 NEW BEST:: SOT 97195 SOS 36199 HAS SOPS 36199 HAS SOUS 32562 HAS SOUPS 32562 WITH SCORE 32598.199
AT ITER 802 NEW BEST:: SOT 97195 SOS 36199 HAS SOPS 36199 HAS SOUS 32508 HAS SOUPS 32508 WITH SCORE 32544.199
AT ITER 809 NEW BEST:: SOT 97153 SOS 36133 HAS SOPS 36133 HAS SOUS 32476 HAS SOUPS 32476 WITH SCORE 32512.133
AT ITER 822 NEW BEST:: SOT 97150 SOS 36139 HAS SOPS 36139 HAS SOUS 32470 HAS SOUPS 32470 WITH SCORE 32506.139
AT ITER 833 NEW BEST:: SOT 97141 SOS 36129 HAS SOPS 36129 HAS SOUS 32460 HAS SOUPS 32460 WITH SCORE 32496.129
AT ITER 838 NEW BEST:: SOT 97141 SOS 36100 HAS SOPS 36100 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32467.1
AT ITER 849 NEW BEST:: SOT 97123 SOS 36028 HAS SOPS 36028 HAS SOUS 32396 HAS SOUPS 32396 WITH SCORE 32432.028
AT ITER 869 NEW BEST:: SOT 97105 SOS 35992 HAS SOPS 35992 HAS SOUS 32360 HAS SOUPS 32360 WITH SCORE 32395.992
AT ITER 876 NEW BEST:: SOT 97103 SOS 35990 HAS SOPS 35990 HAS SOUS 32358 HAS SOUPS 32358 WITH SCORE 32393.99
AT ITER 892 NEW BEST:: SOT 97096 SOS 35983 HAS SOPS 35983 HAS SOUS 32351 HAS SOUPS 32351 WITH SCORE 32386.983
AT ITER 895 NEW BEST:: SOT 97043 SOS 35877 HAS SOPS 35877 HAS SOUS 32242 HAS SOUPS 32242 WITH SCORE 32277.877
AT ITER 902 NEW BEST:: SOT 96995 SOS 35781 HAS SOPS 35781 HAS SOUS 32131 HAS SOUPS 32131 WITH SCORE 32166.781
AT ITER 906 NEW BEST:: SOT 96959 SOS 35750 HAS SOPS 35750 HAS SOUS 32107 HAS SOUPS 32107 WITH SCORE 32142.75
AT ITER 907 NEW BEST:: SOT 97037 SOS 35818 HAS SOPS 35818 HAS SOUS 32085 HAS SOUPS 32085 WITH SCORE 32120.818
AT ITER 914 NEW BEST:: SOT 97037 SOS 35786 HAS SOPS 35786 HAS SOUS 32053 HAS SOUPS 32053 WITH SCORE 32088.786
AT ITER 920 NEW BEST:: SOT 96972 SOS 35559 HAS SOPS 35559 HAS SOUS 31868 HAS SOUPS 31868 WITH SCORE 31903.559
AT ITER 925 NEW BEST:: SOT 96982 SOS 35554 HAS SOPS 35554 HAS SOUS 31863 HAS SOUPS 31863 WITH SCORE 31898.554
AT ITER 927 NEW BEST:: SOT 96981 SOS 35552 HAS SOPS 35552 HAS SOUS 31861 HAS SOUPS 31861 WITH SCORE 31896.552
AT ITER 928 NEW BEST:: SOT 96921 SOS 35492 HAS SOPS 35492 HAS SOUS 31861 HAS SOUPS 31861 WITH SCORE 31896.492
AT ITER 932 NEW BEST:: SOT 96921 SOS 35492 HAS SOPS 35492 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31817.492
AT ITER 934 NEW BEST:: SOT 96912 SOS 35465 HAS SOPS 35465 HAS SOUS 31755 HAS SOUPS 31755 WITH SCORE 31790.465
AT ITER 940 NEW BEST:: SOT 96880 SOS 35396 HAS SOPS 35396 HAS SOUS 31723 HAS SOUPS 31723 WITH SCORE 31758.396
AT ITER 949 NEW BEST:: SOT 96869 SOS 35376 HAS SOPS 35376 HAS SOUS 31701 HAS SOUPS 31701 WITH SCORE 31736.376
AT ITER 957 NEW BEST:: SOT 96848 SOS 35155 HAS SOPS 35155 HAS SOUS 31639 HAS SOUPS 31639 WITH SCORE 31674.155
AT ITER 963 NEW BEST:: SOT 96847 SOS 35154 HAS SOPS 35154 HAS SOUS 31637 HAS SOUPS 31637 WITH SCORE 31672.154
AT ITER 981 NEW BEST:: SOT 96841 SOS 35141 HAS SOPS 35141 HAS SOUS 31624 HAS SOUPS 31624 WITH SCORE 31659.141
AT ITER 984 NEW BEST:: SOT 96780 SOS 35080 HAS SOPS 35080 HAS SOUS 31562 HAS SOUPS 31562 WITH SCORE 31597.08
AT ITER 988 NEW BEST:: SOT 96770 SOS 34975 HAS SOPS 34975 HAS SOUS 31553 HAS SOUPS 31553 WITH SCORE 31587.975
AT ITER 989 NEW BEST:: SOT 96845 SOS 35047 HAS SOPS 35047 HAS SOUS 31547 HAS SOUPS 31547 WITH SCORE 31582.047
AT ITER 1008 NEW BEST:: SOT 96744 SOS 35003 HAS SOPS 35003 HAS SOUS 31547 HAS SOUPS 31547 WITH SCORE 31582.003
AT ITER 1010 NEW BEST:: SOT 96610 SOS 34898 HAS SOPS 34898 HAS SOUS 31431 HAS SOUPS 31431 WITH SCORE 31465.898
AT ITER 1012 NEW BEST:: SOT 96465 SOS 34756 HAS SOPS 34756 HAS SOUS 31182 HAS SOUPS 31182 WITH SCORE 31216.756
AT ITER 1022 NEW BEST:: SOT 96383 SOS 34568 HAS SOPS 34568 HAS SOUS 31001 HAS SOUPS 31001 WITH SCORE 31035.568
AT ITER 1023 NEW BEST:: SOT 96374 SOS 34559 HAS SOPS 34559 HAS SOUS 30992 HAS SOUPS 30992 WITH SCORE 31026.559
AT ITER 1026 NEW BEST:: SOT 96362 SOS 34492 HAS SOPS 34492 HAS SOUS 30925 HAS SOUPS 30925 WITH SCORE 30959.492
AT ITER 1033 NEW BEST:: SOT 96298 SOS 34444 HAS SOPS 34444 HAS SOUS 30889 HAS SOUPS 30889 WITH SCORE 30923.444
AT ITER 1036 NEW BEST:: SOT 96298 SOS 34370 HAS SOPS 34370 HAS SOUS 30815 HAS SOUPS 30815 WITH SCORE 30849.37
AT ITER 1042 NEW BEST:: SOT 96298 SOS 34309 HAS SOPS 34309 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30788.309
AT ITER 1049 NEW BEST:: SOT 96227 SOS 34044 HAS SOPS 34044 HAS SOUS 30533 HAS SOUPS 30533 WITH SCORE 30567.044
AT ITER 1089 NEW BEST:: SOT 96216 SOS 34002 HAS SOPS 34002 HAS SOUS 30491 HAS SOUPS 30491 WITH SCORE 30525.002
AT ITER 1097 NEW BEST:: SOT 96208 SOS 33986 HAS SOPS 33986 HAS SOUS 30483 HAS SOUPS 30483 WITH SCORE 30516.986
AT ITER 1102 NEW BEST:: SOT 96190 SOS 33950 HAS SOPS 33950 HAS SOUS 30447 HAS SOUPS 30447 WITH SCORE 30480.95
AT ITER 1123 NEW BEST:: SOT 96094 SOS 33902 HAS SOPS 33902 HAS SOUS 30377 HAS SOUPS 30377 WITH SCORE 30410.902
AT ITER 1127 NEW BEST:: SOT 96144 SOS 33919 HAS SOPS 33919 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30406.919
AT ITER 1140 NEW BEST:: SOT 96091 SOS 33813 HAS SOPS 33813 HAS SOUS 30267 HAS SOUPS 30267 WITH SCORE 30300.813
AT ITER 1143 NEW BEST:: SOT 96085 SOS 33801 HAS SOPS 33801 HAS SOUS 30255 HAS SOUPS 30255 WITH SCORE 30288.801
AT ITER 1155 NEW BEST:: SOT 96046 SOS 33723 HAS SOPS 33723 HAS SOUS 30194 HAS SOUPS 30194 WITH SCORE 30227.723
AT ITER 1159 NEW BEST:: SOT 95910 SOS 33665 HAS SOPS 33665 HAS SOUS 30161 HAS SOUPS 30161 WITH SCORE 30194.665
AT ITER 1169 NEW BEST:: SOT 95802 SOS 33610 HAS SOPS 33610 HAS SOUS 30072 HAS SOUPS 30072 WITH SCORE 30105.61
AT ITER 1171 NEW BEST:: SOT 95771 SOS 33579 HAS SOPS 33579 HAS SOUS 30010 HAS SOUPS 30010 WITH SCORE 30043.579
AT ITER 1181 NEW BEST:: SOT 95737 SOS 33511 HAS SOPS 33511 HAS SOUS 29942 HAS SOUPS 29942 WITH SCORE 29975.511
AT ITER 1182 NEW BEST:: SOT 95727 SOS 33501 HAS SOPS 33501 HAS SOUS 29932 HAS SOUPS 29932 WITH SCORE 29965.501
AT ITER 1191 NEW BEST:: SOT 95717 SOS 33481 HAS SOPS 33481 HAS SOUS 29912 HAS SOUPS 29912 WITH SCORE 29945.481
AT ITER 1199 NEW BEST:: SOT 95701 SOS 33449 HAS SOPS 33449 HAS SOUS 29888 HAS SOUPS 29888 WITH SCORE 29921.449
AT ITER 1202 NEW BEST:: SOT 95701 SOS 33443 HAS SOPS 33443 HAS SOUS 29882 HAS SOUPS 29882 WITH SCORE 29915.443
AT ITER 1219 NEW BEST:: SOT 95694 SOS 33337 HAS SOPS 33337 HAS SOUS 29812 HAS SOUPS 29812 WITH SCORE 29845.337
AT ITER 1222 NEW BEST:: SOT 95695 SOS 33292 HAS SOPS 33292 HAS SOUS 29809 HAS SOUPS 29809 WITH SCORE 29842.292
AT ITER 1226 NEW BEST:: SOT 95676 SOS 33227 HAS SOPS 33227 HAS SOUS 29744 HAS SOUPS 29744 WITH SCORE 29777.227
AT ITER 1240 NEW BEST:: SOT 95675 SOS 33226 HAS SOPS 33226 HAS SOUS 29742 HAS SOUPS 29742 WITH SCORE 29775.226
AT ITER 1248 NEW BEST:: SOT 95614 SOS 33213 HAS SOPS 33213 HAS SOUS 29661 HAS SOUPS 29661 WITH SCORE 29694.213
AT ITER 1260 NEW BEST:: SOT 95513 SOS 33108 HAS SOPS 33108 HAS SOUS 29528 HAS SOUPS 29528 WITH SCORE 29561.108
AT ITER 1261 NEW BEST:: SOT 95468 SOS 33018 HAS SOPS 33018 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29471.018
AT ITER 1263 NEW BEST:: SOT 95477 SOS 33020 HAS SOPS 33020 HAS SOUS 29431 HAS SOUPS 29431 WITH SCORE 29464.02
AT ITER 1268 NEW BEST:: SOT 95476 SOS 33019 HAS SOPS 33019 HAS SOUS 29429 HAS SOUPS 29429 WITH SCORE 29462.019
AT ITER 1274 NEW BEST:: SOT 95332 SOS 32875 HAS SOPS 32875 HAS SOUS 29285 HAS SOUPS 29285 WITH SCORE 29317.875
AT ITER 1278 NEW BEST:: SOT 95300 SOS 32843 HAS SOPS 32843 HAS SOUS 29253 HAS SOUPS 29253 WITH SCORE 29285.843
AT ITER 1298 NEW BEST:: SOT 95270 SOS 32783 HAS SOPS 32783 HAS SOUS 29211 HAS SOUPS 29211 WITH SCORE 29243.783
AT ITER 1300 NEW BEST:: SOT 95269 SOS 32769 HAS SOPS 32769 HAS SOUS 29210 HAS SOUPS 29210 WITH SCORE 29242.769
AT ITER 1312 NEW BEST:: SOT 95263 SOS 32763 HAS SOPS 32763 HAS SOUS 29198 HAS SOUPS 29198 WITH SCORE 29230.763
AT ITER 1325 NEW BEST:: SOT 95262 SOS 32648 HAS SOPS 32648 HAS SOUS 29196 HAS SOUPS 29196 WITH SCORE 29228.648
AT ITER 1328 NEW BEST:: SOT 95262 SOS 32646 HAS SOPS 32646 HAS SOUS 29195 HAS SOUPS 29195 WITH SCORE 29227.646
AT ITER 1337 NEW BEST:: SOT 95235 SOS 32627 HAS SOPS 32627 HAS SOUS 29173 HAS SOUPS 29173 WITH SCORE 29205.627
AT ITER 1343 NEW BEST:: SOT 95165 SOS 32686 HAS SOPS 32686 HAS SOUS 29106 HAS SOUPS 29106 WITH SCORE 29138.686
AT ITER 1346 NEW BEST:: SOT 95139 SOS 32614 HAS SOPS 32614 HAS SOUS 29034 HAS SOUPS 29034 WITH SCORE 29066.614
AT ITER 1350 NEW BEST:: SOT 95131 SOS 32598 HAS SOPS 32598 HAS SOUS 29022 HAS SOUPS 29022 WITH SCORE 29054.598
AT ITER 1357 NEW BEST:: SOT 95073 SOS 32414 HAS SOPS 32414 HAS SOUS 28924 HAS SOUPS 28924 WITH SCORE 28956.414
AT ITER 1370 NEW BEST:: SOT 95047 SOS 32410 HAS SOPS 32410 HAS SOUS 28920 HAS SOUPS 28920 WITH SCORE 28952.41
AT ITER 1378 NEW BEST:: SOT 94983 SOS 32346 HAS SOPS 32346 HAS SOUS 28856 HAS SOUPS 28856 WITH SCORE 28888.346
AT ITER 1384 NEW BEST:: SOT 94948 SOS 32311 HAS SOPS 32311 HAS SOUS 28821 HAS SOUPS 28821 WITH SCORE 28853.311
AT ITER 1385 NEW BEST:: SOT 94928 SOS 32325 HAS SOPS 32325 HAS SOUS 28815 HAS SOUPS 28815 WITH SCORE 28847.325
AT ITER 1391 NEW BEST:: SOT 94928 SOS 32015 HAS SOPS 32015 HAS SOUS 28815 HAS SOUPS 28815 WITH SCORE 28847.015
AT ITER 1393 NEW BEST:: SOT 94925 SOS 32006 HAS SOPS 32006 HAS SOUS 28809 HAS SOUPS 28809 WITH SCORE 28841.006
AT ITER 1407 NEW BEST:: SOT 94908 SOS 31972 HAS SOPS 31972 HAS SOUS 28775 HAS SOUPS 28775 WITH SCORE 28806.972
AT ITER 1409 NEW BEST:: SOT 94866 SOS 31936 HAS SOPS 31936 HAS SOUS 28739 HAS SOUPS 28739 WITH SCORE 28770.936
AT ITER 1421 NEW BEST:: SOT 94866 SOS 31936 HAS SOPS 31936 HAS SOUS 28732 HAS SOUPS 28732 WITH SCORE 28763.936
AT ITER 1430 NEW BEST:: SOT 94761 SOS 31856 HAS SOPS 31856 HAS SOUS 28652 HAS SOUPS 28652 WITH SCORE 28683.856
AT ITER 1439 NEW BEST:: SOT 94761 SOS 31831 HAS SOPS 31831 HAS SOUS 28627 HAS SOUPS 28627 WITH SCORE 28658.831
AT ITER 1442 NEW BEST:: SOT 94717 SOS 31765 HAS SOPS 31765 HAS SOUS 28539 HAS SOUPS 28539 WITH SCORE 28570.765
AT ITER 1463 NEW BEST:: SOT 94698 SOS 31727 HAS SOPS 31727 HAS SOUS 28501 HAS SOUPS 28501 WITH SCORE 28532.727
AT ITER 1473 NEW BEST:: SOT 94696 SOS 31720 HAS SOPS 31720 HAS SOUS 28494 HAS SOUPS 28494 WITH SCORE 28525.72
AT ITER 1481 NEW BEST:: SOT 94687 SOS 31702 HAS SOPS 31702 HAS SOUS 28447 HAS SOUPS 28447 WITH SCORE 28478.702
AT ITER 1512 NEW BEST:: SOT 94690 SOS 31640 HAS SOPS 31640 HAS SOUS 28436 HAS SOUPS 28436 WITH SCORE 28467.64
AT ITER 1531 NEW BEST:: SOT 94653 SOS 31603 HAS SOPS 31603 HAS SOUS 28399 HAS SOUPS 28399 WITH SCORE 28430.603
AT ITER 1533 NEW BEST:: SOT 94624 SOS 31533 HAS SOPS 31533 HAS SOUS 28328 HAS SOUPS 28328 WITH SCORE 28359.533
AT ITER 1543 NEW BEST:: SOT 94554 SOS 31463 HAS SOPS 31463 HAS SOUS 28258 HAS SOUPS 28258 WITH SCORE 28289.463
AT ITER 1545 NEW BEST:: SOT 94543 SOS 31358 HAS SOPS 31358 HAS SOUS 28203 HAS SOUPS 28203 WITH SCORE 28234.358
AT ITER 1546 NEW BEST:: SOT 94543 SOS 31357 HAS SOPS 31357 HAS SOUS 28202 HAS SOUPS 28202 WITH SCORE 28233.357
AT ITER 1547 NEW BEST:: SOT 94506 SOS 31325 HAS SOPS 31325 HAS SOUS 28170 HAS SOUPS 28170 WITH SCORE 28201.325
AT ITER 1561 NEW BEST:: SOT 94500 SOS 31313 HAS SOPS 31313 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28189.313
AT ITER 1572 NEW BEST:: SOT 94500 SOS 31289 HAS SOPS 31289 HAS SOUS 28134 HAS SOUPS 28134 WITH SCORE 28165.289
AT ITER 1578 NEW BEST:: SOT 94469 SOS 31321 HAS SOPS 31321 HAS SOUS 28056 HAS SOUPS 28056 WITH SCORE 28087.321
AT ITER 1582 NEW BEST:: SOT 94457 SOS 31329 HAS SOPS 31329 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28081.329
AT ITER 1586 NEW BEST:: SOT 94479 SOS 31252 HAS SOPS 31252 HAS SOUS 27996 HAS SOUPS 27996 WITH SCORE 28027.252
AT ITER 1590 NEW BEST:: SOT 94476 SOS 31246 HAS SOPS 31246 HAS SOUS 27993 HAS SOUPS 27993 WITH SCORE 28024.246
AT ITER 1591 NEW BEST:: SOT 94476 SOS 31240 HAS SOPS 31240 HAS SOUS 27987 HAS SOUPS 27987 WITH SCORE 28018.24
AT ITER 1594 NEW BEST:: SOT 94473 SOS 31237 HAS SOPS 31237 HAS SOUS 27984 HAS SOUPS 27984 WITH SCORE 28015.237
AT ITER 1597 NEW BEST:: SOT 94420 SOS 31109 HAS SOPS 31109 HAS SOUS 27916 HAS SOUPS 27916 WITH SCORE 27947.109
AT ITER 1598 NEW BEST:: SOT 94412 SOS 31093 HAS SOPS 31093 HAS SOUS 27900 HAS SOUPS 27900 WITH SCORE 27931.093
AT ITER 1602 NEW BEST:: SOT 94368 SOS 31005 HAS SOPS 31005 HAS SOUS 27780 HAS SOUPS 27780 WITH SCORE 27811.005
AT ITER 1606 NEW BEST:: SOT 94275 SOS 31069 HAS SOPS 31069 HAS SOUS 27704 HAS SOUPS 27704 WITH SCORE 27735.069
AT ITER 1609 NEW BEST:: SOT 94248 SOS 31015 HAS SOPS 31015 HAS SOUS 27690 HAS SOUPS 27690 WITH SCORE 27721.015
AT ITER 1638 NEW BEST:: SOT 94262 SOS 31076 HAS SOPS 31076 HAS SOUS 27670 HAS SOUPS 27670 WITH SCORE 27701.076
AT ITER 1651 NEW BEST:: SOT 94246 SOS 31044 HAS SOPS 31044 HAS SOUS 27611 HAS SOUPS 27611 WITH SCORE 27642.044
AT ITER 1661 NEW BEST:: SOT 94233 SOS 31041 HAS SOPS 31041 HAS SOUS 27472 HAS SOUPS 27472 WITH SCORE 27503.041
AT ITER 1664 NEW BEST:: SOT 94072 SOS 31904 HAS SOPS 31904 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27455.904
AT ITER 1668 NEW BEST:: SOT 94068 SOS 31896 HAS SOPS 31896 HAS SOUS 27416 HAS SOUPS 27416 WITH SCORE 27447.896
AT ITER 1669 NEW BEST:: SOT 94030 SOS 31854 HAS SOPS 31854 HAS SOUS 27296 HAS SOUPS 27296 WITH SCORE 27327.854
AT ITER 1684 NEW BEST:: SOT 94014 SOS 31806 HAS SOPS 31806 HAS SOUS 27278 HAS SOUPS 27278 WITH SCORE 27309.806
AT ITER 1685 NEW BEST:: SOT 93939 SOS 31735 HAS SOPS 31735 HAS SOUS 27203 HAS SOUPS 27203 WITH SCORE 27234.735
AT ITER 1694 NEW BEST:: SOT 93910 SOS 31694 HAS SOPS 31694 HAS SOUS 27195 HAS SOUPS 27195 WITH SCORE 27226.694
AT ITER 1706 NEW BEST:: SOT 93897 SOS 31998 HAS SOPS 31998 HAS SOUS 27169 HAS SOUPS 27169 WITH SCORE 27200.998
AT ITER 1733 NEW BEST:: SOT 93896 SOS 32001 HAS SOPS 32001 HAS SOUS 27168 HAS SOUPS 27168 WITH SCORE 27200.001
AT ITER 1737 NEW BEST:: SOT 93890 SOS 31989 HAS SOPS 31989 HAS SOUS 27156 HAS SOUPS 27156 WITH SCORE 27187.989
AT ITER 1762 NEW BEST:: SOT 93853 SOS 31959 HAS SOPS 31959 HAS SOUS 27137 HAS SOUPS 27137 WITH SCORE 27168.959
AT ITER 1764 NEW BEST:: SOT 93852 SOS 31957 HAS SOPS 31957 HAS SOUS 27135 HAS SOUPS 27135 WITH SCORE 27166.957
AT ITER 1781 NEW BEST:: SOT 93776 SOS 31872 HAS SOPS 31872 HAS SOUS 27062 HAS SOUPS 27062 WITH SCORE 27093.872
AT ITER 1790 NEW BEST:: SOT 93776 SOS 31870 HAS SOPS 31870 HAS SOUS 27060 HAS SOUPS 27060 WITH SCORE 27091.87
AT ITER 1797 NEW BEST:: SOT 93800 SOS 31855 HAS SOPS 31855 HAS SOUS 27006 HAS SOUPS 27006 WITH SCORE 27037.855
AT ITER 1817 NEW BEST:: SOT 93786 SOS 31826 HAS SOPS 31826 HAS SOUS 26981 HAS SOUPS 26981 WITH SCORE 27012.826
AT ITER 1838 NEW BEST:: SOT 93785 SOS 31824 HAS SOPS 31824 HAS SOUS 26979 HAS SOUPS 26979 WITH SCORE 27010.824
AT ITER 1902 NEW BEST:: SOT 93685 SOS 31485 HAS SOPS 31485 HAS SOUS 26598 HAS SOUPS 26598 WITH SCORE 26629.485
AT ITER 1925 NEW BEST:: SOT 93685 SOS 31484 HAS SOPS 31484 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26628.484
AT ITER 1942 NEW BEST:: SOT 93675 SOS 31464 HAS SOPS 31464 HAS SOUS 26587 HAS SOUPS 26587 WITH SCORE 26618.464
AT ITER 1944 NEW BEST:: SOT 93682 SOS 31467 HAS SOPS 31467 HAS SOUS 26520 HAS SOUPS 26520 WITH SCORE 26551.467
AT ITER 1955 NEW BEST:: SOT 93678 SOS 31459 HAS SOPS 31459 HAS SOUS 26512 HAS SOUPS 26512 WITH SCORE 26543.459
AT ITER 1963 NEW BEST:: SOT 93663 SOS 31414 HAS SOPS 31414 HAS SOUS 26467 HAS SOUPS 26467 WITH SCORE 26498.414
AT ITER 1967 NEW BEST:: SOT 93214 SOS 31504 HAS SOPS 31504 HAS SOUS 26042 HAS SOUPS 26042 WITH SCORE 26073.504
AT ITER 1980 NEW BEST:: SOT 93172 SOS 31420 HAS SOPS 31420 HAS SOUS 25958 HAS SOUPS 25958 WITH SCORE 25989.42
AT ITER 1988 NEW BEST:: SOT 93163 SOS 31402 HAS SOPS 31402 HAS SOUS 25940 HAS SOUPS 25940 WITH SCORE 25971.402
AT ITER 2003 NEW BEST:: SOT 93144 SOS 31364 HAS SOPS 31364 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25933.364
AT ITER 2010 NEW BEST:: SOT 93133 SOS 31342 HAS SOPS 31342 HAS SOUS 25880 HAS SOUPS 25880 WITH SCORE 25911.342
AT ITER 2012 NEW BEST:: SOT 93084 SOS 31344 HAS SOPS 31344 HAS SOUS 25833 HAS SOUPS 25833 WITH SCORE 25864.344
AT ITER 2020 NEW BEST:: SOT 92991 SOS 31251 HAS SOPS 31251 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25771.251
AT ITER 2039 NEW BEST:: SOT 92991 SOS 31221 HAS SOPS 31221 HAS SOUS 25710 HAS SOUPS 25710 WITH SCORE 25741.221
AT ITER 2053 NEW BEST:: SOT 92989 SOS 31218 HAS SOPS 31218 HAS SOUS 25707 HAS SOUPS 25707 WITH SCORE 25738.218
AT ITER 2056 NEW BEST:: SOT 92948 SOS 31175 HAS SOPS 31175 HAS SOUS 25616 HAS SOUPS 25616 WITH SCORE 25647.175
AT ITER 2069 NEW BEST:: SOT 92952 SOS 31146 HAS SOPS 31146 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 25618.146
AT ITER 2089 NEW BEST:: SOT 92963 SOS 31157 HAS SOPS 31157 HAS SOUS 25575 HAS SOUPS 25575 WITH SCORE 25606.157
AT ITER 2105 NEW BEST:: SOT 92962 SOS 31157 HAS SOPS 31157 HAS SOUS 25572 HAS SOUPS 25572 WITH SCORE 25603.157
AT ITER 2113 NEW BEST:: SOT 92933 SOS 31099 HAS SOPS 31099 HAS SOUS 25565 HAS SOUPS 25565 WITH SCORE 25596.099
AT ITER 2128 NEW BEST:: SOT 92917 SOS 31109 HAS SOPS 31109 HAS SOUS 25537 HAS SOUPS 25537 WITH SCORE 25568.109
AT ITER 2139 NEW BEST:: SOT 92914 SOS 31093 HAS SOPS 31093 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25555.093
AT ITER 2142 NEW BEST:: SOT 92896 SOS 31057 HAS SOPS 31057 HAS SOUS 25498 HAS SOUPS 25498 WITH SCORE 25529.057
AT ITER 2151 NEW BEST:: SOT 92901 SOS 31053 HAS SOPS 31053 HAS SOUS 25494 HAS SOUPS 25494 WITH SCORE 25525.053
AT ITER 2171 NEW BEST:: SOT 92901 SOS 31025 HAS SOPS 31025 HAS SOUS 25494 HAS SOUPS 25494 WITH SCORE 25525.025
AT ITER 2182 NEW BEST:: SOT 92911 SOS 31020 HAS SOPS 31020 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25495.02
AT ITER 2209 NEW BEST:: SOT 92850 SOS 30913 HAS SOPS 30913 HAS SOUS 25438 HAS SOUPS 25438 WITH SCORE 25468.913
AT ITER 2214 NEW BEST:: SOT 92846 SOS 30905 HAS SOPS 30905 HAS SOUS 25435 HAS SOUPS 25435 WITH SCORE 25465.905
AT ITER 2217 NEW BEST:: SOT 92854 SOS 30784 HAS SOPS 30784 HAS SOUS 25187 HAS SOUPS 25187 WITH SCORE 25217.784
AT ITER 2221 NEW BEST:: SOT 92802 SOS 30680 HAS SOPS 30680 HAS SOUS 25135 HAS SOUPS 25135 WITH SCORE 25165.68
AT ITER 2236 NEW BEST:: SOT 92800 SOS 30668 HAS SOPS 30668 HAS SOUS 25126 HAS SOUPS 25126 WITH SCORE 25156.668
AT ITER 2245 NEW BEST:: SOT 92776 SOS 30285 HAS SOPS 30285 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25108.285
AT ITER 2247 NEW BEST:: SOT 92765 SOS 30276 HAS SOPS 30276 HAS SOUS 25067 HAS SOUPS 25067 WITH SCORE 25097.276
AT ITER 2248 NEW BEST:: SOT 92756 SOS 30272 HAS SOPS 30272 HAS SOUS 25063 HAS SOUPS 25063 WITH SCORE 25093.272
AT ITER 2260 NEW BEST:: SOT 92756 SOS 30272 HAS SOPS 30272 HAS SOUS 25061 HAS SOUPS 25061 WITH SCORE 25091.272
AT ITER 2273 NEW BEST:: SOT 92645 SOS 30050 HAS SOPS 30050 HAS SOUS 24858 HAS SOUPS 24858 WITH SCORE 24888.05
AT ITER 2279 NEW BEST:: SOT 92631 SOS 30036 HAS SOPS 30036 HAS SOUS 24844 HAS SOUPS 24844 WITH SCORE 24874.036
AT ITER 2283 NEW BEST:: SOT 92629 SOS 30034 HAS SOPS 30034 HAS SOUS 24842 HAS SOUPS 24842 WITH SCORE 24872.034
AT ITER 2290 NEW BEST:: SOT 92628 SOS 30033 HAS SOPS 30033 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24870.033
AT ITER 2300 NEW BEST:: SOT 92621 SOS 30026 HAS SOPS 30026 HAS SOUS 24826 HAS SOUPS 24826 WITH SCORE 24856.026
AT ITER 2311 NEW BEST:: SOT 92609 SOS 30002 HAS SOPS 30002 HAS SOUS 24814 HAS SOUPS 24814 WITH SCORE 24844.002
AT ITER 2316 NEW BEST:: SOT 92592 SOS 29968 HAS SOPS 29968 HAS SOUS 24797 HAS SOUPS 24797 WITH SCORE 24826.968
AT ITER 2318 NEW BEST:: SOT 92592 SOS 29949 HAS SOPS 29949 HAS SOUS 24778 HAS SOUPS 24778 WITH SCORE 24807.949
AT ITER 2330 NEW BEST:: SOT 92592 SOS 29943 HAS SOPS 29943 HAS SOUS 24772 HAS SOUPS 24772 WITH SCORE 24801.943
AT ITER 2382 NEW BEST:: SOT 92461 SOS 29741 HAS SOPS 29741 HAS SOUS 24570 HAS SOUPS 24570 WITH SCORE 24599.741
AT ITER 2397 NEW BEST:: SOT 92410 SOS 29639 HAS SOPS 29639 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24497.639
AT ITER 2411 NEW BEST:: SOT 92410 SOS 29617 HAS SOPS 29617 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24497.617
AT ITER 2433 NEW BEST:: SOT 92360 SOS 29631 HAS SOPS 29631 HAS SOUS 24455 HAS SOUPS 24455 WITH SCORE 24484.631
AT ITER 2447 NEW BEST:: SOT 92360 SOS 29615 HAS SOPS 29615 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24467.615
AT ITER 2458 NEW BEST:: SOT 92325 SOS 29580 HAS SOPS 29580 HAS SOUS 24403 HAS SOUPS 24403 WITH SCORE 24432.58
AT ITER 2464 NEW BEST:: SOT 92343 SOS 29559 HAS SOPS 29559 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24429.559
AT ITER 2484 NEW BEST:: SOT 92350 SOS 29579 HAS SOPS 29579 HAS SOUS 24385 HAS SOUPS 24385 WITH SCORE 24414.579
AT ITER 2495 NEW BEST:: SOT 92346 SOS 29575 HAS SOPS 29575 HAS SOUS 24381 HAS SOUPS 24381 WITH SCORE 24410.575
AT ITER 2497 NEW BEST:: SOT 92337 SOS 29522 HAS SOPS 29522 HAS SOUS 24312 HAS SOUPS 24312 WITH SCORE 24341.522
AT ITER 2506 NEW BEST:: SOT 92394 SOS 29525 HAS SOPS 29525 HAS SOUS 24284 HAS SOUPS 24284 WITH SCORE 24313.525
AT ITER 2514 NEW BEST:: SOT 92387 SOS 29522 HAS SOPS 29522 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24300.522
AT ITER 2526 NEW BEST:: SOT 92195 SOS 29314 HAS SOPS 29314 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24108.314
AT ITER 2527 NEW BEST:: SOT 92183 SOS 29302 HAS SOPS 29302 HAS SOUS 24067 HAS SOUPS 24067 WITH SCORE 24096.302
AT ITER 2529 NEW BEST:: SOT 92121 SOS 29178 HAS SOPS 29178 HAS SOUS 23943 HAS SOUPS 23943 WITH SCORE 23972.178
AT ITER 2537 NEW BEST:: SOT 92113 SOS 29162 HAS SOPS 29162 HAS SOUS 23936 HAS SOUPS 23936 WITH SCORE 23965.162
AT ITER 2554 NEW BEST:: SOT 92111 SOS 29158 HAS SOPS 29158 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 23963.158
AT ITER 2564 NEW BEST:: SOT 92118 SOS 29165 HAS SOPS 29165 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23960.165
AT ITER 2571 NEW BEST:: SOT 92080 SOS 29142 HAS SOPS 29142 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23914.142
AT ITER 2617 NEW BEST:: SOT 92044 SOS 29091 HAS SOPS 29091 HAS SOUS 23838 HAS SOUPS 23838 WITH SCORE 23867.091
AT ITER 2619 NEW BEST:: SOT 92118 SOS 29129 HAS SOPS 29129 HAS SOUS 23837 HAS SOUPS 23837 WITH SCORE 23866.129
AT ITER 2637 NEW BEST:: SOT 92075 SOS 29043 HAS SOPS 29043 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23807.043
AT ITER 2663 NEW BEST:: SOT 92072 SOS 29037 HAS SOPS 29037 HAS SOUS 23770 HAS SOUPS 23770 WITH SCORE 23799.037
AT ITER 2666 NEW BEST:: SOT 92053 SOS 29021 HAS SOPS 29021 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23783.021
AT ITER 2673 NEW BEST:: SOT 91963 SOS 28778 HAS SOPS 28778 HAS SOUS 23678 HAS SOUPS 23678 WITH SCORE 23706.778
AT ITER 2675 NEW BEST:: SOT 91954 SOS 28760 HAS SOPS 28760 HAS SOUS 23669 HAS SOUPS 23669 WITH SCORE 23697.76
AT ITER 2679 NEW BEST:: SOT 91948 SOS 28713 HAS SOPS 28713 HAS SOUS 23651 HAS SOUPS 23651 WITH SCORE 23679.713
AT ITER 2700 NEW BEST:: SOT 91944 SOS 28750 HAS SOPS 28750 HAS SOUS 23574 HAS SOUPS 23574 WITH SCORE 23602.75
AT ITER 2724 NEW BEST:: SOT 91927 SOS 28716 HAS SOPS 28716 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23568.716
AT ITER 2729 NEW BEST:: SOT 91921 SOS 28715 HAS SOPS 28715 HAS SOUS 23539 HAS SOUPS 23539 WITH SCORE 23567.715
AT ITER 2732 NEW BEST:: SOT 91900 SOS 28647 HAS SOPS 28647 HAS SOUS 23492 HAS SOUPS 23492 WITH SCORE 23520.647
AT ITER 2734 NEW BEST:: SOT 91896 SOS 28541 HAS SOPS 28541 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23512.541
AT ITER 2769 NEW BEST:: SOT 91818 SOS 28507 HAS SOPS 28507 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23434.507
AT ITER 2787 NEW BEST:: SOT 91816 SOS 28505 HAS SOPS 28505 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23430.505
AT ITER 2795 NEW BEST:: SOT 91801 SOS 28311 HAS SOPS 28311 HAS SOUS 23347 HAS SOUPS 23347 WITH SCORE 23375.311
AT ITER 2807 NEW BEST:: SOT 91799 SOS 28307 HAS SOPS 28307 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23371.307
AT ITER 2822 NEW BEST:: SOT 91762 SOS 28233 HAS SOPS 28233 HAS SOUS 23306 HAS SOUPS 23306 WITH SCORE 23334.233
AT ITER 2843 NEW BEST:: SOT 91803 SOS 28253 HAS SOPS 28253 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23308.253
AT ITER 2846 NEW BEST:: SOT 91800 SOS 28247 HAS SOPS 28247 HAS SOUS 23277 HAS SOUPS 23277 WITH SCORE 23305.247
AT ITER 2879 NEW BEST:: SOT 91796 SOS 28241 HAS SOPS 28241 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23298.241
AT ITER 2942 NEW BEST:: SOT 91843 SOS 28213 HAS SOPS 28213 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23292.213
AT ITER 2996 NEW BEST:: SOT 91839 SOS 28205 HAS SOPS 28205 HAS SOUS 23258 HAS SOUPS 23258 WITH SCORE 23286.205
AT ITER 3010 NEW BEST:: SOT 91827 SOS 28171 HAS SOPS 28171 HAS SOUS 23234 HAS SOUPS 23234 WITH SCORE 23262.171
AT ITER 3011 NEW BEST:: SOT 91809 SOS 28149 HAS SOPS 28149 HAS SOUS 23212 HAS SOUPS 23212 WITH SCORE 23240.149
AT ITER 3026 NEW BEST:: SOT 91772 SOS 28112 HAS SOPS 28112 HAS SOUS 23175 HAS SOUPS 23175 WITH SCORE 23203.112
AT ITER 3040 NEW BEST:: SOT 91765 SOS 28098 HAS SOPS 28098 HAS SOUS 23161 HAS SOUPS 23161 WITH SCORE 23189.098
AT ITER 3055 NEW BEST:: SOT 91755 SOS 28078 HAS SOPS 28078 HAS SOUS 23147 HAS SOUPS 23147 WITH SCORE 23175.078
AT ITER 3060 NEW BEST:: SOT 91750 SOS 28062 HAS SOPS 28062 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23164.062
AT ITER 3111 NEW BEST:: SOT 91750 SOS 28059 HAS SOPS 28059 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23161.059
AT ITER 3113 NEW BEST:: SOT 91742 SOS 28043 HAS SOPS 28043 HAS SOUS 23125 HAS SOUPS 23125 WITH SCORE 23153.043
AT ITER 3115 NEW BEST:: SOT 91747 SOS 28040 HAS SOPS 28040 HAS SOUS 23122 HAS SOUPS 23122 WITH SCORE 23150.04
AT ITER 3120 NEW BEST:: SOT 91747 SOS 28028 HAS SOPS 28028 HAS SOUS 23122 HAS SOUPS 23122 WITH SCORE 23150.028
AT ITER 3135 NEW BEST:: SOT 91652 SOS 27836 HAS SOPS 27836 HAS SOUS 23054 HAS SOUPS 23054 WITH SCORE 23081.836
AT ITER 3146 NEW BEST:: SOT 91647 SOS 27826 HAS SOPS 27826 HAS SOUS 23044 HAS SOUPS 23044 WITH SCORE 23071.826
AT ITER 3160 NEW BEST:: SOT 91647 SOS 27918 HAS SOPS 27918 HAS SOUS 22976 HAS SOUPS 22976 WITH SCORE 23003.918
AT ITER 3175 NEW BEST:: SOT 91633 SOS 27993 HAS SOPS 27993 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 22994.993
AT ITER 3191 NEW BEST:: SOT 91555 SOS 28225 HAS SOPS 28225 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22944.225
AT ITER 3202 NEW BEST:: SOT 91553 SOS 28222 HAS SOPS 28222 HAS SOUS 22915 HAS SOUPS 22915 WITH SCORE 22943.222
AT ITER 3210 NEW BEST:: SOT 91537 SOS 28190 HAS SOPS 28190 HAS SOUS 22883 HAS SOUPS 22883 WITH SCORE 22911.19
AT ITER 3211 NEW BEST:: SOT 91529 SOS 28174 HAS SOPS 28174 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22895.174
AT ITER 3212 NEW BEST:: SOT 91523 SOS 28144 HAS SOPS 28144 HAS SOUS 22846 HAS SOUPS 22846 WITH SCORE 22874.144
AT ITER 3216 NEW BEST:: SOT 91389 SOS 28102 HAS SOPS 28102 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22832.102
AT ITER 3223 NEW BEST:: SOT 91267 SOS 27847 HAS SOPS 27847 HAS SOUS 22555 HAS SOUPS 22555 WITH SCORE 22582.847
AT ITER 3228 NEW BEST:: SOT 90880 SOS 27579 HAS SOPS 27579 HAS SOUS 22162 HAS SOUPS 22162 WITH SCORE 22189.579
AT ITER 3233 NEW BEST:: SOT 90902 SOS 27453 HAS SOPS 27453 HAS SOUS 22052 HAS SOUPS 22052 WITH SCORE 22079.453
AT ITER 3234 NEW BEST:: SOT 90839 SOS 27312 HAS SOPS 27312 HAS SOUS 22018 HAS SOUPS 22018 WITH SCORE 22045.312
AT ITER 3258 NEW BEST:: SOT 90870 SOS 27309 HAS SOPS 27309 HAS SOUS 22015 HAS SOUPS 22015 WITH SCORE 22042.309
AT ITER 3272 NEW BEST:: SOT 90862 SOS 27341 HAS SOPS 27341 HAS SOUS 22002 HAS SOUPS 22002 WITH SCORE 22029.341
AT ITER 3280 NEW BEST:: SOT 90854 SOS 27265 HAS SOPS 27265 HAS SOUS 21991 HAS SOUPS 21991 WITH SCORE 22018.265
AT ITER 3286 NEW BEST:: SOT 90809 SOS 27265 HAS SOPS 27265 HAS SOUS 21959 HAS SOUPS 21959 WITH SCORE 21986.265
AT ITER 3289 NEW BEST:: SOT 90810 SOS 27261 HAS SOPS 27261 HAS SOUS 21949 HAS SOUPS 21949 WITH SCORE 21976.261
AT ITER 3290 NEW BEST:: SOT 90781 SOS 27232 HAS SOPS 27232 HAS SOUS 21912 HAS SOUPS 21912 WITH SCORE 21939.232
AT ITER 3297 NEW BEST:: SOT 90742 SOS 27178 HAS SOPS 27178 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21860.178
AT ITER 3312 NEW BEST:: SOT 90740 SOS 27173 HAS SOPS 27173 HAS SOUS 21828 HAS SOUPS 21828 WITH SCORE 21855.173
AT ITER 3364 NEW BEST:: SOT 90734 SOS 27161 HAS SOPS 27161 HAS SOUS 21816 HAS SOUPS 21816 WITH SCORE 21843.161
AT ITER 3368 NEW BEST:: SOT 90707 SOS 27134 HAS SOPS 27134 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21764.134
AT ITER 3446 NEW BEST:: SOT 90705 SOS 27131 HAS SOPS 27131 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21761.131
AT ITER 3481 NEW BEST:: SOT 90679 SOS 27092 HAS SOPS 27092 HAS SOUS 21695 HAS SOUPS 21695 WITH SCORE 21722.092
AT ITER 3489 NEW BEST:: SOT 90722 SOS 27132 HAS SOPS 27132 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21718.132
AT ITER 3493 NEW BEST:: SOT 90724 SOS 27081 HAS SOPS 27081 HAS SOUS 21640 HAS SOUPS 21640 WITH SCORE 21667.081
AT ITER 3506 NEW BEST:: SOT 90712 SOS 27069 HAS SOPS 27069 HAS SOUS 21628 HAS SOUPS 21628 WITH SCORE 21655.069
AT ITER 3510 NEW BEST:: SOT 90680 SOS 27005 HAS SOPS 27005 HAS SOUS 21583 HAS SOUPS 21583 WITH SCORE 21610.005
AT ITER 3511 NEW BEST:: SOT 90675 SOS 27014 HAS SOPS 27014 HAS SOUS 21573 HAS SOUPS 21573 WITH SCORE 21600.014
AT ITER 3526 NEW BEST:: SOT 90656 SOS 26954 HAS SOPS 26954 HAS SOUS 21538 HAS SOUPS 21538 WITH SCORE 21564.954
AT ITER 3533 NEW BEST:: SOT 90689 SOS 26944 HAS SOPS 26944 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21554.944
AT ITER 3541 NEW BEST:: SOT 90688 SOS 26942 HAS SOPS 26942 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21553.942
AT ITER 3552 NEW BEST:: SOT 90688 SOS 26913 HAS SOPS 26913 HAS SOUS 21498 HAS SOUPS 21498 WITH SCORE 21524.913
AT ITER 3559 NEW BEST:: SOT 90668 SOS 26873 HAS SOPS 26873 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21490.873
AT ITER 3583 NEW BEST:: SOT 90661 SOS 26824 HAS SOPS 26824 HAS SOUS 21430 HAS SOUPS 21430 WITH SCORE 21456.824
AT ITER 3597 NEW BEST:: SOT 90642 SOS 26805 HAS SOPS 26805 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21437.805
AT ITER 3614 NEW BEST:: SOT 90638 SOS 26797 HAS SOPS 26797 HAS SOUS 21403 HAS SOUPS 21403 WITH SCORE 21429.797
AT ITER 3683 NEW BEST:: SOT 90633 SOS 26792 HAS SOPS 26792 HAS SOUS 21393 HAS SOUPS 21393 WITH SCORE 21419.792
AT ITER 3722 NEW BEST:: SOT 90626 SOS 26791 HAS SOPS 26791 HAS SOUS 21393 HAS SOUPS 21393 WITH SCORE 21419.791
AT ITER 3743 NEW BEST:: SOT 90623 SOS 26765 HAS SOPS 26765 HAS SOUS 21374 HAS SOUPS 21374 WITH SCORE 21400.765
AT ITER 3748 NEW BEST:: SOT 90614 SOS 26643 HAS SOPS 26643 HAS SOUS 21356 HAS SOUPS 21356 WITH SCORE 21382.643
AT ITER 3766 NEW BEST:: SOT 90613 SOS 26617 HAS SOPS 26617 HAS SOUS 21330 HAS SOUPS 21330 WITH SCORE 21356.617
AT ITER 3775 NEW BEST:: SOT 90588 SOS 26660 HAS SOPS 26660 HAS SOUS 21315 HAS SOUPS 21315 WITH SCORE 21341.66
AT ITER 3797 NEW BEST:: SOT 90561 SOS 26633 HAS SOPS 26633 HAS SOUS 21315 HAS SOUPS 21315 WITH SCORE 21341.633
AT ITER 3810 NEW BEST:: SOT 90498 SOS 26616 HAS SOPS 26616 HAS SOUS 21307 HAS SOUPS 21307 WITH SCORE 21333.616
AT ITER 3847 NEW BEST:: SOT 90492 SOS 26442 HAS SOPS 26442 HAS SOUS 21295 HAS SOUPS 21295 WITH SCORE 21321.442
AT ITER 3853 NEW BEST:: SOT 90487 SOS 26432 HAS SOPS 26432 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21305.432
AT ITER 3854 NEW BEST:: SOT 90487 SOS 26432 HAS SOPS 26432 HAS SOUS 21278 HAS SOUPS 21278 WITH SCORE 21304.432
AT ITER 3873 NEW BEST:: SOT 90489 SOS 26436 HAS SOPS 26436 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21300.436
AT ITER 3912 NEW BEST:: SOT 90489 SOS 26436 HAS SOPS 26436 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21299.436
AT ITER 3932 NEW BEST:: SOT 90489 SOS 26432 HAS SOPS 26432 HAS SOUS 21269 HAS SOUPS 21269 WITH SCORE 21295.432
AT ITER 3936 NEW BEST:: SOT 90453 SOS 26404 HAS SOPS 26404 HAS SOUS 21257 HAS SOUPS 21257 WITH SCORE 21283.404
AT ITER 3947 NEW BEST:: SOT 90440 SOS 26378 HAS SOPS 26378 HAS SOUS 21244 HAS SOUPS 21244 WITH SCORE 21270.378
AT ITER 3957 NEW BEST:: SOT 90388 SOS 26295 HAS SOPS 26295 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21201.295
AT ITER 3966 NEW BEST:: SOT 90388 SOS 26293 HAS SOPS 26293 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21201.293
AT ITER 3996 NEW BEST:: SOT 90388 SOS 26260 HAS SOPS 26260 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21201.26
AT ITER 4004 NEW BEST:: SOT 90351 SOS 26231 HAS SOPS 26231 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21179.231
AT ITER 4006 NEW BEST:: SOT 90350 SOS 26230 HAS SOPS 26230 HAS SOUS 21152 HAS SOUPS 21152 WITH SCORE 21178.23
AT ITER 4013 NEW BEST:: SOT 90330 SOS 26210 HAS SOPS 26210 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21143.21
AT ITER 4039 NEW BEST:: SOT 90327 SOS 26207 HAS SOPS 26207 HAS SOUS 21108 HAS SOUPS 21108 WITH SCORE 21134.207
AT ITER 4063 NEW BEST:: SOT 90326 SOS 26205 HAS SOPS 26205 HAS SOUS 21069 HAS SOUPS 21069 WITH SCORE 21095.205
AT ITER 4073 NEW BEST:: SOT 90318 SOS 26146 HAS SOPS 26146 HAS SOUS 21061 HAS SOUPS 21061 WITH SCORE 21087.146
AT ITER 4076 NEW BEST:: SOT 90290 SOS 26080 HAS SOPS 26080 HAS SOUS 21043 HAS SOUPS 21043 WITH SCORE 21069.08
AT ITER 4107 NEW BEST:: SOT 90256 SOS 26033 HAS SOPS 26033 HAS SOUS 21009 HAS SOUPS 21009 WITH SCORE 21035.033
AT ITER 4128 NEW BEST:: SOT 90249 SOS 26019 HAS SOPS 26019 HAS SOUS 20995 HAS SOUPS 20995 WITH SCORE 21021.019
AT ITER 4187 NEW BEST:: SOT 90254 SOS 26024 HAS SOPS 26024 HAS SOUS 20969 HAS SOUPS 20969 WITH SCORE 20995.024
AT ITER 4209 NEW BEST:: SOT 90226 SOS 25968 HAS SOPS 25968 HAS SOUS 20881 HAS SOUPS 20881 WITH SCORE 20906.968
AT ITER 4232 NEW BEST:: SOT 90188 SOS 25892 HAS SOPS 25892 HAS SOUS 20805 HAS SOUPS 20805 WITH SCORE 20830.892
AT ITER 4275 NEW BEST:: SOT 90177 SOS 25872 HAS SOPS 25872 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20810.872
AT ITER 4309 NEW BEST:: SOT 90173 SOS 25872 HAS SOPS 25872 HAS SOUS 20781 HAS SOUPS 20781 WITH SCORE 20806.872
AT ITER 4338 NEW BEST:: SOT 90172 SOS 25871 HAS SOPS 25871 HAS SOUS 20780 HAS SOUPS 20780 WITH SCORE 20805.871
AT ITER 4346 NEW BEST:: SOT 90172 SOS 25853 HAS SOPS 25853 HAS SOUS 20779 HAS SOUPS 20779 WITH SCORE 20804.853
AT ITER 4372 NEW BEST:: SOT 90165 SOS 25832 HAS SOPS 25832 HAS SOUS 20765 HAS SOUPS 20765 WITH SCORE 20790.832
AT ITER 4375 NEW BEST:: SOT 90161 SOS 25824 HAS SOPS 25824 HAS SOUS 20761 HAS SOUPS 20761 WITH SCORE 20786.824
AT ITER 4381 NEW BEST:: SOT 90155 SOS 25818 HAS SOPS 25818 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20774.818
AT ITER 4394 NEW BEST:: SOT 90131 SOS 25832 HAS SOPS 25832 HAS SOUS 20721 HAS SOUPS 20721 WITH SCORE 20746.832
AT ITER 4428 NEW BEST:: SOT 90131 SOS 25832 HAS SOPS 25832 HAS SOUS 20717 HAS SOUPS 20717 WITH SCORE 20742.832
AT ITER 4442 NEW BEST:: SOT 90127 SOS 25822 HAS SOPS 25822 HAS SOUS 20702 HAS SOUPS 20702 WITH SCORE 20727.822
AT ITER 4450 NEW BEST:: SOT 90124 SOS 25819 HAS SOPS 25819 HAS SOUS 20699 HAS SOUPS 20699 WITH SCORE 20724.819
AT ITER 4459 NEW BEST:: SOT 90130 SOS 25812 HAS SOPS 25812 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20723.812
AT ITER 4480 NEW BEST:: SOT 90090 SOS 25784 HAS SOPS 25784 HAS SOUS 20670 HAS SOUPS 20670 WITH SCORE 20695.784
AT ITER 4498 NEW BEST:: SOT 90085 SOS 25774 HAS SOPS 25774 HAS SOUS 20651 HAS SOUPS 20651 WITH SCORE 20676.774
AT ITER 4510 NEW BEST:: SOT 90082 SOS 25768 HAS SOPS 25768 HAS SOUS 20645 HAS SOUPS 20645 WITH SCORE 20670.768
AT ITER 4539 NEW BEST:: SOT 90077 SOS 25758 HAS SOPS 25758 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20665.758
AT ITER 4578 NEW BEST:: SOT 90077 SOS 25751 HAS SOPS 25751 HAS SOUS 20633 HAS SOUPS 20633 WITH SCORE 20658.751
AT ITER 4597 NEW BEST:: SOT 90075 SOS 25739 HAS SOPS 25739 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20650.739
AT ITER 4599 NEW BEST:: SOT 90231 SOS 25765 HAS SOPS 25765 HAS SOUS 20610 HAS SOUPS 20610 WITH SCORE 20635.765
AT ITER 4714 NEW BEST:: SOT 90231 SOS 25760 HAS SOPS 25760 HAS SOUS 20605 HAS SOUPS 20605 WITH SCORE 20630.76
AT ITER 4720 NEW BEST:: SOT 90228 SOS 25754 HAS SOPS 25754 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20610.754
AT ITER 4754 NEW BEST:: SOT 90226 SOS 25756 HAS SOPS 25756 HAS SOUS 20581 HAS SOUPS 20581 WITH SCORE 20606.756
AT ITER 4758 NEW BEST:: SOT 90228 SOS 25760 HAS SOPS 25760 HAS SOUS 20574 HAS SOUPS 20574 WITH SCORE 20599.76
AT ITER 4815 NEW BEST:: SOT 90221 SOS 25760 HAS SOPS 25760 HAS SOUS 20567 HAS SOUPS 20567 WITH SCORE 20592.76
AT ITER 4819 NEW BEST:: SOT 90221 SOS 25755 HAS SOPS 25755 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20587.755
AT ITER 4827 NEW BEST:: SOT 90157 SOS 25680 HAS SOPS 25680 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20512.68
AT ITER 4831 NEW BEST:: SOT 90157 SOS 25676 HAS SOPS 25676 HAS SOUS 20479 HAS SOUPS 20479 WITH SCORE 20504.676
AT ITER 4847 NEW BEST:: SOT 90147 SOS 25656 HAS SOPS 25656 HAS SOUS 20465 HAS SOUPS 20465 WITH SCORE 20490.656
AT ITER 4861 NEW BEST:: SOT 90133 SOS 25628 HAS SOPS 25628 HAS SOUS 20451 HAS SOUPS 20451 WITH SCORE 20476.628
AT ITER 4893 NEW BEST:: SOT 90094 SOS 25444 HAS SOPS 25444 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20398.444
AT ITER 4903 NEW BEST:: SOT 90092 SOS 25441 HAS SOPS 25441 HAS SOUS 20369 HAS SOUPS 20369 WITH SCORE 20394.441
AT ITER 4904 NEW BEST:: SOT 90069 SOS 25437 HAS SOPS 25437 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20369.437
AT ITER 4905 NEW BEST:: SOT 90060 SOS 25429 HAS SOPS 25429 HAS SOUS 20339 HAS SOUPS 20339 WITH SCORE 20364.429
AT ITER 4910 NEW BEST:: SOT 90029 SOS 25367 HAS SOPS 25367 HAS SOUS 20308 HAS SOUPS 20308 WITH SCORE 20333.367
AT ITER 4932 NEW BEST:: SOT 90018 SOS 25331 HAS SOPS 25331 HAS SOUS 20275 HAS SOUPS 20275 WITH SCORE 20300.331
AT ITER 4959 NEW BEST:: SOT 90015 SOS 25325 HAS SOPS 25325 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20294.325
AT ITER 4966 NEW BEST:: SOT 90014 SOS 25324 HAS SOPS 25324 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20294.324
AT ITER 4992 NEW BEST:: SOT 90010 SOS 25316 HAS SOPS 25316 HAS SOUS 20261 HAS SOUPS 20261 WITH SCORE 20286.316
AT ITER 5020 NEW BEST:: SOT 90010 SOS 25239 HAS SOPS 25239 HAS SOUS 20261 HAS SOUPS 20261 WITH SCORE 20286.239
AT ITER 5093 NEW BEST:: SOT 90004 SOS 25233 HAS SOPS 25233 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20274.233
AT ITER 5144 NEW BEST:: SOT 90000 SOS 25225 HAS SOPS 25225 HAS SOUS 20241 HAS SOUPS 20241 WITH SCORE 20266.225
AT ITER 5155 NEW BEST:: SOT 89994 SOS 25154 HAS SOPS 25154 HAS SOUS 20229 HAS SOUPS 20229 WITH SCORE 20254.154
AT ITER 5174 NEW BEST:: SOT 89989 SOS 25149 HAS SOPS 25149 HAS SOUS 20219 HAS SOUPS 20219 WITH SCORE 20244.149
AT ITER 5183 NEW BEST:: SOT 89979 SOS 25129 HAS SOPS 25129 HAS SOUS 20199 HAS SOUPS 20199 WITH SCORE 20224.129
AT ITER 5187 NEW BEST:: SOT 89912 SOS 24981 HAS SOPS 24981 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20075.981
AT ITER 5198 NEW BEST:: SOT 89906 SOS 24931 HAS SOPS 24931 HAS SOUS 20039 HAS SOUPS 20039 WITH SCORE 20063.931
AT ITER 5224 NEW BEST:: SOT 89913 SOS 24972 HAS SOPS 24972 HAS SOUS 20029 HAS SOUPS 20029 WITH SCORE 20053.972
AT ITER 5225 NEW BEST:: SOT 89920 SOS 24925 HAS SOPS 24925 HAS SOUS 20007 HAS SOUPS 20007 WITH SCORE 20031.925
AT ITER 5234 NEW BEST:: SOT 89906 SOS 24911 HAS SOPS 24911 HAS SOUS 19986 HAS SOUPS 19986 WITH SCORE 20010.911
AT ITER 5246 NEW BEST:: SOT 89906 SOS 24905 HAS SOPS 24905 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20004.905
AT ITER 5255 NEW BEST:: SOT 89882 SOS 24857 HAS SOPS 24857 HAS SOUS 19928 HAS SOUPS 19928 WITH SCORE 19952.857
AT ITER 5263 NEW BEST:: SOT 89879 SOS 24851 HAS SOPS 24851 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19946.851
AT ITER 5271 NEW BEST:: SOT 89875 SOS 24843 HAS SOPS 24843 HAS SOUS 19914 HAS SOUPS 19914 WITH SCORE 19938.843
AT ITER 5290 NEW BEST:: SOT 89875 SOS 24842 HAS SOPS 24842 HAS SOUS 19913 HAS SOUPS 19913 WITH SCORE 19937.842
AT ITER 5293 NEW BEST:: SOT 89875 SOS 24840 HAS SOPS 24840 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19935.84
AT ITER 5334 NEW BEST:: SOT 89849 SOS 24814 HAS SOPS 24814 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19909.814
AT ITER 5337 NEW BEST:: SOT 89849 SOS 24812 HAS SOPS 24812 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19907.812
AT ITER 5343 NEW BEST:: SOT 89848 SOS 24817 HAS SOPS 24817 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19905.817
AT ITER 5354 NEW BEST:: SOT 89842 SOS 24794 HAS SOPS 24794 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19876.794
AT ITER 5358 NEW BEST:: SOT 89821 SOS 24752 HAS SOPS 24752 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19834.752
AT ITER 5395 NEW BEST:: SOT 89821 SOS 24730 HAS SOPS 24730 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19834.73
AT ITER 5400 NEW BEST:: SOT 89820 SOS 24728 HAS SOPS 24728 HAS SOUS 19808 HAS SOUPS 19808 WITH SCORE 19832.728
AT ITER 5407 NEW BEST:: SOT 89802 SOS 24692 HAS SOPS 24692 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19796.692
AT ITER 5446 NEW BEST:: SOT 89802 SOS 24684 HAS SOPS 24684 HAS SOUS 19764 HAS SOUPS 19764 WITH SCORE 19788.684
AT ITER 5472 NEW BEST:: SOT 89802 SOS 24646 HAS SOPS 24646 HAS SOUS 19764 HAS SOUPS 19764 WITH SCORE 19788.646
AT ITER 5501 NEW BEST:: SOT 89801 SOS 24635 HAS SOPS 24635 HAS SOUS 19762 HAS SOUPS 19762 WITH SCORE 19786.635
AT ITER 5508 NEW BEST:: SOT 89801 SOS 24606 HAS SOPS 24606 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19765.606
AT ITER 5563 NEW BEST:: SOT 89761 SOS 24566 HAS SOPS 24566 HAS SOUS 19701 HAS SOUPS 19701 WITH SCORE 19725.566
AT ITER 5606 NEW BEST:: SOT 89730 SOS 24580 HAS SOPS 24580 HAS SOUS 19670 HAS SOUPS 19670 WITH SCORE 19694.58
AT ITER 5618 NEW BEST:: SOT 89727 SOS 24577 HAS SOPS 24577 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19672.577
AT ITER 5652 NEW BEST:: SOT 89727 SOS 24569 HAS SOPS 24569 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19672.569
AT ITER 5684 NEW BEST:: SOT 89727 SOS 24548 HAS SOPS 24548 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19672.548
AT ITER 5696 NEW BEST:: SOT 89726 SOS 24546 HAS SOPS 24546 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19670.546
AT ITER 5702 NEW BEST:: SOT 89744 SOS 24584 HAS SOPS 24584 HAS SOUS 19643 HAS SOUPS 19643 WITH SCORE 19667.584
AT ITER 5707 NEW BEST:: SOT 89742 SOS 24580 HAS SOPS 24580 HAS SOUS 19639 HAS SOUPS 19639 WITH SCORE 19663.58
AT ITER 5725 NEW BEST:: SOT 89725 SOS 24563 HAS SOPS 24563 HAS SOUS 19605 HAS SOUPS 19605 WITH SCORE 19629.563
AT ITER 5727 NEW BEST:: SOT 89707 SOS 24586 HAS SOPS 24586 HAS SOUS 19549 HAS SOUPS 19549 WITH SCORE 19573.586
AT ITER 5729 NEW BEST:: SOT 89703 SOS 24578 HAS SOPS 24578 HAS SOUS 19541 HAS SOUPS 19541 WITH SCORE 19565.578
AT ITER 5737 NEW BEST:: SOT 89702 SOS 24576 HAS SOPS 24576 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19563.576
AT ITER 5753 NEW BEST:: SOT 89696 SOS 24564 HAS SOPS 24564 HAS SOUS 19527 HAS SOUPS 19527 WITH SCORE 19551.564
AT ITER 5762 NEW BEST:: SOT 89682 SOS 24520 HAS SOPS 24520 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19508.52
AT ITER 5781 NEW BEST:: SOT 89669 SOS 24507 HAS SOPS 24507 HAS SOUS 19471 HAS SOUPS 19471 WITH SCORE 19495.507
AT ITER 5841 NEW BEST:: SOT 89678 SOS 24525 HAS SOPS 24525 HAS SOUS 19464 HAS SOUPS 19464 WITH SCORE 19488.525
AT ITER 5858 NEW BEST:: SOT 89671 SOS 24511 HAS SOPS 24511 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19474.511
AT ITER 5868 NEW BEST:: SOT 89679 SOS 24519 HAS SOPS 24519 HAS SOUS 19436 HAS SOUPS 19436 WITH SCORE 19460.519
AT ITER 5870 NEW BEST:: SOT 89698 SOS 24529 HAS SOPS 24529 HAS SOUS 19425 HAS SOUPS 19425 WITH SCORE 19449.529
AT ITER 5932 NEW BEST:: SOT 89698 SOS 24507 HAS SOPS 24507 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19438.507
AT ITER 5946 NEW BEST:: SOT 89696 SOS 24503 HAS SOPS 24503 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19434.503
AT ITER 5948 NEW BEST:: SOT 89694 SOS 24456 HAS SOPS 24456 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19387.456
AT ITER 5951 NEW BEST:: SOT 89694 SOS 24448 HAS SOPS 24448 HAS SOUS 19355 HAS SOUPS 19355 WITH SCORE 19379.448
AT ITER 5994 NEW BEST:: SOT 89667 SOS 24434 HAS SOPS 24434 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19351.434
AT ITER 6049 NEW BEST:: SOT 89671 SOS 24424 HAS SOPS 24424 HAS SOUS 19317 HAS SOUPS 19317 WITH SCORE 19341.424
AT ITER 6078 NEW BEST:: SOT 89646 SOS 24374 HAS SOPS 24374 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19318.374
AT ITER 6080 NEW BEST:: SOT 89660 SOS 24402 HAS SOPS 24402 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19290.402
AT ITER 6085 NEW BEST:: SOT 89678 SOS 24405 HAS SOPS 24405 HAS SOUS 19254 HAS SOUPS 19254 WITH SCORE 19278.405
AT ITER 6117 NEW BEST:: SOT 89669 SOS 24386 HAS SOPS 24386 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19260.386
AT ITER 6127 NEW BEST:: SOT 89659 SOS 24375 HAS SOPS 24375 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19249.375
AT ITER 6134 NEW BEST:: SOT 89662 SOS 24376 HAS SOPS 24376 HAS SOUS 19221 HAS SOUPS 19221 WITH SCORE 19245.376
AT ITER 6210 NEW BEST:: SOT 89482 SOS 24192 HAS SOPS 24192 HAS SOUS 19037 HAS SOUPS 19037 WITH SCORE 19061.192
AT ITER 6218 NEW BEST:: SOT 89497 SOS 24264 HAS SOPS 24264 HAS SOUS 19025 HAS SOUPS 19025 WITH SCORE 19049.264
AT ITER 6239 NEW BEST:: SOT 89497 SOS 24209 HAS SOPS 24209 HAS SOUS 19025 HAS SOUPS 19025 WITH SCORE 19049.209
AT ITER 6259 NEW BEST:: SOT 89497 SOS 24188 HAS SOPS 24188 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19028.188
AT ITER 6263 NEW BEST:: SOT 89497 SOS 24188 HAS SOPS 24188 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19020.188
AT ITER 6278 NEW BEST:: SOT 89522 SOS 24175 HAS SOPS 24175 HAS SOUS 18983 HAS SOUPS 18983 WITH SCORE 19007.175
AT ITER 6312 NEW BEST:: SOT 89541 SOS 24104 HAS SOPS 24104 HAS SOUS 18910 HAS SOUPS 18910 WITH SCORE 18934.104
AT ITER 6326 NEW BEST:: SOT 89541 SOS 24091 HAS SOPS 24091 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18922.091
AT ITER 6338 NEW BEST:: SOT 89541 SOS 24091 HAS SOPS 24091 HAS SOUS 18895 HAS SOUPS 18895 WITH SCORE 18919.091
AT ITER 6353 NEW BEST:: SOT 89553 SOS 24084 HAS SOPS 24084 HAS SOUS 18888 HAS SOUPS 18888 WITH SCORE 18912.084
AT ITER 6369 NEW BEST:: SOT 89554 SOS 24053 HAS SOPS 24053 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18881.053
AT ITER 6373 NEW BEST:: SOT 89546 SOS 24041 HAS SOPS 24041 HAS SOUS 18856 HAS SOUPS 18856 WITH SCORE 18880.041
AT ITER 6385 NEW BEST:: SOT 89532 SOS 24015 HAS SOPS 24015 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18854.015
AT ITER 6386 NEW BEST:: SOT 89485 SOS 23848 HAS SOPS 23848 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18830.848
AT ITER 6403 NEW BEST:: SOT 89468 SOS 23831 HAS SOPS 23831 HAS SOUS 18790 HAS SOUPS 18790 WITH SCORE 18813.831
AT ITER 6412 NEW BEST:: SOT 89467 SOS 23831 HAS SOPS 23831 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18812.831
AT ITER 6415 NEW BEST:: SOT 89445 SOS 23756 HAS SOPS 23756 HAS SOUS 18765 HAS SOUPS 18765 WITH SCORE 18788.756
AT ITER 6422 NEW BEST:: SOT 89445 SOS 23755 HAS SOPS 23755 HAS SOUS 18765 HAS SOUPS 18765 WITH SCORE 18788.755
AT ITER 6435 NEW BEST:: SOT 89440 SOS 23745 HAS SOPS 23745 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18778.745
AT ITER 6450 NEW BEST:: SOT 89416 SOS 23592 HAS SOPS 23592 HAS SOUS 18707 HAS SOUPS 18707 WITH SCORE 18730.592
AT ITER 6514 NEW BEST:: SOT 89414 SOS 23584 HAS SOPS 23584 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18717.584
AT ITER 6516 NEW BEST:: SOT 89414 SOS 23580 HAS SOPS 23580 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18712.58
AT ITER 6600 NEW BEST:: SOT 89414 SOS 23580 HAS SOPS 23580 HAS SOUS 18660 HAS SOUPS 18660 WITH SCORE 18683.58
AT ITER 6643 NEW BEST:: SOT 89398 SOS 23532 HAS SOPS 23532 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18651.532
AT ITER 6670 NEW BEST:: SOT 89397 SOS 23530 HAS SOPS 23530 HAS SOUS 18619 HAS SOUPS 18619 WITH SCORE 18642.53
AT ITER 6680 NEW BEST:: SOT 89396 SOS 23528 HAS SOPS 23528 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18641.528
AT ITER 6701 NEW BEST:: SOT 89395 SOS 23527 HAS SOPS 23527 HAS SOUS 18616 HAS SOUPS 18616 WITH SCORE 18639.527
AT ITER 6729 NEW BEST:: SOT 89395 SOS 23516 HAS SOPS 23516 HAS SOUS 18616 HAS SOUPS 18616 WITH SCORE 18639.516
AT ITER 6771 NEW BEST:: SOT 89395 SOS 23508 HAS SOPS 23508 HAS SOUS 18616 HAS SOUPS 18616 WITH SCORE 18639.508
AT ITER 6776 NEW BEST:: SOT 89390 SOS 23503 HAS SOPS 23503 HAS SOUS 18611 HAS SOUPS 18611 WITH SCORE 18634.503
AT ITER 6795 NEW BEST:: SOT 89362 SOS 23490 HAS SOPS 23490 HAS SOUS 18576 HAS SOUPS 18576 WITH SCORE 18599.49
AT ITER 6812 NEW BEST:: SOT 89362 SOS 23445 HAS SOPS 23445 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18598.445
AT ITER 6830 NEW BEST:: SOT 89361 SOS 23444 HAS SOPS 23444 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18596.444
AT ITER 6838 NEW BEST:: SOT 89368 SOS 23458 HAS SOPS 23458 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18593.458
AT ITER 6860 NEW BEST:: SOT 89368 SOS 23456 HAS SOPS 23456 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18591.456
AT ITER 6862 NEW BEST:: SOT 89368 SOS 23441 HAS SOPS 23441 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18591.441
AT ITER 6881 NEW BEST:: SOT 89367 SOS 23439 HAS SOPS 23439 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18589.439
AT ITER 6914 NEW BEST:: SOT 89368 SOS 23437 HAS SOPS 23437 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18589.437
AT ITER 6917 NEW BEST:: SOT 89346 SOS 23431 HAS SOPS 23431 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18527.431
AT ITER 6975 NEW BEST:: SOT 89304 SOS 23352 HAS SOPS 23352 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18443.352
AT ITER 7012 NEW BEST:: SOT 89300 SOS 23344 HAS SOPS 23344 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18435.344
AT ITER 7045 NEW BEST:: SOT 89292 SOS 23328 HAS SOPS 23328 HAS SOUS 18396 HAS SOUPS 18396 WITH SCORE 18419.328
AT ITER 7061 NEW BEST:: SOT 89292 SOS 23328 HAS SOPS 23328 HAS SOUS 18395 HAS SOUPS 18395 WITH SCORE 18418.328
AT ITER 7082 NEW BEST:: SOT 89291 SOS 23372 HAS SOPS 23372 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18417.372
AT ITER 7101 NEW BEST:: SOT 89276 SOS 23342 HAS SOPS 23342 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18402.342
AT ITER 7139 NEW BEST:: SOT 89167 SOS 23338 HAS SOPS 23338 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18398.338
AT ITER 7149 NEW BEST:: SOT 89167 SOS 23312 HAS SOPS 23312 HAS SOUS 18349 HAS SOUPS 18349 WITH SCORE 18372.312
AT ITER 7166 NEW BEST:: SOT 89169 SOS 23316 HAS SOPS 23316 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18362.316
AT ITER 7194 NEW BEST:: SOT 89161 SOS 23312 HAS SOPS 23312 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18358.312
AT ITER 7217 NEW BEST:: SOT 89187 SOS 23358 HAS SOPS 23358 HAS SOUS 18334 HAS SOUPS 18334 WITH SCORE 18357.358
AT ITER 7229 NEW BEST:: SOT 89165 SOS 23301 HAS SOPS 23301 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18322.301
AT ITER 7234 NEW BEST:: SOT 89151 SOS 23329 HAS SOPS 23329 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18308.329
AT ITER 7280 NEW BEST:: SOT 89151 SOS 23327 HAS SOPS 23327 HAS SOUS 18283 HAS SOUPS 18283 WITH SCORE 18306.327
AT ITER 7282 NEW BEST:: SOT 89144 SOS 23313 HAS SOPS 23313 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18292.313
AT ITER 7321 NEW BEST:: SOT 89140 SOS 23305 HAS SOPS 23305 HAS SOUS 18268 HAS SOUPS 18268 WITH SCORE 18291.305
AT ITER 7324 NEW BEST:: SOT 89140 SOS 23297 HAS SOPS 23297 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18283.297
AT ITER 7397 NEW BEST:: SOT 89126 SOS 23284 HAS SOPS 23284 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18276.284
AT ITER 7445 NEW BEST:: SOT 89105 SOS 23275 HAS SOPS 23275 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18267.275
AT ITER 7461 NEW BEST:: SOT 89077 SOS 23225 HAS SOPS 23225 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18226.225
AT ITER 7483 NEW BEST:: SOT 89059 SOS 23207 HAS SOPS 23207 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18199.207
AT ITER 7501 NEW BEST:: SOT 89059 SOS 23202 HAS SOPS 23202 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18199.202
AT ITER 7543 NEW BEST:: SOT 89040 SOS 23210 HAS SOPS 23210 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18163.21
AT ITER 7554 NEW BEST:: SOT 89056 SOS 23193 HAS SOPS 23193 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18161.193
AT ITER 7572 NEW BEST:: SOT 89053 SOS 23191 HAS SOPS 23191 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18159.191
AT ITER 7575 NEW BEST:: SOT 89037 SOS 23159 HAS SOPS 23159 HAS SOUS 18104 HAS SOUPS 18104 WITH SCORE 18127.159
AT ITER 7578 NEW BEST:: SOT 89033 SOS 23151 HAS SOPS 23151 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18123.151
AT ITER 7625 NEW BEST:: SOT 89030 SOS 23145 HAS SOPS 23145 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18117.145
AT ITER 7638 NEW BEST:: SOT 89027 SOS 23142 HAS SOPS 23142 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18114.142
AT ITER 7660 NEW BEST:: SOT 89023 SOS 23143 HAS SOPS 23143 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18106.143
AT ITER 7668 NEW BEST:: SOT 89023 SOS 23142 HAS SOPS 23142 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18106.142
AT ITER 7691 NEW BEST:: SOT 89021 SOS 23138 HAS SOPS 23138 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18101.138
AT ITER 7739 NEW BEST:: SOT 89009 SOS 23114 HAS SOPS 23114 HAS SOUS 18054 HAS SOUPS 18054 WITH SCORE 18077.114
AT ITER 7759 NEW BEST:: SOT 89071 SOS 23170 HAS SOPS 23170 HAS SOUS 18046 HAS SOUPS 18046 WITH SCORE 18069.17
AT ITER 7761 NEW BEST:: SOT 89039 SOS 23080 HAS SOPS 23080 HAS SOUS 17988 HAS SOUPS 17988 WITH SCORE 18011.08
AT ITER 7771 NEW BEST:: SOT 89035 SOS 23072 HAS SOPS 23072 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18009.072
AT ITER 7811 NEW BEST:: SOT 89030 SOS 23067 HAS SOPS 23067 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18004.067
AT ITER 7816 NEW BEST:: SOT 89006 SOS 23069 HAS SOPS 23069 HAS SOUS 17958 HAS SOUPS 17958 WITH SCORE 17981.069
AT ITER 7905 NEW BEST:: SOT 89006 SOS 23066 HAS SOPS 23066 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17978.066
AT ITER 7912 NEW BEST:: SOT 89016 SOS 23061 HAS SOPS 23061 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17966.061
AT ITER 7969 NEW BEST:: SOT 89017 SOS 23052 HAS SOPS 23052 HAS SOUS 17935 HAS SOUPS 17935 WITH SCORE 17958.052
AT ITER 8002 NEW BEST:: SOT 89017 SOS 23052 HAS SOPS 23052 HAS SOUS 17933 HAS SOUPS 17933 WITH SCORE 17956.052
AT ITER 8027 NEW BEST:: SOT 88956 SOS 22993 HAS SOPS 22993 HAS SOUS 17928 HAS SOUPS 17928 WITH SCORE 17950.993
AT ITER 8080 NEW BEST:: SOT 88956 SOS 22998 HAS SOPS 22998 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17944.998
AT ITER 8101 NEW BEST:: SOT 88931 SOS 22948 HAS SOPS 22948 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17882.948
AT ITER 8105 NEW BEST:: SOT 88916 SOS 22996 HAS SOPS 22996 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17852.996
AT ITER 8119 NEW BEST:: SOT 88916 SOS 22975 HAS SOPS 22975 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17852.975
AT ITER 8167 NEW BEST:: SOT 88883 SOS 22958 HAS SOPS 22958 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17819.958
AT ITER 8169 NEW BEST:: SOT 88836 SOS 22864 HAS SOPS 22864 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17762.864
AT ITER 8216 NEW BEST:: SOT 88838 SOS 22865 HAS SOPS 22865 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17760.865
AT ITER 8225 NEW BEST:: SOT 88831 SOS 22862 HAS SOPS 22862 HAS SOUS 17735 HAS SOUPS 17735 WITH SCORE 17757.862
AT ITER 8268 NEW BEST:: SOT 88803 SOS 22834 HAS SOPS 22834 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17701.834
AT ITER 8270 NEW BEST:: SOT 88664 SOS 26662 HAS SOPS 26662 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17639.662
AT ITER 8276 NEW BEST:: SOT 88663 SOS 26637 HAS SOPS 26637 HAS SOUS 17588 HAS SOUPS 17588 WITH SCORE 17614.637
AT ITER 8282 NEW BEST:: SOT 88654 SOS 26610 HAS SOPS 26610 HAS SOUS 17570 HAS SOUPS 17570 WITH SCORE 17596.61
AT ITER 8292 NEW BEST:: SOT 88677 SOS 26633 HAS SOPS 26633 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17582.633
AT ITER 8311 NEW BEST:: SOT 88676 SOS 26632 HAS SOPS 26632 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17581.632
AT ITER 8341 NEW BEST:: SOT 88665 SOS 26610 HAS SOPS 26610 HAS SOUS 17533 HAS SOUPS 17533 WITH SCORE 17559.61
AT ITER 8359 NEW BEST:: SOT 88663 SOS 26606 HAS SOPS 26606 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17555.606
AT ITER 8372 NEW BEST:: SOT 88661 SOS 26609 HAS SOPS 26609 HAS SOUS 17525 HAS SOUPS 17525 WITH SCORE 17551.609
AT ITER 8383 NEW BEST:: SOT 88651 SOS 26589 HAS SOPS 26589 HAS SOUS 17505 HAS SOUPS 17505 WITH SCORE 17531.589
AT ITER 8386 NEW BEST:: SOT 88646 SOS 26579 HAS SOPS 26579 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17526.579
AT ITER 8387 NEW BEST:: SOT 88639 SOS 26557 HAS SOPS 26557 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17519.557
AT ITER 8398 NEW BEST:: SOT 88593 SOS 26488 HAS SOPS 26488 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17504.488
AT ITER 8432 NEW BEST:: SOT 88593 SOS 26488 HAS SOPS 26488 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17497.488
AT ITER 8451 NEW BEST:: SOT 88593 SOS 26441 HAS SOPS 26441 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17497.441
AT ITER 8491 NEW BEST:: SOT 88546 SOS 26401 HAS SOPS 26401 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17457.401
AT ITER 8539 NEW BEST:: SOT 88267 SOS 26089 HAS SOPS 26089 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17274.089
AT ITER 8579 NEW BEST:: SOT 88267 SOS 26077 HAS SOPS 26077 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17262.077
AT ITER 8591 NEW BEST:: SOT 88261 SOS 26071 HAS SOPS 26071 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17252.071
AT ITER 8606 NEW BEST:: SOT 88012 SOS 25984 HAS SOPS 25984 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17149.984
AT ITER 8655 NEW BEST:: SOT 87999 SOS 25984 HAS SOPS 25984 HAS SOUS 17111 HAS SOUPS 17111 WITH SCORE 17136.984
AT ITER 8656 NEW BEST:: SOT 87975 SOS 25936 HAS SOPS 25936 HAS SOUS 17087 HAS SOUPS 17087 WITH SCORE 17112.936
AT ITER 8665 NEW BEST:: SOT 87966 SOS 25918 HAS SOPS 25918 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17094.918
AT ITER 8686 NEW BEST:: SOT 87980 SOS 25881 HAS SOPS 25881 HAS SOUS 17062 HAS SOUPS 17062 WITH SCORE 17087.881
AT ITER 8729 NEW BEST:: SOT 87956 SOS 25833 HAS SOPS 25833 HAS SOUS 17054 HAS SOUPS 17054 WITH SCORE 17079.833
AT ITER 8751 NEW BEST:: SOT 87953 SOS 25827 HAS SOPS 25827 HAS SOUS 17051 HAS SOUPS 17051 WITH SCORE 17076.827
AT ITER 8765 NEW BEST:: SOT 87953 SOS 25827 HAS SOPS 25827 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17074.827
AT ITER 8779 NEW BEST:: SOT 87951 SOS 25825 HAS SOPS 25825 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17072.825
AT ITER 8782 NEW BEST:: SOT 87936 SOS 25824 HAS SOPS 25824 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17071.824
AT ITER 8803 NEW BEST:: SOT 87931 SOS 25830 HAS SOPS 25830 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17061.83
AT ITER 8806 NEW BEST:: SOT 87905 SOS 25804 HAS SOPS 25804 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17035.804
AT ITER 8809 NEW BEST:: SOT 87905 SOS 25811 HAS SOPS 25811 HAS SOUS 17002 HAS SOUPS 17002 WITH SCORE 17027.811
AT ITER 8829 NEW BEST:: SOT 87903 SOS 25809 HAS SOPS 25809 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17025.809
AT ITER 8841 NEW BEST:: SOT 87833 SOS 25741 HAS SOPS 25741 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16939.741
AT ITER 8866 NEW BEST:: SOT 87822 SOS 25730 HAS SOPS 25730 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16939.73
AT ITER 8887 NEW BEST:: SOT 87835 SOS 25709 HAS SOPS 25709 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16936.709
AT ITER 8914 NEW BEST:: SOT 87800 SOS 25686 HAS SOPS 25686 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16894.686
AT ITER 8922 NEW BEST:: SOT 87773 SOS 25680 HAS SOPS 25680 HAS SOUS 16859 HAS SOUPS 16859 WITH SCORE 16884.68
AT ITER 8943 NEW BEST:: SOT 87772 SOS 25675 HAS SOPS 25675 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16879.675
AT ITER 8945 NEW BEST:: SOT 87772 SOS 25683 HAS SOPS 25683 HAS SOUS 16846 HAS SOUPS 16846 WITH SCORE 16871.683
AT ITER 8978 NEW BEST:: SOT 87740 SOS 25651 HAS SOPS 25651 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16831.651
AT ITER 8995 NEW BEST:: SOT 87708 SOS 25644 HAS SOPS 25644 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16824.644
AT ITER 9010 NEW BEST:: SOT 87708 SOS 25628 HAS SOPS 25628 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16824.628
AT ITER 9014 NEW BEST:: SOT 87686 SOS 25584 HAS SOPS 25584 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16773.584
AT ITER 9025 NEW BEST:: SOT 87676 SOS 25580 HAS SOPS 25580 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16769.58
AT ITER 9040 NEW BEST:: SOT 87624 SOS 25518 HAS SOPS 25518 HAS SOUS 16663 HAS SOUPS 16663 WITH SCORE 16688.518
AT ITER 9042 NEW BEST:: SOT 87624 SOS 25503 HAS SOPS 25503 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16673.503
AT ITER 9054 NEW BEST:: SOT 87627 SOS 25494 HAS SOPS 25494 HAS SOUS 16639 HAS SOUPS 16639 WITH SCORE 16664.494
AT ITER 9094 NEW BEST:: SOT 87630 SOS 25492 HAS SOPS 25492 HAS SOUS 16634 HAS SOUPS 16634 WITH SCORE 16659.492
AT ITER 9180 NEW BEST:: SOT 87630 SOS 25539 HAS SOPS 25539 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16638.539
AT ITER 9196 NEW BEST:: SOT 87630 SOS 25537 HAS SOPS 25537 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16631.537
AT ITER 9201 NEW BEST:: SOT 87625 SOS 25547 HAS SOPS 25547 HAS SOUS 16596 HAS SOUPS 16596 WITH SCORE 16621.547
AT ITER 9227 NEW BEST:: SOT 87626 SOS 25549 HAS SOPS 25549 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16607.549
AT ITER 9254 NEW BEST:: SOT 87626 SOS 25531 HAS SOPS 25531 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16607.531
AT ITER 9330 NEW BEST:: SOT 87563 SOS 25437 HAS SOPS 25437 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16514.437
AT ITER 9369 NEW BEST:: SOT 87507 SOS 25381 HAS SOPS 25381 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16458.381
AT ITER 9385 NEW BEST:: SOT 87498 SOS 25375 HAS SOPS 25375 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16431.375
AT ITER 9397 NEW BEST:: SOT 87500 SOS 25377 HAS SOPS 25377 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16419.377
AT ITER 9398 NEW BEST:: SOT 87498 SOS 25387 HAS SOPS 25387 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16415.387
AT ITER 9484 NEW BEST:: SOT 87495 SOS 25381 HAS SOPS 25381 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16406.381
AT ITER 9496 NEW BEST:: SOT 87475 SOS 25344 HAS SOPS 25344 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16383.344
AT ITER 9501 NEW BEST:: SOT 87474 SOS 25342 HAS SOPS 25342 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16381.342
AT ITER 9507 NEW BEST:: SOT 87386 SOS 25198 HAS SOPS 25198 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16306.198
AT ITER 9684 NEW BEST:: SOT 87363 SOS 25117 HAS SOPS 25117 HAS SOUS 16209 HAS SOUPS 16209 WITH SCORE 16234.117
AT ITER 9692 NEW BEST:: SOT 87367 SOS 25084 HAS SOPS 25084 HAS SOUS 16176 HAS SOUPS 16176 WITH SCORE 16201.084
AT ITER 9699 NEW BEST:: SOT 87367 SOS 25020 HAS SOPS 25020 HAS SOUS 16176 HAS SOUPS 16176 WITH SCORE 16201.02
AT ITER 9764 NEW BEST:: SOT 87343 SOS 25000 HAS SOPS 25000 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16172.0
AT ITER 9833 NEW BEST:: SOT 87351 SOS 24987 HAS SOPS 24987 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16158.987
AT ITER 9910 NEW BEST:: SOT 87348 SOS 24984 HAS SOPS 24984 HAS SOUS 16131 HAS SOUPS 16131 WITH SCORE 16155.984
AT ITER 9912 NEW BEST:: SOT 87357 SOS 24993 HAS SOPS 24993 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16151.993
AT ITER 9916 NEW BEST:: SOT 87348 SOS 24973 HAS SOPS 24973 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16133.973
AT ITER 9944 NEW BEST:: SOT 87348 SOS 24943 HAS SOPS 24943 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16103.943
AT ITER 9951 NEW BEST:: SOT 87348 SOS 24942 HAS SOPS 24942 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16103.942
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10692108 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124756 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="DiscoveryGPU-PT-13b"
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 DiscoveryGPU-PT-13b, 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 r139-smll-167819422900408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-13b.tgz
mv DiscoveryGPU-PT-13b 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 ;