About the Execution of Smart+red for DiscoveryGPU-PT-08b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10693.756 | 3600000.00 | 3626463.00 | 9163.50 | [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-167819422600328.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-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422600328
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 13:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 13:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 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 61K 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 1678368271673
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-08b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:24:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:24:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:24:34] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-09 13:24:34] [INFO ] Transformed 240 places.
[2023-03-09 13:24:34] [INFO ] Transformed 254 transitions.
[2023-03-09 13:24:34] [INFO ] Found NUPN structural information;
[2023-03-09 13:24:34] [INFO ] Parsed PT model containing 240 places and 254 transitions and 661 arcs in 210 ms.
[2023-03-09 13:24:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 240 places, 254 transitions and 661 arcs took 8 ms.
Total runtime 261 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 08b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 240 places, 254 transitions, 661 arcs.
AT ITER 0 NEW BEST:: SOT 42396 SOS 20015 HAS SOPS 20015 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17846.015
AT ITER 4 NEW BEST:: SOT 42316 SOS 19862 HAS SOPS 19862 HAS SOUS 17746 HAS SOUPS 17746 WITH SCORE 17765.862
AT ITER 5 NEW BEST:: SOT 42247 SOS 19792 HAS SOPS 19792 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17695.792
AT ITER 8 NEW BEST:: SOT 42184 SOS 19709 HAS SOPS 19709 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17632.709
AT ITER 11 NEW BEST:: SOT 42134 SOS 19660 HAS SOPS 19660 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17581.66
AT ITER 15 NEW BEST:: SOT 41954 SOS 19480 HAS SOPS 19480 HAS SOUS 17382 HAS SOUPS 17382 WITH SCORE 17401.48
AT ITER 20 NEW BEST:: SOT 41954 SOS 19446 HAS SOPS 19446 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17398.446
AT ITER 26 NEW BEST:: SOT 41774 SOS 19189 HAS SOPS 19189 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17132.189
AT ITER 33 NEW BEST:: SOT 41709 SOS 19124 HAS SOPS 19124 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17108.124
AT ITER 34 NEW BEST:: SOT 41695 SOS 19154 HAS SOPS 19154 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17094.154
AT ITER 38 NEW BEST:: SOT 41666 SOS 19021 HAS SOPS 19021 HAS SOUS 16862 HAS SOUPS 16862 WITH SCORE 16881.021
AT ITER 41 NEW BEST:: SOT 41632 SOS 18953 HAS SOPS 18953 HAS SOUS 16825 HAS SOUPS 16825 WITH SCORE 16843.953
AT ITER 49 NEW BEST:: SOT 41591 SOS 18912 HAS SOPS 18912 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16841.912
AT ITER 52 NEW BEST:: SOT 41580 SOS 18890 HAS SOPS 18890 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16828.89
AT ITER 54 NEW BEST:: SOT 41532 SOS 18800 HAS SOPS 18800 HAS SOUS 16770 HAS SOUPS 16770 WITH SCORE 16788.8
AT ITER 57 NEW BEST:: SOT 41473 SOS 18738 HAS SOPS 18738 HAS SOUS 16710 HAS SOUPS 16710 WITH SCORE 16728.738
AT ITER 71 NEW BEST:: SOT 41310 SOS 18523 HAS SOPS 18523 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16490.523
AT ITER 72 NEW BEST:: SOT 41267 SOS 18141 HAS SOPS 18141 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16455.141
AT ITER 74 NEW BEST:: SOT 41216 SOS 17996 HAS SOPS 17996 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16352.996
AT ITER 77 NEW BEST:: SOT 41282 SOS 18023 HAS SOPS 18023 HAS SOUS 16323 HAS SOUPS 16323 WITH SCORE 16341.023
AT ITER 78 NEW BEST:: SOT 41212 SOS 17887 HAS SOPS 17887 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16270.887
AT ITER 82 NEW BEST:: SOT 41168 SOS 17882 HAS SOPS 17882 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16242.882
AT ITER 91 NEW BEST:: SOT 41168 SOS 17872 HAS SOPS 17872 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16242.872
AT ITER 104 NEW BEST:: SOT 40923 SOS 18212 HAS SOPS 18212 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16088.212
AT ITER 105 NEW BEST:: SOT 40923 SOS 18212 HAS SOPS 18212 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16070.212
AT ITER 109 NEW BEST:: SOT 40923 SOS 18212 HAS SOPS 18212 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16067.212
AT ITER 112 NEW BEST:: SOT 40856 SOS 18140 HAS SOPS 18140 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 15995.14
AT ITER 116 NEW BEST:: SOT 40853 SOS 18131 HAS SOPS 18131 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 15989.131
AT ITER 120 NEW BEST:: SOT 40852 SOS 18129 HAS SOPS 18129 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 15987.129
AT ITER 124 NEW BEST:: SOT 40829 SOS 18083 HAS SOPS 18083 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15941.083
AT ITER 137 NEW BEST:: SOT 40811 SOS 17955 HAS SOPS 17955 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15904.955
AT ITER 140 NEW BEST:: SOT 40811 SOS 17955 HAS SOPS 17955 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15903.955
AT ITER 147 NEW BEST:: SOT 39183 SOS 19799 HAS SOPS 19799 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14369.799
AT ITER 154 NEW BEST:: SOT 39182 SOS 19798 HAS SOPS 19798 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14367.798
AT ITER 161 NEW BEST:: SOT 39181 SOS 19797 HAS SOPS 19797 HAS SOUS 14347 HAS SOUPS 14347 WITH SCORE 14366.797
AT ITER 167 NEW BEST:: SOT 39233 SOS 19772 HAS SOPS 19772 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14341.772
AT ITER 168 NEW BEST:: SOT 39174 SOS 19686 HAS SOPS 19686 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14277.686
AT ITER 172 NEW BEST:: SOT 39133 SOS 16805 HAS SOPS 16805 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14169.805
AT ITER 182 NEW BEST:: SOT 39131 SOS 16801 HAS SOPS 16801 HAS SOUS 14149 HAS SOUPS 14149 WITH SCORE 14165.801
AT ITER 185 NEW BEST:: SOT 38694 SOS 18189 HAS SOPS 18189 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 13987.189
AT ITER 186 NEW BEST:: SOT 38645 SOS 18143 HAS SOPS 18143 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13975.143
AT ITER 188 NEW BEST:: SOT 38613 SOS 18079 HAS SOPS 18079 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13911.079
AT ITER 190 NEW BEST:: SOT 38585 SOS 18036 HAS SOPS 18036 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13821.036
AT ITER 202 NEW BEST:: SOT 38635 SOS 16378 HAS SOPS 16378 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13798.378
AT ITER 208 NEW BEST:: SOT 38478 SOS 16471 HAS SOPS 16471 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13605.471
AT ITER 218 NEW BEST:: SOT 38478 SOS 16471 HAS SOPS 16471 HAS SOUS 13583 HAS SOUPS 13583 WITH SCORE 13599.471
AT ITER 223 NEW BEST:: SOT 38441 SOS 16397 HAS SOPS 16397 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13562.397
AT ITER 233 NEW BEST:: SOT 38387 SOS 16370 HAS SOPS 16370 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13508.37
AT ITER 240 NEW BEST:: SOT 38374 SOS 16357 HAS SOPS 16357 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13495.357
AT ITER 241 NEW BEST:: SOT 38373 SOS 16373 HAS SOPS 16373 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13493.373
AT ITER 253 NEW BEST:: SOT 38369 SOS 16311 HAS SOPS 16311 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13475.311
AT ITER 259 NEW BEST:: SOT 38348 SOS 16255 HAS SOPS 16255 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13433.255
AT ITER 260 NEW BEST:: SOT 38347 SOS 16253 HAS SOPS 16253 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13431.253
AT ITER 263 NEW BEST:: SOT 38304 SOS 16237 HAS SOPS 16237 HAS SOUS 13401 HAS SOUPS 13401 WITH SCORE 13417.237
AT ITER 267 NEW BEST:: SOT 38303 SOS 16223 HAS SOPS 16223 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13415.223
AT ITER 273 NEW BEST:: SOT 38267 SOS 16195 HAS SOPS 16195 HAS SOUS 13371 HAS SOUPS 13371 WITH SCORE 13387.195
AT ITER 278 NEW BEST:: SOT 38179 SOS 16001 HAS SOPS 16001 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13246.001
AT ITER 279 NEW BEST:: SOT 38176 SOS 15995 HAS SOPS 15995 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13239.995
AT ITER 280 NEW BEST:: SOT 38174 SOS 15992 HAS SOPS 15992 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13236.992
AT ITER 287 NEW BEST:: SOT 38142 SOS 15929 HAS SOPS 15929 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13203.929
AT ITER 290 NEW BEST:: SOT 38142 SOS 15899 HAS SOPS 15899 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13203.899
AT ITER 291 NEW BEST:: SOT 37979 SOS 15647 HAS SOPS 15647 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12951.647
AT ITER 295 NEW BEST:: SOT 37950 SOS 15564 HAS SOPS 15564 HAS SOUS 12853 HAS SOUPS 12853 WITH SCORE 12868.564
AT ITER 308 NEW BEST:: SOT 37959 SOS 15560 HAS SOPS 15560 HAS SOUS 12821 HAS SOUPS 12821 WITH SCORE 12836.56
AT ITER 311 NEW BEST:: SOT 37928 SOS 15482 HAS SOPS 15482 HAS SOUS 12728 HAS SOUPS 12728 WITH SCORE 12743.482
AT ITER 320 NEW BEST:: SOT 37919 SOS 15454 HAS SOPS 15454 HAS SOUS 12709 HAS SOUPS 12709 WITH SCORE 12724.454
AT ITER 321 NEW BEST:: SOT 37922 SOS 15437 HAS SOPS 15437 HAS SOUS 12692 HAS SOUPS 12692 WITH SCORE 12707.437
AT ITER 343 NEW BEST:: SOT 37912 SOS 15435 HAS SOPS 15435 HAS SOUS 12640 HAS SOUPS 12640 WITH SCORE 12655.435
AT ITER 351 NEW BEST:: SOT 37912 SOS 15435 HAS SOPS 15435 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12654.435
AT ITER 378 NEW BEST:: SOT 37824 SOS 15259 HAS SOPS 15259 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12522.259
AT ITER 380 NEW BEST:: SOT 37808 SOS 15243 HAS SOPS 15243 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12490.243
AT ITER 383 NEW BEST:: SOT 37807 SOS 15242 HAS SOPS 15242 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12488.242
AT ITER 399 NEW BEST:: SOT 37759 SOS 15146 HAS SOPS 15146 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12392.146
AT ITER 418 NEW BEST:: SOT 37759 SOS 15138 HAS SOPS 15138 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12392.138
AT ITER 424 NEW BEST:: SOT 37708 SOS 15036 HAS SOPS 15036 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12323.036
AT ITER 436 NEW BEST:: SOT 37684 SOS 15028 HAS SOPS 15028 HAS SOUS 12300 HAS SOUPS 12300 WITH SCORE 12315.028
AT ITER 452 NEW BEST:: SOT 37625 SOS 14929 HAS SOPS 14929 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12305.929
AT ITER 453 NEW BEST:: SOT 37609 SOS 14897 HAS SOPS 14897 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12291.897
AT ITER 458 NEW BEST:: SOT 37278 SOS 15004 HAS SOPS 15004 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12078.004
AT ITER 463 NEW BEST:: SOT 37277 SOS 14991 HAS SOPS 14991 HAS SOUS 12055 HAS SOUPS 12055 WITH SCORE 12069.991
AT ITER 467 NEW BEST:: SOT 37261 SOS 14967 HAS SOPS 14967 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12045.967
AT ITER 482 NEW BEST:: SOT 37215 SOS 14956 HAS SOPS 14956 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12034.956
AT ITER 483 NEW BEST:: SOT 37208 SOS 14949 HAS SOPS 14949 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12027.949
AT ITER 501 NEW BEST:: SOT 37178 SOS 14979 HAS SOPS 14979 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12019.979
AT ITER 505 NEW BEST:: SOT 37174 SOS 14975 HAS SOPS 14975 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12015.975
AT ITER 509 NEW BEST:: SOT 37174 SOS 14975 HAS SOPS 14975 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12008.975
AT ITER 511 NEW BEST:: SOT 37174 SOS 14969 HAS SOPS 14969 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12008.969
AT ITER 512 NEW BEST:: SOT 37146 SOS 14900 HAS SOPS 14900 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11941.9
AT ITER 519 NEW BEST:: SOT 37132 SOS 14885 HAS SOPS 14885 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11932.885
AT ITER 531 NEW BEST:: SOT 37135 SOS 14858 HAS SOPS 14858 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11890.858
AT ITER 534 NEW BEST:: SOT 37152 SOS 14902 HAS SOPS 14902 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11831.902
AT ITER 536 NEW BEST:: SOT 37154 SOS 14892 HAS SOPS 14892 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11819.892
AT ITER 548 NEW BEST:: SOT 37154 SOS 14832 HAS SOPS 14832 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11759.832
AT ITER 573 NEW BEST:: SOT 37171 SOS 14866 HAS SOPS 14866 HAS SOUS 11731 HAS SOUPS 11731 WITH SCORE 11745.866
AT ITER 578 NEW BEST:: SOT 37141 SOS 14836 HAS SOPS 14836 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11711.836
AT ITER 608 NEW BEST:: SOT 37141 SOS 14836 HAS SOPS 14836 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11705.836
AT ITER 610 NEW BEST:: SOT 37141 SOS 14816 HAS SOPS 14816 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11705.816
AT ITER 611 NEW BEST:: SOT 37141 SOS 14769 HAS SOPS 14769 HAS SOUS 11683 HAS SOUPS 11683 WITH SCORE 11697.769
AT ITER 620 NEW BEST:: SOT 37141 SOS 14769 HAS SOPS 14769 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11691.769
AT ITER 622 NEW BEST:: SOT 37130 SOS 14728 HAS SOPS 14728 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11660.728
AT ITER 634 NEW BEST:: SOT 37108 SOS 14684 HAS SOPS 14684 HAS SOUS 11631 HAS SOUPS 11631 WITH SCORE 11645.684
AT ITER 639 NEW BEST:: SOT 37098 SOS 14674 HAS SOPS 14674 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11635.674
AT ITER 645 NEW BEST:: SOT 37098 SOS 14659 HAS SOPS 14659 HAS SOUS 11606 HAS SOUPS 11606 WITH SCORE 11620.659
AT ITER 664 NEW BEST:: SOT 37047 SOS 14590 HAS SOPS 14590 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11518.59
AT ITER 665 NEW BEST:: SOT 37022 SOS 14565 HAS SOPS 14565 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11493.565
AT ITER 681 NEW BEST:: SOT 36971 SOS 14463 HAS SOPS 14463 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11436.463
AT ITER 682 NEW BEST:: SOT 36971 SOS 14448 HAS SOPS 14448 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11436.448
AT ITER 683 NEW BEST:: SOT 36961 SOS 14438 HAS SOPS 14438 HAS SOUS 11412 HAS SOUPS 11412 WITH SCORE 11426.438
AT ITER 684 NEW BEST:: SOT 37007 SOS 14420 HAS SOPS 14420 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11423.42
AT ITER 696 NEW BEST:: SOT 36999 SOS 14350 HAS SOPS 14350 HAS SOUS 11393 HAS SOUPS 11393 WITH SCORE 11407.35
AT ITER 698 NEW BEST:: SOT 36994 SOS 14340 HAS SOPS 14340 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11402.34
AT ITER 699 NEW BEST:: SOT 36951 SOS 14332 HAS SOPS 14332 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11358.332
AT ITER 702 NEW BEST:: SOT 36948 SOS 14323 HAS SOPS 14323 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11352.323
AT ITER 705 NEW BEST:: SOT 36926 SOS 14292 HAS SOPS 14292 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11329.292
AT ITER 714 NEW BEST:: SOT 36917 SOS 14302 HAS SOPS 14302 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11311.302
AT ITER 718 NEW BEST:: SOT 36894 SOS 14279 HAS SOPS 14279 HAS SOUS 11274 HAS SOUPS 11274 WITH SCORE 11288.279
AT ITER 725 NEW BEST:: SOT 36870 SOS 14250 HAS SOPS 14250 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11283.25
AT ITER 730 NEW BEST:: SOT 36882 SOS 14210 HAS SOPS 14210 HAS SOUS 11240 HAS SOUPS 11240 WITH SCORE 11254.21
AT ITER 740 NEW BEST:: SOT 36882 SOS 14198 HAS SOPS 14198 HAS SOUS 11240 HAS SOUPS 11240 WITH SCORE 11254.198
AT ITER 754 NEW BEST:: SOT 36887 SOS 14203 HAS SOPS 14203 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11241.203
AT ITER 764 NEW BEST:: SOT 36847 SOS 14147 HAS SOPS 14147 HAS SOUS 11189 HAS SOUPS 11189 WITH SCORE 11203.147
AT ITER 768 NEW BEST:: SOT 36846 SOS 14145 HAS SOPS 14145 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11201.145
AT ITER 773 NEW BEST:: SOT 36848 SOS 14114 HAS SOPS 14114 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11170.114
AT ITER 783 NEW BEST:: SOT 36834 SOS 14099 HAS SOPS 14099 HAS SOUS 11146 HAS SOUPS 11146 WITH SCORE 11160.099
AT ITER 784 NEW BEST:: SOT 36819 SOS 14069 HAS SOPS 14069 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11130.069
AT ITER 803 NEW BEST:: SOT 36819 SOS 14069 HAS SOPS 14069 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11120.069
AT ITER 804 NEW BEST:: SOT 36768 SOS 14129 HAS SOPS 14129 HAS SOUS 11067 HAS SOUPS 11067 WITH SCORE 11081.129
AT ITER 815 NEW BEST:: SOT 36763 SOS 14119 HAS SOPS 14119 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11071.119
AT ITER 816 NEW BEST:: SOT 36778 SOS 14134 HAS SOPS 14134 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11056.134
AT ITER 818 NEW BEST:: SOT 36710 SOS 14063 HAS SOPS 14063 HAS SOUS 10952 HAS SOUPS 10952 WITH SCORE 10966.063
AT ITER 844 NEW BEST:: SOT 36702 SOS 14047 HAS SOPS 14047 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10958.047
AT ITER 854 NEW BEST:: SOT 36700 SOS 14043 HAS SOPS 14043 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10954.043
AT ITER 866 NEW BEST:: SOT 36700 SOS 14001 HAS SOPS 14001 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10954.001
AT ITER 874 NEW BEST:: SOT 36699 SOS 13997 HAS SOPS 13997 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10952.997
AT ITER 875 NEW BEST:: SOT 36690 SOS 14001 HAS SOPS 14001 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10944.001
AT ITER 878 NEW BEST:: SOT 36689 SOS 13943 HAS SOPS 13943 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10941.943
AT ITER 880 NEW BEST:: SOT 36688 SOS 13939 HAS SOPS 13939 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10939.939
AT ITER 882 NEW BEST:: SOT 36674 SOS 13910 HAS SOPS 13910 HAS SOUS 10898 HAS SOUPS 10898 WITH SCORE 10911.91
AT ITER 885 NEW BEST:: SOT 36569 SOS 14937 HAS SOPS 14937 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10802.937
AT ITER 895 NEW BEST:: SOT 36568 SOS 14935 HAS SOPS 14935 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10800.935
AT ITER 896 NEW BEST:: SOT 36577 SOS 14907 HAS SOPS 14907 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10781.907
AT ITER 928 NEW BEST:: SOT 36530 SOS 14813 HAS SOPS 14813 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10687.813
AT ITER 932 NEW BEST:: SOT 36480 SOS 14713 HAS SOPS 14713 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10587.713
AT ITER 942 NEW BEST:: SOT 36481 SOS 14626 HAS SOPS 14626 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10579.626
AT ITER 978 NEW BEST:: SOT 36462 SOS 14626 HAS SOPS 14626 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10560.626
AT ITER 980 NEW BEST:: SOT 36456 SOS 14623 HAS SOPS 14623 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10548.623
AT ITER 987 NEW BEST:: SOT 36452 SOS 14618 HAS SOPS 14618 HAS SOUS 10529 HAS SOUPS 10529 WITH SCORE 10543.618
AT ITER 988 NEW BEST:: SOT 36450 SOS 14605 HAS SOPS 14605 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10534.605
AT ITER 1015 NEW BEST:: SOT 36422 SOS 14577 HAS SOPS 14577 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10506.577
AT ITER 1026 NEW BEST:: SOT 36417 SOS 14567 HAS SOPS 14567 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10496.567
AT ITER 1030 NEW BEST:: SOT 36361 SOS 14432 HAS SOPS 14432 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10362.432
AT ITER 1048 NEW BEST:: SOT 36361 SOS 14344 HAS SOPS 14344 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10351.344
AT ITER 1050 NEW BEST:: SOT 36310 SOS 14340 HAS SOPS 14340 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10311.34
AT ITER 1064 NEW BEST:: SOT 36308 SOS 14336 HAS SOPS 14336 HAS SOUS 10293 HAS SOUPS 10293 WITH SCORE 10307.336
AT ITER 1068 NEW BEST:: SOT 36302 SOS 14324 HAS SOPS 14324 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10296.324
AT ITER 1084 NEW BEST:: SOT 36299 SOS 14318 HAS SOPS 14318 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10290.318
AT ITER 1090 NEW BEST:: SOT 36299 SOS 14304 HAS SOPS 14304 HAS SOUS 10269 HAS SOUPS 10269 WITH SCORE 10283.304
AT ITER 1099 NEW BEST:: SOT 36108 SOS 14067 HAS SOPS 14067 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10152.067
AT ITER 1126 NEW BEST:: SOT 36108 SOS 14067 HAS SOPS 14067 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10148.067
AT ITER 1134 NEW BEST:: SOT 36103 SOS 13985 HAS SOPS 13985 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10083.985
AT ITER 1141 NEW BEST:: SOT 36042 SOS 13900 HAS SOPS 13900 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10031.9
AT ITER 1144 NEW BEST:: SOT 35994 SOS 13852 HAS SOPS 13852 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9988.852
AT ITER 1163 NEW BEST:: SOT 35967 SOS 13731 HAS SOPS 13731 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9929.731
AT ITER 1174 NEW BEST:: SOT 35994 SOS 13725 HAS SOPS 13725 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9923.725
AT ITER 1177 NEW BEST:: SOT 36023 SOS 13755 HAS SOPS 13755 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9915.755
AT ITER 1189 NEW BEST:: SOT 36023 SOS 13753 HAS SOPS 13753 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9915.753
AT ITER 1202 NEW BEST:: SOT 36010 SOS 13693 HAS SOPS 13693 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9888.693
AT ITER 1208 NEW BEST:: SOT 36010 SOS 13663 HAS SOPS 13663 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9888.663
AT ITER 1210 NEW BEST:: SOT 36000 SOS 13653 HAS SOPS 13653 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9868.653
AT ITER 1228 NEW BEST:: SOT 35990 SOS 13651 HAS SOPS 13651 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9848.651
AT ITER 1232 NEW BEST:: SOT 35990 SOS 13647 HAS SOPS 13647 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9848.647
AT ITER 1243 NEW BEST:: SOT 35985 SOS 13642 HAS SOPS 13642 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9838.642
AT ITER 1254 NEW BEST:: SOT 35970 SOS 13627 HAS SOPS 13627 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9823.627
AT ITER 1259 NEW BEST:: SOT 35970 SOS 13627 HAS SOPS 13627 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9819.627
AT ITER 1275 NEW BEST:: SOT 35962 SOS 13611 HAS SOPS 13611 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9788.611
AT ITER 1297 NEW BEST:: SOT 35959 SOS 13588 HAS SOPS 13588 HAS SOUS 9769 HAS SOUPS 9769 WITH SCORE 9782.588
AT ITER 1319 NEW BEST:: SOT 35959 SOS 13575 HAS SOPS 13575 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9739.575
AT ITER 1335 NEW BEST:: SOT 35948 SOS 13604 HAS SOPS 13604 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9717.604
AT ITER 1347 NEW BEST:: SOT 35942 SOS 13592 HAS SOPS 13592 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9711.592
AT ITER 1364 NEW BEST:: SOT 35969 SOS 13619 HAS SOPS 13619 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9709.619
AT ITER 1375 NEW BEST:: SOT 35945 SOS 13604 HAS SOPS 13604 HAS SOUS 9681 HAS SOUPS 9681 WITH SCORE 9694.604
AT ITER 1379 NEW BEST:: SOT 35945 SOS 13604 HAS SOPS 13604 HAS SOUS 9672 HAS SOUPS 9672 WITH SCORE 9685.604
AT ITER 1381 NEW BEST:: SOT 35939 SOS 13592 HAS SOPS 13592 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9679.592
AT ITER 1382 NEW BEST:: SOT 35939 SOS 13581 HAS SOPS 13581 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9679.581
AT ITER 1434 NEW BEST:: SOT 35938 SOS 13579 HAS SOPS 13579 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9677.579
AT ITER 1463 NEW BEST:: SOT 35933 SOS 13618 HAS SOPS 13618 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9672.618
AT ITER 1481 NEW BEST:: SOT 35933 SOS 13589 HAS SOPS 13589 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9672.589
AT ITER 1522 NEW BEST:: SOT 35932 SOS 13588 HAS SOPS 13588 HAS SOUS 9658 HAS SOUPS 9658 WITH SCORE 9671.588
AT ITER 1589 NEW BEST:: SOT 35927 SOS 13512 HAS SOPS 13512 HAS SOUS 9648 HAS SOUPS 9648 WITH SCORE 9661.512
AT ITER 1593 NEW BEST:: SOT 35921 SOS 13480 HAS SOPS 13480 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9649.48
AT ITER 1606 NEW BEST:: SOT 35920 SOS 13462 HAS SOPS 13462 HAS SOUS 9618 HAS SOUPS 9618 WITH SCORE 9631.462
AT ITER 1615 NEW BEST:: SOT 35909 SOS 13453 HAS SOPS 13453 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9609.453
AT ITER 1618 NEW BEST:: SOT 35909 SOS 13461 HAS SOPS 13461 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9605.461
AT ITER 1619 NEW BEST:: SOT 35909 SOS 13448 HAS SOPS 13448 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9592.448
AT ITER 1625 NEW BEST:: SOT 35909 SOS 13446 HAS SOPS 13446 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9590.446
AT ITER 1626 NEW BEST:: SOT 35909 SOS 13422 HAS SOPS 13422 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9590.422
AT ITER 1633 NEW BEST:: SOT 35888 SOS 13378 HAS SOPS 13378 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9540.378
AT ITER 1637 NEW BEST:: SOT 35875 SOS 13352 HAS SOPS 13352 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9537.352
AT ITER 1664 NEW BEST:: SOT 35878 SOS 13343 HAS SOPS 13343 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9528.343
AT ITER 1673 NEW BEST:: SOT 35876 SOS 13304 HAS SOPS 13304 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9524.304
AT ITER 1674 NEW BEST:: SOT 35863 SOS 13305 HAS SOPS 13305 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9512.305
AT ITER 1682 NEW BEST:: SOT 35861 SOS 13303 HAS SOPS 13303 HAS SOUS 9478 HAS SOUPS 9478 WITH SCORE 9491.303
AT ITER 1695 NEW BEST:: SOT 35859 SOS 13285 HAS SOPS 13285 HAS SOUS 9476 HAS SOUPS 9476 WITH SCORE 9489.285
AT ITER 1703 NEW BEST:: SOT 35805 SOS 13191 HAS SOPS 13191 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9381.191
AT ITER 1713 NEW BEST:: SOT 35804 SOS 13171 HAS SOPS 13171 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9380.171
AT ITER 1728 NEW BEST:: SOT 35797 SOS 13157 HAS SOPS 13157 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9366.157
AT ITER 1738 NEW BEST:: SOT 35792 SOS 13152 HAS SOPS 13152 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9356.152
AT ITER 1748 NEW BEST:: SOT 35787 SOS 13145 HAS SOPS 13145 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9332.145
AT ITER 1749 NEW BEST:: SOT 35723 SOS 13078 HAS SOPS 13078 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9313.078
AT ITER 1762 NEW BEST:: SOT 35722 SOS 13076 HAS SOPS 13076 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9311.076
AT ITER 1763 NEW BEST:: SOT 35722 SOS 13076 HAS SOPS 13076 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9305.076
AT ITER 1764 NEW BEST:: SOT 35714 SOS 13046 HAS SOPS 13046 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9283.046
AT ITER 1773 NEW BEST:: SOT 35714 SOS 13005 HAS SOPS 13005 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9283.005
AT ITER 1774 NEW BEST:: SOT 35705 SOS 12987 HAS SOPS 12987 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9236.987
AT ITER 1776 NEW BEST:: SOT 35666 SOS 12969 HAS SOPS 12969 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9218.969
AT ITER 1799 NEW BEST:: SOT 35653 SOS 12943 HAS SOPS 12943 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9192.943
AT ITER 1803 NEW BEST:: SOT 35639 SOS 12901 HAS SOPS 12901 HAS SOUS 9152 HAS SOUPS 9152 WITH SCORE 9164.901
AT ITER 1804 NEW BEST:: SOT 35612 SOS 12873 HAS SOPS 12873 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9161.873
AT ITER 1813 NEW BEST:: SOT 35615 SOS 12879 HAS SOPS 12879 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9148.879
AT ITER 1822 NEW BEST:: SOT 35619 SOS 12840 HAS SOPS 12840 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9127.84
AT ITER 1828 NEW BEST:: SOT 35619 SOS 12813 HAS SOPS 12813 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9118.813
AT ITER 1830 NEW BEST:: SOT 35596 SOS 12767 HAS SOPS 12767 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9095.767
AT ITER 1831 NEW BEST:: SOT 35599 SOS 12732 HAS SOPS 12732 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9077.732
AT ITER 1865 NEW BEST:: SOT 35580 SOS 12703 HAS SOPS 12703 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9071.703
AT ITER 1881 NEW BEST:: SOT 35580 SOS 12717 HAS SOPS 12717 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9066.717
AT ITER 1886 NEW BEST:: SOT 35556 SOS 12685 HAS SOPS 12685 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9026.685
AT ITER 1890 NEW BEST:: SOT 35555 SOS 12683 HAS SOPS 12683 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9024.683
AT ITER 1904 NEW BEST:: SOT 35534 SOS 12641 HAS SOPS 12641 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9021.641
AT ITER 1933 NEW BEST:: SOT 35529 SOS 12631 HAS SOPS 12631 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9002.631
AT ITER 1949 NEW BEST:: SOT 35529 SOS 12471 HAS SOPS 12471 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9002.471
AT ITER 1950 NEW BEST:: SOT 35528 SOS 12458 HAS SOPS 12458 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 9000.458
AT ITER 1964 NEW BEST:: SOT 35525 SOS 12455 HAS SOPS 12455 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8994.455
AT ITER 1977 NEW BEST:: SOT 35521 SOS 12101 HAS SOPS 12101 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8980.101
AT ITER 1980 NEW BEST:: SOT 35510 SOS 12093 HAS SOPS 12093 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8963.093
AT ITER 2013 NEW BEST:: SOT 35504 SOS 12047 HAS SOPS 12047 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8950.047
AT ITER 2041 NEW BEST:: SOT 35502 SOS 12043 HAS SOPS 12043 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8944.043
AT ITER 2051 NEW BEST:: SOT 35501 SOS 12044 HAS SOPS 12044 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8943.044
AT ITER 2062 NEW BEST:: SOT 35499 SOS 12040 HAS SOPS 12040 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8939.04
AT ITER 2069 NEW BEST:: SOT 35479 SOS 11983 HAS SOPS 11983 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8878.983
AT ITER 2082 NEW BEST:: SOT 35481 SOS 11975 HAS SOPS 11975 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8871.975
AT ITER 2084 NEW BEST:: SOT 35464 SOS 12009 HAS SOPS 12009 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8867.009
AT ITER 2096 NEW BEST:: SOT 35464 SOS 11986 HAS SOPS 11986 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8851.986
AT ITER 2101 NEW BEST:: SOT 35468 SOS 11982 HAS SOPS 11982 HAS SOUS 8832 HAS SOUPS 8832 WITH SCORE 8843.982
AT ITER 2110 NEW BEST:: SOT 35468 SOS 11967 HAS SOPS 11967 HAS SOUS 8832 HAS SOUPS 8832 WITH SCORE 8843.967
AT ITER 2112 NEW BEST:: SOT 35466 SOS 11982 HAS SOPS 11982 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8839.982
AT ITER 2129 NEW BEST:: SOT 35451 SOS 11963 HAS SOPS 11963 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8812.963
AT ITER 2140 NEW BEST:: SOT 35439 SOS 11939 HAS SOPS 11939 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8784.939
AT ITER 2142 NEW BEST:: SOT 35413 SOS 11931 HAS SOPS 11931 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8772.931
AT ITER 2151 NEW BEST:: SOT 35392 SOS 11942 HAS SOPS 11942 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8736.942
AT ITER 2175 NEW BEST:: SOT 35387 SOS 11932 HAS SOPS 11932 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8721.932
AT ITER 2192 NEW BEST:: SOT 35386 SOS 11929 HAS SOPS 11929 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8720.929
AT ITER 2199 NEW BEST:: SOT 35385 SOS 11928 HAS SOPS 11928 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8718.928
AT ITER 2203 NEW BEST:: SOT 35383 SOS 11924 HAS SOPS 11924 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8714.924
AT ITER 2228 NEW BEST:: SOT 35382 SOS 11912 HAS SOPS 11912 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8712.912
AT ITER 2259 NEW BEST:: SOT 35375 SOS 11898 HAS SOPS 11898 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8705.898
AT ITER 2263 NEW BEST:: SOT 35373 SOS 11895 HAS SOPS 11895 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8702.895
AT ITER 2267 NEW BEST:: SOT 35365 SOS 11879 HAS SOPS 11879 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8686.879
AT ITER 2297 NEW BEST:: SOT 35363 SOS 11853 HAS SOPS 11853 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8662.853
AT ITER 2308 NEW BEST:: SOT 35361 SOS 11851 HAS SOPS 11851 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8658.851
AT ITER 2317 NEW BEST:: SOT 35355 SOS 11812 HAS SOPS 11812 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8638.812
AT ITER 2318 NEW BEST:: SOT 35352 SOS 11811 HAS SOPS 11811 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8635.811
AT ITER 2345 NEW BEST:: SOT 35352 SOS 11801 HAS SOPS 11801 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8619.801
AT ITER 2383 NEW BEST:: SOT 35349 SOS 11795 HAS SOPS 11795 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8613.795
AT ITER 2401 NEW BEST:: SOT 35355 SOS 11745 HAS SOPS 11745 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8613.745
AT ITER 2429 NEW BEST:: SOT 35364 SOS 11763 HAS SOPS 11763 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8597.763
AT ITER 2446 NEW BEST:: SOT 35354 SOS 11723 HAS SOPS 11723 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8556.723
AT ITER 2453 NEW BEST:: SOT 35345 SOS 11705 HAS SOPS 11705 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8529.705
AT ITER 2469 NEW BEST:: SOT 35344 SOS 11703 HAS SOPS 11703 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8527.703
AT ITER 2483 NEW BEST:: SOT 35344 SOS 11657 HAS SOPS 11657 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8527.657
AT ITER 2493 NEW BEST:: SOT 35337 SOS 11653 HAS SOPS 11653 HAS SOUS 8512 HAS SOUPS 8512 WITH SCORE 8523.653
AT ITER 2495 NEW BEST:: SOT 35258 SOS 11601 HAS SOPS 11601 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8482.601
AT ITER 2519 NEW BEST:: SOT 35265 SOS 11608 HAS SOPS 11608 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8478.608
AT ITER 2544 NEW BEST:: SOT 35259 SOS 11596 HAS SOPS 11596 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8466.596
AT ITER 2551 NEW BEST:: SOT 35259 SOS 11572 HAS SOPS 11572 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8442.572
AT ITER 2569 NEW BEST:: SOT 35258 SOS 11571 HAS SOPS 11571 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8441.571
AT ITER 2655 NEW BEST:: SOT 35254 SOS 11559 HAS SOPS 11559 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8429.559
AT ITER 2658 NEW BEST:: SOT 35247 SOS 11552 HAS SOPS 11552 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8422.552
AT ITER 2659 NEW BEST:: SOT 35248 SOS 11525 HAS SOPS 11525 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8395.525
AT ITER 2670 NEW BEST:: SOT 35233 SOS 11495 HAS SOPS 11495 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8365.495
AT ITER 2690 NEW BEST:: SOT 35229 SOS 11487 HAS SOPS 11487 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8361.487
AT ITER 2691 NEW BEST:: SOT 35223 SOS 11475 HAS SOPS 11475 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8348.475
AT ITER 2692 NEW BEST:: SOT 35223 SOS 11470 HAS SOPS 11470 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8343.47
AT ITER 2697 NEW BEST:: SOT 35223 SOS 11470 HAS SOPS 11470 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8341.47
AT ITER 2704 NEW BEST:: SOT 35223 SOS 11459 HAS SOPS 11459 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8338.459
AT ITER 2715 NEW BEST:: SOT 35204 SOS 11457 HAS SOPS 11457 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8336.457
AT ITER 2742 NEW BEST:: SOT 35211 SOS 11454 HAS SOPS 11454 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8330.454
AT ITER 2781 NEW BEST:: SOT 35203 SOS 11438 HAS SOPS 11438 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8318.438
AT ITER 2825 NEW BEST:: SOT 35208 SOS 11424 HAS SOPS 11424 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8304.424
AT ITER 2874 NEW BEST:: SOT 35198 SOS 11414 HAS SOPS 11414 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8284.414
AT ITER 2879 NEW BEST:: SOT 35194 SOS 11410 HAS SOPS 11410 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8281.41
AT ITER 2912 NEW BEST:: SOT 35193 SOS 11408 HAS SOPS 11408 HAS SOUS 8269 HAS SOUPS 8269 WITH SCORE 8280.408
AT ITER 2914 NEW BEST:: SOT 35189 SOS 11400 HAS SOPS 11400 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8272.4
AT ITER 2919 NEW BEST:: SOT 35189 SOS 11361 HAS SOPS 11361 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8272.361
AT ITER 2927 NEW BEST:: SOT 35226 SOS 11386 HAS SOPS 11386 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8264.386
AT ITER 2933 NEW BEST:: SOT 35216 SOS 11372 HAS SOPS 11372 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8252.372
AT ITER 2978 NEW BEST:: SOT 35213 SOS 11369 HAS SOPS 11369 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8249.369
AT ITER 3004 NEW BEST:: SOT 35217 SOS 11258 HAS SOPS 11258 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8201.258
AT ITER 3037 NEW BEST:: SOT 35197 SOS 11398 HAS SOPS 11398 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8187.398
AT ITER 3075 NEW BEST:: SOT 35190 SOS 11376 HAS SOPS 11376 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8166.376
AT ITER 3090 NEW BEST:: SOT 35192 SOS 11378 HAS SOPS 11378 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8165.378
AT ITER 3092 NEW BEST:: SOT 35186 SOS 11366 HAS SOPS 11366 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8159.366
AT ITER 3112 NEW BEST:: SOT 35190 SOS 11351 HAS SOPS 11351 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8144.351
AT ITER 3126 NEW BEST:: SOT 35182 SOS 11351 HAS SOPS 11351 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8136.351
AT ITER 3133 NEW BEST:: SOT 35181 SOS 11350 HAS SOPS 11350 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8135.35
AT ITER 3143 NEW BEST:: SOT 35206 SOS 11333 HAS SOPS 11333 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8101.333
AT ITER 3150 NEW BEST:: SOT 35210 SOS 11327 HAS SOPS 11327 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8099.327
AT ITER 3153 NEW BEST:: SOT 35219 SOS 11324 HAS SOPS 11324 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8090.324
AT ITER 3180 NEW BEST:: SOT 35218 SOS 11323 HAS SOPS 11323 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8082.323
AT ITER 3185 NEW BEST:: SOT 35193 SOS 11298 HAS SOPS 11298 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8032.298
AT ITER 3190 NEW BEST:: SOT 35136 SOS 11221 HAS SOPS 11221 HAS SOUS 7964 HAS SOUPS 7964 WITH SCORE 7975.221
AT ITER 3207 NEW BEST:: SOT 35136 SOS 11148 HAS SOPS 11148 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7972.148
AT ITER 3217 NEW BEST:: SOT 35122 SOS 11137 HAS SOPS 11137 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7947.137
AT ITER 3257 NEW BEST:: SOT 35102 SOS 11117 HAS SOPS 11117 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7907.117
AT ITER 3264 NEW BEST:: SOT 35113 SOS 11108 HAS SOPS 11108 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7890.108
AT ITER 3271 NEW BEST:: SOT 35111 SOS 11108 HAS SOPS 11108 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7888.108
AT ITER 3279 NEW BEST:: SOT 35081 SOS 11048 HAS SOPS 11048 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7828.048
AT ITER 3284 NEW BEST:: SOT 35078 SOS 11042 HAS SOPS 11042 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7822.042
AT ITER 3313 NEW BEST:: SOT 35078 SOS 11014 HAS SOPS 11014 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7822.014
AT ITER 3333 NEW BEST:: SOT 35057 SOS 11009 HAS SOPS 11009 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7801.009
AT ITER 3337 NEW BEST:: SOT 35059 SOS 10998 HAS SOPS 10998 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7789.998
AT ITER 3338 NEW BEST:: SOT 35044 SOS 11034 HAS SOPS 11034 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7784.034
AT ITER 3340 NEW BEST:: SOT 35032 SOS 11023 HAS SOPS 11023 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7764.023
AT ITER 3347 NEW BEST:: SOT 35031 SOS 11022 HAS SOPS 11022 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7763.022
AT ITER 3348 NEW BEST:: SOT 35026 SOS 11012 HAS SOPS 11012 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7752.012
AT ITER 3358 NEW BEST:: SOT 35012 SOS 10977 HAS SOPS 10977 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7720.977
AT ITER 3383 NEW BEST:: SOT 35011 SOS 10976 HAS SOPS 10976 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7718.976
AT ITER 3388 NEW BEST:: SOT 34927 SOS 10940 HAS SOPS 10940 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7654.94
AT ITER 3408 NEW BEST:: SOT 34932 SOS 10942 HAS SOPS 10942 HAS SOUS 7638 HAS SOUPS 7638 WITH SCORE 7648.942
AT ITER 3481 NEW BEST:: SOT 34932 SOS 10942 HAS SOPS 10942 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7647.942
AT ITER 3499 NEW BEST:: SOT 34932 SOS 10935 HAS SOPS 10935 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7644.935
AT ITER 3509 NEW BEST:: SOT 34930 SOS 10933 HAS SOPS 10933 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7642.933
AT ITER 3601 NEW BEST:: SOT 34915 SOS 10903 HAS SOPS 10903 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7615.903
AT ITER 3606 NEW BEST:: SOT 34913 SOS 10901 HAS SOPS 10901 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7613.901
AT ITER 3625 NEW BEST:: SOT 34918 SOS 10890 HAS SOPS 10890 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7595.89
AT ITER 3628 NEW BEST:: SOT 34915 SOS 10884 HAS SOPS 10884 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7592.884
AT ITER 3631 NEW BEST:: SOT 34915 SOS 10884 HAS SOPS 10884 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7576.884
AT ITER 3632 NEW BEST:: SOT 34913 SOS 10880 HAS SOPS 10880 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7564.88
AT ITER 3679 NEW BEST:: SOT 34912 SOS 10879 HAS SOPS 10879 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7562.879
AT ITER 3694 NEW BEST:: SOT 34941 SOS 10979 HAS SOPS 10979 HAS SOUS 7549 HAS SOUPS 7549 WITH SCORE 7559.979
AT ITER 3696 NEW BEST:: SOT 34911 SOS 10957 HAS SOPS 10957 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7488.957
AT ITER 3730 NEW BEST:: SOT 34907 SOS 10949 HAS SOPS 10949 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7480.949
AT ITER 3743 NEW BEST:: SOT 34904 SOS 10930 HAS SOPS 10930 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7475.93
AT ITER 3751 NEW BEST:: SOT 34907 SOS 10925 HAS SOPS 10925 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7475.925
AT ITER 3752 NEW BEST:: SOT 34903 SOS 10929 HAS SOPS 10929 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7467.929
AT ITER 3753 NEW BEST:: SOT 34878 SOS 10913 HAS SOPS 10913 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7451.913
AT ITER 3755 NEW BEST:: SOT 34859 SOS 10875 HAS SOPS 10875 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7446.875
AT ITER 3757 NEW BEST:: SOT 34858 SOS 10873 HAS SOPS 10873 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7445.873
AT ITER 3767 NEW BEST:: SOT 34847 SOS 10862 HAS SOPS 10862 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7423.862
AT ITER 3805 NEW BEST:: SOT 34847 SOS 10855 HAS SOPS 10855 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7423.855
AT ITER 3858 NEW BEST:: SOT 34843 SOS 10847 HAS SOPS 10847 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7415.847
AT ITER 3867 NEW BEST:: SOT 34803 SOS 10849 HAS SOPS 10849 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7389.849
AT ITER 3871 NEW BEST:: SOT 34797 SOS 10843 HAS SOPS 10843 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7377.843
AT ITER 3917 NEW BEST:: SOT 34788 SOS 10830 HAS SOPS 10830 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7364.83
AT ITER 3919 NEW BEST:: SOT 34786 SOS 10826 HAS SOPS 10826 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7360.826
AT ITER 3929 NEW BEST:: SOT 34783 SOS 10820 HAS SOPS 10820 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7357.82
AT ITER 3933 NEW BEST:: SOT 34781 SOS 10818 HAS SOPS 10818 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7353.818
AT ITER 3939 NEW BEST:: SOT 34767 SOS 10829 HAS SOPS 10829 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7336.829
AT ITER 3950 NEW BEST:: SOT 34767 SOS 10798 HAS SOPS 10798 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7336.798
AT ITER 3957 NEW BEST:: SOT 34767 SOS 10779 HAS SOPS 10779 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7336.779
AT ITER 3990 NEW BEST:: SOT 34767 SOS 10779 HAS SOPS 10779 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7311.779
AT ITER 3991 NEW BEST:: SOT 34754 SOS 10753 HAS SOPS 10753 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7282.753
AT ITER 4006 NEW BEST:: SOT 34751 SOS 10747 HAS SOPS 10747 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7276.747
AT ITER 4010 NEW BEST:: SOT 34752 SOS 10748 HAS SOPS 10748 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7270.748
AT ITER 4031 NEW BEST:: SOT 34741 SOS 10737 HAS SOPS 10737 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7269.737
AT ITER 4033 NEW BEST:: SOT 34736 SOS 10726 HAS SOPS 10726 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7259.726
AT ITER 4034 NEW BEST:: SOT 34732 SOS 10718 HAS SOPS 10718 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7246.718
AT ITER 4042 NEW BEST:: SOT 34709 SOS 10736 HAS SOPS 10736 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7200.736
AT ITER 4076 NEW BEST:: SOT 34709 SOS 10736 HAS SOPS 10736 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7198.736
AT ITER 4119 NEW BEST:: SOT 34691 SOS 10733 HAS SOPS 10733 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7184.733
AT ITER 4131 NEW BEST:: SOT 34691 SOS 10714 HAS SOPS 10714 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7184.714
AT ITER 4140 NEW BEST:: SOT 34691 SOS 10713 HAS SOPS 10713 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7183.713
AT ITER 4180 NEW BEST:: SOT 34688 SOS 10707 HAS SOPS 10707 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7177.707
AT ITER 4181 NEW BEST:: SOT 34687 SOS 10705 HAS SOPS 10705 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7175.705
AT ITER 4271 NEW BEST:: SOT 34674 SOS 10687 HAS SOPS 10687 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7165.687
AT ITER 4315 NEW BEST:: SOT 34669 SOS 10677 HAS SOPS 10677 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7160.677
AT ITER 4322 NEW BEST:: SOT 34661 SOS 10661 HAS SOPS 10661 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7144.661
AT ITER 4330 NEW BEST:: SOT 34657 SOS 10652 HAS SOPS 10652 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7136.652
AT ITER 4365 NEW BEST:: SOT 34633 SOS 10804 HAS SOPS 10804 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7120.804
AT ITER 4371 NEW BEST:: SOT 34633 SOS 10795 HAS SOPS 10795 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7120.795
AT ITER 4372 NEW BEST:: SOT 34617 SOS 10763 HAS SOPS 10763 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7088.763
AT ITER 4374 NEW BEST:: SOT 34607 SOS 10758 HAS SOPS 10758 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7068.758
AT ITER 4394 NEW BEST:: SOT 34610 SOS 10764 HAS SOPS 10764 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7067.764
AT ITER 4425 NEW BEST:: SOT 34606 SOS 10739 HAS SOPS 10739 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7063.739
AT ITER 4437 NEW BEST:: SOT 34603 SOS 10754 HAS SOPS 10754 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7057.754
AT ITER 4466 NEW BEST:: SOT 34603 SOS 10756 HAS SOPS 10756 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7055.756
AT ITER 4500 NEW BEST:: SOT 34602 SOS 10755 HAS SOPS 10755 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7054.755
AT ITER 4564 NEW BEST:: SOT 34599 SOS 10755 HAS SOPS 10755 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7051.755
AT ITER 4597 NEW BEST:: SOT 34604 SOS 10778 HAS SOPS 10778 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7036.778
AT ITER 4658 NEW BEST:: SOT 34594 SOS 10772 HAS SOPS 10772 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7030.772
AT ITER 4691 NEW BEST:: SOT 34591 SOS 10766 HAS SOPS 10766 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7024.766
AT ITER 4699 NEW BEST:: SOT 34589 SOS 10767 HAS SOPS 10767 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7018.767
AT ITER 4719 NEW BEST:: SOT 34589 SOS 10677 HAS SOPS 10677 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7018.677
AT ITER 4727 NEW BEST:: SOT 34551 SOS 10630 HAS SOPS 10630 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6942.63
AT ITER 4731 NEW BEST:: SOT 34548 SOS 10627 HAS SOPS 10627 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6938.627
AT ITER 4738 NEW BEST:: SOT 34548 SOS 10627 HAS SOPS 10627 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6935.627
AT ITER 4766 NEW BEST:: SOT 34552 SOS 10635 HAS SOPS 10635 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6916.635
AT ITER 4784 NEW BEST:: SOT 34552 SOS 10633 HAS SOPS 10633 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6916.633
AT ITER 4790 NEW BEST:: SOT 34549 SOS 10625 HAS SOPS 10625 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6904.625
AT ITER 4818 NEW BEST:: SOT 34544 SOS 10615 HAS SOPS 10615 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6894.615
AT ITER 4823 NEW BEST:: SOT 34547 SOS 10621 HAS SOPS 10621 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6892.621
AT ITER 4830 NEW BEST:: SOT 34546 SOS 10619 HAS SOPS 10619 HAS SOUS 6880 HAS SOUPS 6880 WITH SCORE 6890.619
AT ITER 4844 NEW BEST:: SOT 34538 SOS 10579 HAS SOPS 10579 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6870.579
AT ITER 4848 NEW BEST:: SOT 34526 SOS 10564 HAS SOPS 10564 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6853.564
AT ITER 4921 NEW BEST:: SOT 34525 SOS 10562 HAS SOPS 10562 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6851.562
AT ITER 4939 NEW BEST:: SOT 34510 SOS 10529 HAS SOPS 10529 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6821.529
AT ITER 4971 NEW BEST:: SOT 34497 SOS 10483 HAS SOPS 10483 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6794.483
AT ITER 4979 NEW BEST:: SOT 34498 SOS 10468 HAS SOPS 10468 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6794.468
AT ITER 5014 NEW BEST:: SOT 34490 SOS 10452 HAS SOPS 10452 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6779.452
AT ITER 5025 NEW BEST:: SOT 34474 SOS 10438 HAS SOPS 10438 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6747.438
AT ITER 5088 NEW BEST:: SOT 34471 SOS 10435 HAS SOPS 10435 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6744.435
AT ITER 5112 NEW BEST:: SOT 34470 SOS 10434 HAS SOPS 10434 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6744.434
AT ITER 5141 NEW BEST:: SOT 34469 SOS 10431 HAS SOPS 10431 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6741.431
AT ITER 5144 NEW BEST:: SOT 34469 SOS 10427 HAS SOPS 10427 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6741.427
AT ITER 5204 NEW BEST:: SOT 34462 SOS 10413 HAS SOPS 10413 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6727.413
AT ITER 5314 NEW BEST:: SOT 34460 SOS 10418 HAS SOPS 10418 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6716.418
AT ITER 5348 NEW BEST:: SOT 34460 SOS 10445 HAS SOPS 10445 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6712.445
AT ITER 5351 NEW BEST:: SOT 34457 SOS 10439 HAS SOPS 10439 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6706.439
AT ITER 5383 NEW BEST:: SOT 34467 SOS 10435 HAS SOPS 10435 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6702.435
AT ITER 5386 NEW BEST:: SOT 34464 SOS 10430 HAS SOPS 10430 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6699.43
AT ITER 5408 NEW BEST:: SOT 34459 SOS 10425 HAS SOPS 10425 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6689.425
AT ITER 5460 NEW BEST:: SOT 34457 SOS 10412 HAS SOPS 10412 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6682.412
AT ITER 5472 NEW BEST:: SOT 34456 SOS 10414 HAS SOPS 10414 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6680.414
AT ITER 5526 NEW BEST:: SOT 34445 SOS 10392 HAS SOPS 10392 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6658.392
AT ITER 5543 NEW BEST:: SOT 34443 SOS 10390 HAS SOPS 10390 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6654.39
AT ITER 5573 NEW BEST:: SOT 34442 SOS 10388 HAS SOPS 10388 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6654.388
AT ITER 5633 NEW BEST:: SOT 34438 SOS 10384 HAS SOPS 10384 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6646.384
AT ITER 5675 NEW BEST:: SOT 34435 SOS 10374 HAS SOPS 10374 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6640.374
AT ITER 5727 NEW BEST:: SOT 34430 SOS 10365 HAS SOPS 10365 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6630.365
AT ITER 5786 NEW BEST:: SOT 34425 SOS 10355 HAS SOPS 10355 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6614.355
AT ITER 5801 NEW BEST:: SOT 34421 SOS 10351 HAS SOPS 10351 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6606.351
AT ITER 5817 NEW BEST:: SOT 34422 SOS 10344 HAS SOPS 10344 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6599.344
AT ITER 5860 NEW BEST:: SOT 34423 SOS 10348 HAS SOPS 10348 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6589.348
AT ITER 5892 NEW BEST:: SOT 34422 SOS 10353 HAS SOPS 10353 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6588.353
AT ITER 5913 NEW BEST:: SOT 34422 SOS 10348 HAS SOPS 10348 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6588.348
AT ITER 5919 NEW BEST:: SOT 34419 SOS 10342 HAS SOPS 10342 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6585.342
AT ITER 5924 NEW BEST:: SOT 34405 SOS 10300 HAS SOPS 10300 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6563.3
AT ITER 6030 NEW BEST:: SOT 34403 SOS 10300 HAS SOPS 10300 HAS SOUS 6549 HAS SOUPS 6549 WITH SCORE 6559.3
AT ITER 6047 NEW BEST:: SOT 34401 SOS 10288 HAS SOPS 10288 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6550.288
AT ITER 6064 NEW BEST:: SOT 34401 SOS 10287 HAS SOPS 10287 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6549.287
AT ITER 6088 NEW BEST:: SOT 34368 SOS 10239 HAS SOPS 10239 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6518.239
AT ITER 6095 NEW BEST:: SOT 34372 SOS 10247 HAS SOPS 10247 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6514.247
AT ITER 6108 NEW BEST:: SOT 34367 SOS 10242 HAS SOPS 10242 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6504.242
AT ITER 6206 NEW BEST:: SOT 34367 SOS 10241 HAS SOPS 10241 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6503.241
AT ITER 6212 NEW BEST:: SOT 34344 SOS 10240 HAS SOPS 10240 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6502.24
AT ITER 6245 NEW BEST:: SOT 34340 SOS 10236 HAS SOPS 10236 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6496.236
AT ITER 6253 NEW BEST:: SOT 34334 SOS 10224 HAS SOPS 10224 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6490.224
AT ITER 6254 NEW BEST:: SOT 34342 SOS 10204 HAS SOPS 10204 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6488.204
AT ITER 6261 NEW BEST:: SOT 34334 SOS 10209 HAS SOPS 10209 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.209
AT ITER 6312 NEW BEST:: SOT 34317 SOS 10208 HAS SOPS 10208 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6468.208
AT ITER 6349 NEW BEST:: SOT 34314 SOS 10205 HAS SOPS 10205 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6462.205
AT ITER 6393 NEW BEST:: SOT 34313 SOS 10205 HAS SOPS 10205 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6461.205
AT ITER 6438 NEW BEST:: SOT 34302 SOS 10207 HAS SOPS 10207 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6455.207
AT ITER 6443 NEW BEST:: SOT 34293 SOS 10195 HAS SOPS 10195 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6443.195
AT ITER 6459 NEW BEST:: SOT 34259 SOS 10187 HAS SOPS 10187 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6441.187
AT ITER 6464 NEW BEST:: SOT 34258 SOS 10185 HAS SOPS 10185 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6439.185
AT ITER 6482 NEW BEST:: SOT 34261 SOS 10165 HAS SOPS 10165 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6435.165
AT ITER 6503 NEW BEST:: SOT 34257 SOS 10154 HAS SOPS 10154 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6420.154
AT ITER 6542 NEW BEST:: SOT 34253 SOS 10146 HAS SOPS 10146 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6412.146
AT ITER 6547 NEW BEST:: SOT 34259 SOS 10141 HAS SOPS 10141 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6407.141
AT ITER 6554 NEW BEST:: SOT 34256 SOS 10135 HAS SOPS 10135 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6404.135
AT ITER 6585 NEW BEST:: SOT 34252 SOS 10131 HAS SOPS 10131 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6396.131
AT ITER 6640 NEW BEST:: SOT 34248 SOS 10130 HAS SOPS 10130 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6391.13
AT ITER 6644 NEW BEST:: SOT 34244 SOS 10107 HAS SOPS 10107 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6364.107
AT ITER 6785 NEW BEST:: SOT 34242 SOS 10098 HAS SOPS 10098 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6355.098
AT ITER 6812 NEW BEST:: SOT 34228 SOS 10095 HAS SOPS 10095 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6355.095
AT ITER 6857 NEW BEST:: SOT 34215 SOS 10069 HAS SOPS 10069 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.069
AT ITER 6859 NEW BEST:: SOT 34215 SOS 10066 HAS SOPS 10066 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.066
AT ITER 6863 NEW BEST:: SOT 34215 SOS 10064 HAS SOPS 10064 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.064
AT ITER 6905 NEW BEST:: SOT 34218 SOS 9975 HAS SOPS 9975 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6332.975
AT ITER 6920 NEW BEST:: SOT 34218 SOS 9973 HAS SOPS 9973 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6330.973
AT ITER 6921 NEW BEST:: SOT 34212 SOS 9961 HAS SOPS 9961 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6324.961
AT ITER 6953 NEW BEST:: SOT 34211 SOS 9960 HAS SOPS 9960 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6323.96
AT ITER 7007 NEW BEST:: SOT 34206 SOS 9950 HAS SOPS 9950 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6313.95
AT ITER 7028 NEW BEST:: SOT 34195 SOS 9939 HAS SOPS 9939 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6298.939
AT ITER 7056 NEW BEST:: SOT 34189 SOS 9933 HAS SOPS 9933 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6292.933
AT ITER 7064 NEW BEST:: SOT 34184 SOS 9921 HAS SOPS 9921 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6275.921
AT ITER 7116 NEW BEST:: SOT 34184 SOS 9897 HAS SOPS 9897 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6274.897
AT ITER 7171 NEW BEST:: SOT 34182 SOS 9895 HAS SOPS 9895 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6272.895
AT ITER 7246 NEW BEST:: SOT 34181 SOS 9892 HAS SOPS 9892 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6270.892
AT ITER 7270 NEW BEST:: SOT 34181 SOS 9875 HAS SOPS 9875 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6270.875
AT ITER 7295 NEW BEST:: SOT 34164 SOS 9851 HAS SOPS 9851 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6250.851
AT ITER 7297 NEW BEST:: SOT 34159 SOS 9846 HAS SOPS 9846 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6245.846
AT ITER 7303 NEW BEST:: SOT 34156 SOS 9843 HAS SOPS 9843 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6239.843
AT ITER 7311 NEW BEST:: SOT 34155 SOS 9841 HAS SOPS 9841 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6239.841
AT ITER 7367 NEW BEST:: SOT 34155 SOS 9835 HAS SOPS 9835 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6239.835
AT ITER 7453 NEW BEST:: SOT 34155 SOS 9834 HAS SOPS 9834 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6239.834
AT ITER 7596 NEW BEST:: SOT 34155 SOS 9833 HAS SOPS 9833 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6238.833
AT ITER 7637 NEW BEST:: SOT 34148 SOS 9834 HAS SOPS 9834 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6232.834
AT ITER 7692 NEW BEST:: SOT 34145 SOS 9828 HAS SOPS 9828 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6217.828
AT ITER 7887 NEW BEST:: SOT 34140 SOS 9818 HAS SOPS 9818 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6207.818
AT ITER 7891 NEW BEST:: SOT 34139 SOS 9816 HAS SOPS 9816 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6205.816
AT ITER 7915 NEW BEST:: SOT 34139 SOS 9810 HAS SOPS 9810 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6199.81
AT ITER 7938 NEW BEST:: SOT 34139 SOS 9823 HAS SOPS 9823 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6195.823
AT ITER 7962 NEW BEST:: SOT 34136 SOS 9816 HAS SOPS 9816 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6185.816
AT ITER 7964 NEW BEST:: SOT 34132 SOS 9808 HAS SOPS 9808 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6177.808
AT ITER 7993 NEW BEST:: SOT 34139 SOS 9814 HAS SOPS 9814 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6176.814
AT ITER 8140 NEW BEST:: SOT 34136 SOS 9808 HAS SOPS 9808 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6170.808
AT ITER 8192 NEW BEST:: SOT 34133 SOS 9805 HAS SOPS 9805 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6168.805
AT ITER 8193 NEW BEST:: SOT 34133 SOS 9801 HAS SOPS 9801 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6164.801
AT ITER 8256 NEW BEST:: SOT 34131 SOS 9797 HAS SOPS 9797 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6160.797
AT ITER 8346 NEW BEST:: SOT 34129 SOS 9792 HAS SOPS 9792 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6156.792
AT ITER 8370 NEW BEST:: SOT 34121 SOS 9776 HAS SOPS 9776 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6140.776
AT ITER 8382 NEW BEST:: SOT 34117 SOS 9772 HAS SOPS 9772 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6139.772
AT ITER 8399 NEW BEST:: SOT 34110 SOS 9763 HAS SOPS 9763 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6130.763
AT ITER 8407 NEW BEST:: SOT 34103 SOS 9749 HAS SOPS 9749 HAS SOUS 6107 HAS SOUPS 6107 WITH SCORE 6116.749
AT ITER 8466 NEW BEST:: SOT 34100 SOS 9746 HAS SOPS 9746 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6113.746
AT ITER 8519 NEW BEST:: SOT 34092 SOS 9730 HAS SOPS 9730 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6097.73
AT ITER 8553 NEW BEST:: SOT 34091 SOS 9726 HAS SOPS 9726 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6095.726
AT ITER 8627 NEW BEST:: SOT 34086 SOS 9772 HAS SOPS 9772 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6085.772
AT ITER 8643 NEW BEST:: SOT 34086 SOS 9842 HAS SOPS 9842 HAS SOUS 6006 HAS SOUPS 6006 WITH SCORE 6015.842
AT ITER 8707 NEW BEST:: SOT 34086 SOS 9842 HAS SOPS 9842 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6014.842
AT ITER 8772 NEW BEST:: SOT 34096 SOS 9840 HAS SOPS 9840 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6006.84
AT ITER 8816 NEW BEST:: SOT 34094 SOS 9856 HAS SOPS 9856 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6002.856
AT ITER 8865 NEW BEST:: SOT 34093 SOS 9854 HAS SOPS 9854 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 6000.854
AT ITER 8889 NEW BEST:: SOT 34091 SOS 9835 HAS SOPS 9835 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5995.835
AT ITER 8925 NEW BEST:: SOT 34094 SOS 9838 HAS SOPS 9838 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5993.838
AT ITER 8976 NEW BEST:: SOT 34094 SOS 9837 HAS SOPS 9837 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5993.837
AT ITER 9065 NEW BEST:: SOT 34090 SOS 9833 HAS SOPS 9833 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5985.833
AT ITER 9100 NEW BEST:: SOT 34085 SOS 9846 HAS SOPS 9846 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5975.846
AT ITER 9108 NEW BEST:: SOT 34070 SOS 9831 HAS SOPS 9831 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5960.831
AT ITER 9117 NEW BEST:: SOT 34070 SOS 9799 HAS SOPS 9799 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5928.799
AT ITER 9125 NEW BEST:: SOT 34062 SOS 9783 HAS SOPS 9783 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5917.783
AT ITER 9139 NEW BEST:: SOT 34062 SOS 9785 HAS SOPS 9785 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5915.785
AT ITER 9237 NEW BEST:: SOT 34044 SOS 9767 HAS SOPS 9767 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5915.767
AT ITER 9298 NEW BEST:: SOT 34037 SOS 9759 HAS SOPS 9759 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.759
AT ITER 9308 NEW BEST:: SOT 34037 SOS 9759 HAS SOPS 9759 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5901.759
AT ITER 9389 NEW BEST:: SOT 34031 SOS 9759 HAS SOPS 9759 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5895.759
AT ITER 9416 NEW BEST:: SOT 34024 SOS 9756 HAS SOPS 9756 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5892.756
AT ITER 9450 NEW BEST:: SOT 34022 SOS 9754 HAS SOPS 9754 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5890.754
AT ITER 9472 NEW BEST:: SOT 34022 SOS 9748 HAS SOPS 9748 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5884.748
AT ITER 9518 NEW BEST:: SOT 34019 SOS 9745 HAS SOPS 9745 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5881.745
AT ITER 9639 NEW BEST:: SOT 34019 SOS 9744 HAS SOPS 9744 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5880.744
AT ITER 9655 NEW BEST:: SOT 34019 SOS 9739 HAS SOPS 9739 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5880.739
AT ITER 9703 NEW BEST:: SOT 34019 SOS 9652 HAS SOPS 9652 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5880.652
AT ITER 9732 NEW BEST:: SOT 34017 SOS 9650 HAS SOPS 9650 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5878.65
AT ITER 9802 NEW BEST:: SOT 34013 SOS 9646 HAS SOPS 9646 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5870.646
AT ITER 9857 NEW BEST:: SOT 34005 SOS 9630 HAS SOPS 9630 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5857.63
AT ITER 9887 NEW BEST:: SOT 34005 SOS 9616 HAS SOPS 9616 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5857.616
AT ITER 9968 NEW BEST:: SOT 34005 SOS 9614 HAS SOPS 9614 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5857.614
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 5477520 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16126176 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-08b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DiscoveryGPU-PT-08b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819422600328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-08b.tgz
mv DiscoveryGPU-PT-08b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;