About the Execution of Smart+red for NQueens-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15966.779 | 3600000.00 | 3630553.00 | 9027.60 | [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.r267-smll-167863541300040.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 NQueens-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541300040
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 652K
-rw-r--r-- 1 mcc users 6.7K Feb 26 17:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 17:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 17:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 17:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 183K Feb 26 17:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 134K 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 1678734064775
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=NQueens-PT-12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:01:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:01:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:01:08] [INFO ] Load time of PNML (sax parser for PT used): 107 ms
[2023-03-13 19:01:08] [INFO ] Transformed 216 places.
[2023-03-13 19:01:08] [INFO ] Transformed 144 transitions.
[2023-03-13 19:01:08] [INFO ] Parsed PT model containing 216 places and 144 transitions and 720 arcs in 238 ms.
[2023-03-13 19:01:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 216 places, 144 transitions and 720 arcs took 9 ms.
Total runtime 295 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 12
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: 216 places, 144 transitions, 720 arcs.
AT ITER 0 NEW BEST:: SOT 24166 SOS 15319 HAS SOPS 15319 HAS SOUS 13720 HAS SOUPS 13720 WITH SCORE 13735.319
AT ITER 5 NEW BEST:: SOT 24166 SOS 15266 HAS SOPS 15266 HAS SOUS 13720 HAS SOUPS 13720 WITH SCORE 13735.266
AT ITER 12 NEW BEST:: SOT 24108 SOS 15182 HAS SOPS 15182 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13665.182
AT ITER 13 NEW BEST:: SOT 24045 SOS 15255 HAS SOPS 15255 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13619.255
AT ITER 17 NEW BEST:: SOT 23982 SOS 15200 HAS SOPS 15200 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13557.2
AT ITER 22 NEW BEST:: SOT 23887 SOS 15116 HAS SOPS 15116 HAS SOUS 13526 HAS SOUPS 13526 WITH SCORE 13541.116
AT ITER 23 NEW BEST:: SOT 23887 SOS 15068 HAS SOPS 15068 HAS SOUS 13526 HAS SOUPS 13526 WITH SCORE 13541.068
AT ITER 24 NEW BEST:: SOT 23847 SOS 15329 HAS SOPS 15329 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13511.329
AT ITER 27 NEW BEST:: SOT 23847 SOS 15312 HAS SOPS 15312 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13511.312
AT ITER 35 NEW BEST:: SOT 23847 SOS 15282 HAS SOPS 15282 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13511.282
AT ITER 36 NEW BEST:: SOT 23847 SOS 15256 HAS SOPS 15256 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13511.256
AT ITER 39 NEW BEST:: SOT 23847 SOS 15248 HAS SOPS 15248 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13503.248
AT ITER 41 NEW BEST:: SOT 23847 SOS 15222 HAS SOPS 15222 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13503.222
AT ITER 51 NEW BEST:: SOT 23863 SOS 15293 HAS SOPS 15293 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13494.293
AT ITER 52 NEW BEST:: SOT 23863 SOS 15067 HAS SOPS 15067 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13494.067
AT ITER 53 NEW BEST:: SOT 23863 SOS 15039 HAS SOPS 15039 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13494.039
AT ITER 55 NEW BEST:: SOT 23778 SOS 14962 HAS SOPS 14962 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13416.962
AT ITER 62 NEW BEST:: SOT 23778 SOS 14893 HAS SOPS 14893 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13416.893
AT ITER 72 NEW BEST:: SOT 23778 SOS 14777 HAS SOPS 14777 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13416.777
AT ITER 79 NEW BEST:: SOT 23834 SOS 14719 HAS SOPS 14719 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13358.719
AT ITER 82 NEW BEST:: SOT 23834 SOS 14633 HAS SOPS 14633 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13358.633
AT ITER 84 NEW BEST:: SOT 23834 SOS 14597 HAS SOPS 14597 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13358.597
AT ITER 85 NEW BEST:: SOT 23834 SOS 14575 HAS SOPS 14575 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13358.575
AT ITER 87 NEW BEST:: SOT 23851 SOS 14584 HAS SOPS 14584 HAS SOUS 13341 HAS SOUPS 13341 WITH SCORE 13355.584
AT ITER 89 NEW BEST:: SOT 23851 SOS 14444 HAS SOPS 14444 HAS SOUS 13341 HAS SOUPS 13341 WITH SCORE 13355.444
AT ITER 95 NEW BEST:: SOT 23851 SOS 14424 HAS SOPS 14424 HAS SOUS 13341 HAS SOUPS 13341 WITH SCORE 13355.424
AT ITER 98 NEW BEST:: SOT 23851 SOS 14405 HAS SOPS 14405 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13336.405
AT ITER 101 NEW BEST:: SOT 23893 SOS 14406 HAS SOPS 14406 HAS SOUS 13315 HAS SOUPS 13315 WITH SCORE 13329.406
AT ITER 104 NEW BEST:: SOT 23811 SOS 14395 HAS SOPS 14395 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13304.395
AT ITER 106 NEW BEST:: SOT 23757 SOS 14350 HAS SOPS 14350 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13259.35
AT ITER 120 NEW BEST:: SOT 23658 SOS 14226 HAS SOPS 14226 HAS SOUS 13113 HAS SOUPS 13113 WITH SCORE 13127.226
AT ITER 128 NEW BEST:: SOT 23630 SOS 14198 HAS SOPS 14198 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13098.198
AT ITER 134 NEW BEST:: SOT 23630 SOS 14182 HAS SOPS 14182 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13098.182
AT ITER 135 NEW BEST:: SOT 23659 SOS 14157 HAS SOPS 14157 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13080.157
AT ITER 146 NEW BEST:: SOT 23659 SOS 14142 HAS SOPS 14142 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13080.142
AT ITER 159 NEW BEST:: SOT 23652 SOS 14138 HAS SOPS 14138 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13078.138
AT ITER 162 NEW BEST:: SOT 23652 SOS 14113 HAS SOPS 14113 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13078.113
AT ITER 173 NEW BEST:: SOT 23652 SOS 14067 HAS SOPS 14067 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13078.067
AT ITER 175 NEW BEST:: SOT 23646 SOS 14094 HAS SOPS 14094 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13073.094
AT ITER 181 NEW BEST:: SOT 23646 SOS 13954 HAS SOPS 13954 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13072.954
AT ITER 186 NEW BEST:: SOT 23646 SOS 13848 HAS SOPS 13848 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13072.848
AT ITER 204 NEW BEST:: SOT 23632 SOS 13853 HAS SOPS 13853 HAS SOUS 13056 HAS SOUPS 13056 WITH SCORE 13069.853
AT ITER 210 NEW BEST:: SOT 23601 SOS 14019 HAS SOPS 14019 HAS SOUS 13042 HAS SOUPS 13042 WITH SCORE 13056.019
AT ITER 213 NEW BEST:: SOT 23601 SOS 14004 HAS SOPS 14004 HAS SOUS 13042 HAS SOUPS 13042 WITH SCORE 13056.004
AT ITER 216 NEW BEST:: SOT 23503 SOS 14124 HAS SOPS 14124 HAS SOUS 12981 HAS SOUPS 12981 WITH SCORE 12995.124
AT ITER 217 NEW BEST:: SOT 23473 SOS 14164 HAS SOPS 14164 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12978.164
AT ITER 229 NEW BEST:: SOT 23453 SOS 14152 HAS SOPS 14152 HAS SOUS 12960 HAS SOUPS 12960 WITH SCORE 12974.152
AT ITER 232 NEW BEST:: SOT 23448 SOS 14169 HAS SOPS 14169 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.169
AT ITER 235 NEW BEST:: SOT 23448 SOS 14144 HAS SOPS 14144 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.144
AT ITER 239 NEW BEST:: SOT 23448 SOS 14141 HAS SOPS 14141 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12934.141
AT ITER 242 NEW BEST:: SOT 23436 SOS 14180 HAS SOPS 14180 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.18
AT ITER 243 NEW BEST:: SOT 23288 SOS 14044 HAS SOPS 14044 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12796.044
AT ITER 251 NEW BEST:: SOT 23287 SOS 14043 HAS SOPS 14043 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12795.043
AT ITER 257 NEW BEST:: SOT 23287 SOS 14007 HAS SOPS 14007 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12778.007
AT ITER 263 NEW BEST:: SOT 23287 SOS 14007 HAS SOPS 14007 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12746.007
AT ITER 265 NEW BEST:: SOT 23287 SOS 13937 HAS SOPS 13937 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12745.937
AT ITER 266 NEW BEST:: SOT 23279 SOS 13929 HAS SOPS 13929 HAS SOUS 12724 HAS SOUPS 12724 WITH SCORE 12737.929
AT ITER 267 NEW BEST:: SOT 23249 SOS 14153 HAS SOPS 14153 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12712.153
AT ITER 275 NEW BEST:: SOT 23249 SOS 13907 HAS SOPS 13907 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12707.907
AT ITER 279 NEW BEST:: SOT 23249 SOS 13882 HAS SOPS 13882 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12707.882
AT ITER 283 NEW BEST:: SOT 23249 SOS 13866 HAS SOPS 13866 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12691.866
AT ITER 300 NEW BEST:: SOT 23249 SOS 13910 HAS SOPS 13910 HAS SOUS 12641 HAS SOUPS 12641 WITH SCORE 12654.91
AT ITER 307 NEW BEST:: SOT 23249 SOS 13852 HAS SOPS 13852 HAS SOUS 12641 HAS SOUPS 12641 WITH SCORE 12654.852
AT ITER 309 NEW BEST:: SOT 23188 SOS 14009 HAS SOPS 14009 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12646.009
AT ITER 313 NEW BEST:: SOT 23164 SOS 14064 HAS SOPS 14064 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12639.064
AT ITER 318 NEW BEST:: SOT 23164 SOS 14033 HAS SOPS 14033 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12639.033
AT ITER 333 NEW BEST:: SOT 23078 SOS 13957 HAS SOPS 13957 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12620.957
AT ITER 335 NEW BEST:: SOT 23078 SOS 13838 HAS SOPS 13838 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12620.838
AT ITER 337 NEW BEST:: SOT 23078 SOS 13808 HAS SOPS 13808 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12620.808
AT ITER 338 NEW BEST:: SOT 23078 SOS 13732 HAS SOPS 13732 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12620.732
AT ITER 341 NEW BEST:: SOT 23071 SOS 13725 HAS SOPS 13725 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12615.725
AT ITER 343 NEW BEST:: SOT 23071 SOS 13722 HAS SOPS 13722 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12612.722
AT ITER 348 NEW BEST:: SOT 23071 SOS 13716 HAS SOPS 13716 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12612.716
AT ITER 349 NEW BEST:: SOT 23098 SOS 13685 HAS SOPS 13685 HAS SOUS 12555 HAS SOUPS 12555 WITH SCORE 12568.685
AT ITER 358 NEW BEST:: SOT 23078 SOS 13632 HAS SOPS 13632 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12538.632
AT ITER 361 NEW BEST:: SOT 23052 SOS 13634 HAS SOPS 13634 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12528.634
AT ITER 369 NEW BEST:: SOT 23052 SOS 13624 HAS SOPS 13624 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12528.624
AT ITER 370 NEW BEST:: SOT 23052 SOS 13617 HAS SOPS 13617 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12528.617
AT ITER 371 NEW BEST:: SOT 22991 SOS 13576 HAS SOPS 13576 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12487.576
AT ITER 372 NEW BEST:: SOT 22991 SOS 13571 HAS SOPS 13571 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12487.571
AT ITER 399 NEW BEST:: SOT 22885 SOS 13548 HAS SOPS 13548 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12445.548
AT ITER 407 NEW BEST:: SOT 22884 SOS 13547 HAS SOPS 13547 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12444.547
AT ITER 408 NEW BEST:: SOT 22884 SOS 13540 HAS SOPS 13540 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12442.54
AT ITER 413 NEW BEST:: SOT 22869 SOS 13796 HAS SOPS 13796 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12427.796
AT ITER 414 NEW BEST:: SOT 22869 SOS 13354 HAS SOPS 13354 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12401.354
AT ITER 415 NEW BEST:: SOT 22869 SOS 13329 HAS SOPS 13329 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12401.329
AT ITER 419 NEW BEST:: SOT 22869 SOS 13164 HAS SOPS 13164 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12401.164
AT ITER 423 NEW BEST:: SOT 22869 SOS 13146 HAS SOPS 13146 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12401.146
AT ITER 427 NEW BEST:: SOT 22860 SOS 13145 HAS SOPS 13145 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12401.145
AT ITER 440 NEW BEST:: SOT 22860 SOS 13122 HAS SOPS 13122 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12378.122
AT ITER 470 NEW BEST:: SOT 22836 SOS 13015 HAS SOPS 13015 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12378.015
AT ITER 471 NEW BEST:: SOT 22734 SOS 12995 HAS SOPS 12995 HAS SOUS 12319 HAS SOUPS 12319 WITH SCORE 12331.995
AT ITER 485 NEW BEST:: SOT 22734 SOS 12974 HAS SOPS 12974 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12321.974
AT ITER 486 NEW BEST:: SOT 22761 SOS 12972 HAS SOPS 12972 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12308.972
AT ITER 505 NEW BEST:: SOT 22735 SOS 13260 HAS SOPS 13260 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12307.26
AT ITER 526 NEW BEST:: SOT 22749 SOS 13265 HAS SOPS 13265 HAS SOUS 12293 HAS SOUPS 12293 WITH SCORE 12306.265
AT ITER 539 NEW BEST:: SOT 22743 SOS 13259 HAS SOPS 13259 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12300.259
AT ITER 546 NEW BEST:: SOT 22742 SOS 13261 HAS SOPS 13261 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12299.261
AT ITER 550 NEW BEST:: SOT 22742 SOS 13243 HAS SOPS 13243 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12298.243
AT ITER 557 NEW BEST:: SOT 22742 SOS 13277 HAS SOPS 13277 HAS SOUS 12273 HAS SOUPS 12273 WITH SCORE 12286.277
AT ITER 570 NEW BEST:: SOT 22742 SOS 13290 HAS SOPS 13290 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12281.29
AT ITER 578 NEW BEST:: SOT 22742 SOS 13277 HAS SOPS 13277 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.277
AT ITER 586 NEW BEST:: SOT 22742 SOS 13178 HAS SOPS 13178 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.178
AT ITER 588 NEW BEST:: SOT 22721 SOS 13140 HAS SOPS 13140 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12259.14
AT ITER 592 NEW BEST:: SOT 22693 SOS 13064 HAS SOPS 13064 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12182.064
AT ITER 597 NEW BEST:: SOT 22693 SOS 13062 HAS SOPS 13062 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12180.062
AT ITER 612 NEW BEST:: SOT 22693 SOS 13039 HAS SOPS 13039 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12170.039
AT ITER 617 NEW BEST:: SOT 22693 SOS 13030 HAS SOPS 13030 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12170.03
AT ITER 638 NEW BEST:: SOT 22650 SOS 13219 HAS SOPS 13219 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12149.219
AT ITER 649 NEW BEST:: SOT 22650 SOS 13217 HAS SOPS 13217 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12149.217
AT ITER 650 NEW BEST:: SOT 22650 SOS 13205 HAS SOPS 13205 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12143.205
AT ITER 652 NEW BEST:: SOT 22650 SOS 13176 HAS SOPS 13176 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12143.176
AT ITER 653 NEW BEST:: SOT 22650 SOS 13175 HAS SOPS 13175 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12137.175
AT ITER 661 NEW BEST:: SOT 22650 SOS 13166 HAS SOPS 13166 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12137.166
AT ITER 679 NEW BEST:: SOT 22650 SOS 13160 HAS SOPS 13160 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12131.16
AT ITER 686 NEW BEST:: SOT 22650 SOS 13163 HAS SOPS 13163 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12123.163
AT ITER 691 NEW BEST:: SOT 22635 SOS 13730 HAS SOPS 13730 HAS SOUS 12100 HAS SOUPS 12100 WITH SCORE 12113.73
AT ITER 694 NEW BEST:: SOT 22635 SOS 13721 HAS SOPS 13721 HAS SOUS 12100 HAS SOUPS 12100 WITH SCORE 12113.721
AT ITER 701 NEW BEST:: SOT 22599 SOS 13701 HAS SOPS 13701 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12106.701
AT ITER 703 NEW BEST:: SOT 22599 SOS 13694 HAS SOPS 13694 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12105.694
AT ITER 704 NEW BEST:: SOT 22599 SOS 13676 HAS SOPS 13676 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12105.676
AT ITER 706 NEW BEST:: SOT 22603 SOS 13680 HAS SOPS 13680 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12091.68
AT ITER 713 NEW BEST:: SOT 22603 SOS 13653 HAS SOPS 13653 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12091.653
AT ITER 715 NEW BEST:: SOT 22603 SOS 13662 HAS SOPS 13662 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12077.662
AT ITER 716 NEW BEST:: SOT 22580 SOS 13639 HAS SOPS 13639 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12054.639
AT ITER 746 NEW BEST:: SOT 22580 SOS 13639 HAS SOPS 13639 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12050.639
AT ITER 752 NEW BEST:: SOT 22574 SOS 13633 HAS SOPS 13633 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12044.633
AT ITER 757 NEW BEST:: SOT 22574 SOS 13628 HAS SOPS 13628 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12044.628
AT ITER 759 NEW BEST:: SOT 22574 SOS 13628 HAS SOPS 13628 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12040.628
AT ITER 767 NEW BEST:: SOT 22582 SOS 13502 HAS SOPS 13502 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12034.502
AT ITER 774 NEW BEST:: SOT 22617 SOS 13486 HAS SOPS 13486 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12019.486
AT ITER 777 NEW BEST:: SOT 22609 SOS 13473 HAS SOPS 13473 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12008.473
AT ITER 782 NEW BEST:: SOT 22609 SOS 13499 HAS SOPS 13499 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 11999.499
AT ITER 796 NEW BEST:: SOT 22609 SOS 13460 HAS SOPS 13460 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 11999.46
AT ITER 797 NEW BEST:: SOT 22609 SOS 13438 HAS SOPS 13438 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 11991.438
AT ITER 803 NEW BEST:: SOT 22591 SOS 13426 HAS SOPS 13426 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11973.426
AT ITER 809 NEW BEST:: SOT 22591 SOS 13436 HAS SOPS 13436 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11962.436
AT ITER 818 NEW BEST:: SOT 22587 SOS 13448 HAS SOPS 13448 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11958.448
AT ITER 822 NEW BEST:: SOT 22488 SOS 13753 HAS SOPS 13753 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11940.753
AT ITER 827 NEW BEST:: SOT 22488 SOS 13747 HAS SOPS 13747 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11940.747
AT ITER 831 NEW BEST:: SOT 22488 SOS 13735 HAS SOPS 13735 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11935.735
AT ITER 848 NEW BEST:: SOT 22488 SOS 13725 HAS SOPS 13725 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11935.725
AT ITER 865 NEW BEST:: SOT 22488 SOS 13677 HAS SOPS 13677 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11935.677
AT ITER 868 NEW BEST:: SOT 22488 SOS 13653 HAS SOPS 13653 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11935.653
AT ITER 872 NEW BEST:: SOT 22488 SOS 13645 HAS SOPS 13645 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11935.645
AT ITER 874 NEW BEST:: SOT 22488 SOS 13623 HAS SOPS 13623 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11918.623
AT ITER 883 NEW BEST:: SOT 22455 SOS 13534 HAS SOPS 13534 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11873.534
AT ITER 888 NEW BEST:: SOT 22451 SOS 13530 HAS SOPS 13530 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11869.53
AT ITER 897 NEW BEST:: SOT 22438 SOS 13517 HAS SOPS 13517 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11856.517
AT ITER 909 NEW BEST:: SOT 22432 SOS 13511 HAS SOPS 13511 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11850.511
AT ITER 917 NEW BEST:: SOT 22432 SOS 13499 HAS SOPS 13499 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11850.499
AT ITER 921 NEW BEST:: SOT 22432 SOS 13490 HAS SOPS 13490 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11829.49
AT ITER 925 NEW BEST:: SOT 22429 SOS 13487 HAS SOPS 13487 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11828.487
AT ITER 931 NEW BEST:: SOT 22429 SOS 13484 HAS SOPS 13484 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11828.484
AT ITER 946 NEW BEST:: SOT 22416 SOS 13480 HAS SOPS 13480 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11826.48
AT ITER 957 NEW BEST:: SOT 22416 SOS 13482 HAS SOPS 13482 HAS SOUS 11809 HAS SOUPS 11809 WITH SCORE 11822.482
AT ITER 980 NEW BEST:: SOT 22416 SOS 13114 HAS SOPS 13114 HAS SOUS 11809 HAS SOUPS 11809 WITH SCORE 11822.114
AT ITER 991 NEW BEST:: SOT 22416 SOS 13072 HAS SOPS 13072 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11808.072
AT ITER 992 NEW BEST:: SOT 22390 SOS 13046 HAS SOPS 13046 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11782.046
AT ITER 1017 NEW BEST:: SOT 22387 SOS 13043 HAS SOPS 13043 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11779.043
AT ITER 1018 NEW BEST:: SOT 22375 SOS 13031 HAS SOPS 13031 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11767.031
AT ITER 1027 NEW BEST:: SOT 22375 SOS 13024 HAS SOPS 13024 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11760.024
AT ITER 1052 NEW BEST:: SOT 22375 SOS 13015 HAS SOPS 13015 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11760.015
AT ITER 1065 NEW BEST:: SOT 22388 SOS 13028 HAS SOPS 13028 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11755.028
AT ITER 1094 NEW BEST:: SOT 22339 SOS 12990 HAS SOPS 12990 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11723.99
AT ITER 1135 NEW BEST:: SOT 22339 SOS 12964 HAS SOPS 12964 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11723.964
AT ITER 1141 NEW BEST:: SOT 22339 SOS 12977 HAS SOPS 12977 HAS SOUS 11709 HAS SOUPS 11709 WITH SCORE 11721.977
AT ITER 1146 NEW BEST:: SOT 22339 SOS 12924 HAS SOPS 12924 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11708.924
AT ITER 1147 NEW BEST:: SOT 22339 SOS 12904 HAS SOPS 12904 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11696.904
AT ITER 1158 NEW BEST:: SOT 22312 SOS 12877 HAS SOPS 12877 HAS SOUS 11657 HAS SOUPS 11657 WITH SCORE 11669.877
AT ITER 1159 NEW BEST:: SOT 22326 SOS 12894 HAS SOPS 12894 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11659.894
AT ITER 1162 NEW BEST:: SOT 22322 SOS 12890 HAS SOPS 12890 HAS SOUS 11643 HAS SOUPS 11643 WITH SCORE 11655.89
AT ITER 1167 NEW BEST:: SOT 22322 SOS 12890 HAS SOPS 12890 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11646.89
AT ITER 1200 NEW BEST:: SOT 22322 SOS 12888 HAS SOPS 12888 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11646.888
AT ITER 1208 NEW BEST:: SOT 22322 SOS 12889 HAS SOPS 12889 HAS SOUS 11632 HAS SOUPS 11632 WITH SCORE 11644.889
AT ITER 1209 NEW BEST:: SOT 22315 SOS 12882 HAS SOPS 12882 HAS SOUS 11625 HAS SOUPS 11625 WITH SCORE 11637.882
AT ITER 1211 NEW BEST:: SOT 22315 SOS 12875 HAS SOPS 12875 HAS SOUS 11618 HAS SOUPS 11618 WITH SCORE 11630.875
AT ITER 1214 NEW BEST:: SOT 22315 SOS 12915 HAS SOPS 12915 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11622.915
AT ITER 1221 NEW BEST:: SOT 22315 SOS 12903 HAS SOPS 12903 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11622.903
AT ITER 1227 NEW BEST:: SOT 22315 SOS 12854 HAS SOPS 12854 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11622.854
AT ITER 1231 NEW BEST:: SOT 22311 SOS 12850 HAS SOPS 12850 HAS SOUS 11606 HAS SOUPS 11606 WITH SCORE 11618.85
AT ITER 1239 NEW BEST:: SOT 22311 SOS 12846 HAS SOPS 12846 HAS SOUS 11598 HAS SOUPS 11598 WITH SCORE 11610.846
AT ITER 1242 NEW BEST:: SOT 22308 SOS 12798 HAS SOPS 12798 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11574.798
AT ITER 1246 NEW BEST:: SOT 22307 SOS 12850 HAS SOPS 12850 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11573.85
AT ITER 1266 NEW BEST:: SOT 22231 SOS 12842 HAS SOPS 12842 HAS SOUS 11546 HAS SOUPS 11546 WITH SCORE 11558.842
AT ITER 1276 NEW BEST:: SOT 22231 SOS 12839 HAS SOPS 12839 HAS SOUS 11546 HAS SOUPS 11546 WITH SCORE 11558.839
AT ITER 1281 NEW BEST:: SOT 22191 SOS 12799 HAS SOPS 12799 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11518.799
AT ITER 1311 NEW BEST:: SOT 22191 SOS 12771 HAS SOPS 12771 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11505.771
AT ITER 1332 NEW BEST:: SOT 22191 SOS 12744 HAS SOPS 12744 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11505.744
AT ITER 1334 NEW BEST:: SOT 22191 SOS 12722 HAS SOPS 12722 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11494.722
AT ITER 1339 NEW BEST:: SOT 22191 SOS 12707 HAS SOPS 12707 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11494.707
AT ITER 1362 NEW BEST:: SOT 22190 SOS 12736 HAS SOPS 12736 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11489.736
AT ITER 1363 NEW BEST:: SOT 22190 SOS 12766 HAS SOPS 12766 HAS SOUS 11475 HAS SOUPS 11475 WITH SCORE 11487.766
AT ITER 1378 NEW BEST:: SOT 22187 SOS 12755 HAS SOPS 12755 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11462.755
AT ITER 1385 NEW BEST:: SOT 22187 SOS 12743 HAS SOPS 12743 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11456.743
AT ITER 1391 NEW BEST:: SOT 22178 SOS 12729 HAS SOPS 12729 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11451.729
AT ITER 1399 NEW BEST:: SOT 22178 SOS 12739 HAS SOPS 12739 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11443.739
AT ITER 1410 NEW BEST:: SOT 22178 SOS 12714 HAS SOPS 12714 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11443.714
AT ITER 1427 NEW BEST:: SOT 22198 SOS 12734 HAS SOPS 12734 HAS SOUS 11429 HAS SOUPS 11429 WITH SCORE 11441.734
AT ITER 1430 NEW BEST:: SOT 22043 SOS 12757 HAS SOPS 12757 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11432.757
AT ITER 1431 NEW BEST:: SOT 22043 SOS 12742 HAS SOPS 12742 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11432.742
AT ITER 1436 NEW BEST:: SOT 22036 SOS 12735 HAS SOPS 12735 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11428.735
AT ITER 1453 NEW BEST:: SOT 22031 SOS 12730 HAS SOPS 12730 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11423.73
AT ITER 1455 NEW BEST:: SOT 22020 SOS 12719 HAS SOPS 12719 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11412.719
AT ITER 1457 NEW BEST:: SOT 22020 SOS 12689 HAS SOPS 12689 HAS SOUS 11389 HAS SOUPS 11389 WITH SCORE 11401.689
AT ITER 1458 NEW BEST:: SOT 22108 SOS 12742 HAS SOPS 12742 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11397.742
AT ITER 1469 NEW BEST:: SOT 22108 SOS 12739 HAS SOPS 12739 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11394.739
AT ITER 1480 NEW BEST:: SOT 22104 SOS 12735 HAS SOPS 12735 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11390.735
AT ITER 1486 NEW BEST:: SOT 22104 SOS 12747 HAS SOPS 12747 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11382.747
AT ITER 1492 NEW BEST:: SOT 22081 SOS 12706 HAS SOPS 12706 HAS SOUS 11329 HAS SOUPS 11329 WITH SCORE 11341.706
AT ITER 1493 NEW BEST:: SOT 22099 SOS 12722 HAS SOPS 12722 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11328.722
AT ITER 1498 NEW BEST:: SOT 22099 SOS 12696 HAS SOPS 12696 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11328.696
AT ITER 1501 NEW BEST:: SOT 22062 SOS 12659 HAS SOPS 12659 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11283.659
AT ITER 1508 NEW BEST:: SOT 22062 SOS 12670 HAS SOPS 12670 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11275.67
AT ITER 1510 NEW BEST:: SOT 22060 SOS 12668 HAS SOPS 12668 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11273.668
AT ITER 1557 NEW BEST:: SOT 22069 SOS 12670 HAS SOPS 12670 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11269.67
AT ITER 1563 NEW BEST:: SOT 22055 SOS 12684 HAS SOPS 12684 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11268.684
AT ITER 1570 NEW BEST:: SOT 22055 SOS 12657 HAS SOPS 12657 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11244.657
AT ITER 1578 NEW BEST:: SOT 22055 SOS 12648 HAS SOPS 12648 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.648
AT ITER 1586 NEW BEST:: SOT 22055 SOS 12646 HAS SOPS 12646 HAS SOUS 11217 HAS SOUPS 11217 WITH SCORE 11229.646
AT ITER 1600 NEW BEST:: SOT 22033 SOS 12633 HAS SOPS 12633 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11223.633
AT ITER 1617 NEW BEST:: SOT 22001 SOS 12641 HAS SOPS 12641 HAS SOUS 11198 HAS SOUPS 11198 WITH SCORE 11210.641
AT ITER 1645 NEW BEST:: SOT 22013 SOS 12625 HAS SOPS 12625 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11209.625
AT ITER 1647 NEW BEST:: SOT 21993 SOS 12609 HAS SOPS 12609 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11206.609
AT ITER 1652 NEW BEST:: SOT 21993 SOS 12569 HAS SOPS 12569 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11206.569
AT ITER 1656 NEW BEST:: SOT 21962 SOS 12585 HAS SOPS 12585 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11202.585
AT ITER 1660 NEW BEST:: SOT 21962 SOS 12568 HAS SOPS 12568 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11171.568
AT ITER 1699 NEW BEST:: SOT 21941 SOS 12547 HAS SOPS 12547 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11144.547
AT ITER 1740 NEW BEST:: SOT 21900 SOS 12527 HAS SOPS 12527 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11124.527
AT ITER 1770 NEW BEST:: SOT 21900 SOS 12525 HAS SOPS 12525 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11124.525
AT ITER 1821 NEW BEST:: SOT 21879 SOS 12504 HAS SOPS 12504 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.504
AT ITER 1877 NEW BEST:: SOT 21879 SOS 12495 HAS SOPS 12495 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.495
AT ITER 1878 NEW BEST:: SOT 21879 SOS 12486 HAS SOPS 12486 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11094.486
AT ITER 1906 NEW BEST:: SOT 21881 SOS 12485 HAS SOPS 12485 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11078.485
AT ITER 1922 NEW BEST:: SOT 21843 SOS 12447 HAS SOPS 12447 HAS SOUS 11038 HAS SOUPS 11038 WITH SCORE 11050.447
AT ITER 1952 NEW BEST:: SOT 21830 SOS 12411 HAS SOPS 12411 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11033.411
AT ITER 2003 NEW BEST:: SOT 21813 SOS 12394 HAS SOPS 12394 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11016.394
AT ITER 2018 NEW BEST:: SOT 21816 SOS 12384 HAS SOPS 12384 HAS SOUS 11001 HAS SOUPS 11001 WITH SCORE 11013.384
AT ITER 2047 NEW BEST:: SOT 21799 SOS 12364 HAS SOPS 12364 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11008.364
AT ITER 2090 NEW BEST:: SOT 21806 SOS 12362 HAS SOPS 12362 HAS SOUS 10992 HAS SOUPS 10992 WITH SCORE 11004.362
AT ITER 2093 NEW BEST:: SOT 21806 SOS 12356 HAS SOPS 12356 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.356
AT ITER 2102 NEW BEST:: SOT 21800 SOS 12350 HAS SOPS 12350 HAS SOUS 10984 HAS SOUPS 10984 WITH SCORE 10996.35
AT ITER 2106 NEW BEST:: SOT 21794 SOS 12344 HAS SOPS 12344 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10990.344
AT ITER 2112 NEW BEST:: SOT 21772 SOS 12322 HAS SOPS 12322 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10968.322
AT ITER 2120 NEW BEST:: SOT 21755 SOS 12305 HAS SOPS 12305 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10951.305
AT ITER 2157 NEW BEST:: SOT 21745 SOS 12295 HAS SOPS 12295 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10941.295
AT ITER 2164 NEW BEST:: SOT 21745 SOS 12435 HAS SOPS 12435 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.435
AT ITER 2173 NEW BEST:: SOT 21748 SOS 12408 HAS SOPS 12408 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10926.408
AT ITER 2179 NEW BEST:: SOT 21748 SOS 12407 HAS SOPS 12407 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10926.407
AT ITER 2197 NEW BEST:: SOT 21735 SOS 12394 HAS SOPS 12394 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10915.394
AT ITER 2225 NEW BEST:: SOT 21735 SOS 12388 HAS SOPS 12388 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.388
AT ITER 2227 NEW BEST:: SOT 21735 SOS 12355 HAS SOPS 12355 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.355
AT ITER 2263 NEW BEST:: SOT 21735 SOS 12352 HAS SOPS 12352 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.352
AT ITER 2281 NEW BEST:: SOT 21735 SOS 12365 HAS SOPS 12365 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10909.365
AT ITER 2294 NEW BEST:: SOT 21710 SOS 12340 HAS SOPS 12340 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10884.34
AT ITER 2318 NEW BEST:: SOT 21707 SOS 12427 HAS SOPS 12427 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10881.427
AT ITER 2325 NEW BEST:: SOT 21703 SOS 12444 HAS SOPS 12444 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.444
AT ITER 2331 NEW BEST:: SOT 21694 SOS 12435 HAS SOPS 12435 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10861.435
AT ITER 2333 NEW BEST:: SOT 21685 SOS 12426 HAS SOPS 12426 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10852.426
AT ITER 2335 NEW BEST:: SOT 21685 SOS 12443 HAS SOPS 12443 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10851.443
AT ITER 2347 NEW BEST:: SOT 21685 SOS 12428 HAS SOPS 12428 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10851.428
AT ITER 2349 NEW BEST:: SOT 21682 SOS 12425 HAS SOPS 12425 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10848.425
AT ITER 2357 NEW BEST:: SOT 21683 SOS 12426 HAS SOPS 12426 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10847.426
AT ITER 2366 NEW BEST:: SOT 21683 SOS 12454 HAS SOPS 12454 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10839.454
AT ITER 2373 NEW BEST:: SOT 21683 SOS 12429 HAS SOPS 12429 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10819.429
AT ITER 2376 NEW BEST:: SOT 21683 SOS 12424 HAS SOPS 12424 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10819.424
AT ITER 2380 NEW BEST:: SOT 21682 SOS 12423 HAS SOPS 12423 HAS SOUS 10806 HAS SOUPS 10806 WITH SCORE 10818.423
AT ITER 2401 NEW BEST:: SOT 21682 SOS 12418 HAS SOPS 12418 HAS SOUS 10806 HAS SOUPS 10806 WITH SCORE 10818.418
AT ITER 2436 NEW BEST:: SOT 21682 SOS 12432 HAS SOPS 12432 HAS SOUS 10803 HAS SOUPS 10803 WITH SCORE 10815.432
AT ITER 2472 NEW BEST:: SOT 21680 SOS 12430 HAS SOPS 12430 HAS SOUS 10801 HAS SOUPS 10801 WITH SCORE 10813.43
AT ITER 2478 NEW BEST:: SOT 21680 SOS 12397 HAS SOPS 12397 HAS SOUS 10801 HAS SOUPS 10801 WITH SCORE 10813.397
AT ITER 2498 NEW BEST:: SOT 21680 SOS 12352 HAS SOPS 12352 HAS SOUS 10801 HAS SOUPS 10801 WITH SCORE 10813.352
AT ITER 2502 NEW BEST:: SOT 21673 SOS 12345 HAS SOPS 12345 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10806.345
AT ITER 2552 NEW BEST:: SOT 21671 SOS 12309 HAS SOPS 12309 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10804.309
AT ITER 2577 NEW BEST:: SOT 21665 SOS 12340 HAS SOPS 12340 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10798.34
AT ITER 2592 NEW BEST:: SOT 21665 SOS 12332 HAS SOPS 12332 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10798.332
AT ITER 2598 NEW BEST:: SOT 21658 SOS 12325 HAS SOPS 12325 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10791.325
AT ITER 2606 NEW BEST:: SOT 21658 SOS 12308 HAS SOPS 12308 HAS SOUS 10762 HAS SOUPS 10762 WITH SCORE 10774.308
AT ITER 2630 NEW BEST:: SOT 21658 SOS 12381 HAS SOPS 12381 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10773.381
AT ITER 2633 NEW BEST:: SOT 21658 SOS 12372 HAS SOPS 12372 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10773.372
AT ITER 2663 NEW BEST:: SOT 21662 SOS 12369 HAS SOPS 12369 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10767.369
AT ITER 2677 NEW BEST:: SOT 21662 SOS 12371 HAS SOPS 12371 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10761.371
AT ITER 2680 NEW BEST:: SOT 21662 SOS 12365 HAS SOPS 12365 HAS SOUS 10742 HAS SOUPS 10742 WITH SCORE 10754.365
AT ITER 2706 NEW BEST:: SOT 21659 SOS 12416 HAS SOPS 12416 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10742.416
AT ITER 2732 NEW BEST:: SOT 21659 SOS 12378 HAS SOPS 12378 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10742.378
AT ITER 2751 NEW BEST:: SOT 21659 SOS 12369 HAS SOPS 12369 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10735.369
AT ITER 2762 NEW BEST:: SOT 21657 SOS 12367 HAS SOPS 12367 HAS SOUS 10721 HAS SOUPS 10721 WITH SCORE 10733.367
AT ITER 2768 NEW BEST:: SOT 21657 SOS 12349 HAS SOPS 12349 HAS SOUS 10721 HAS SOUPS 10721 WITH SCORE 10733.349
AT ITER 2799 NEW BEST:: SOT 21655 SOS 12347 HAS SOPS 12347 HAS SOUS 10719 HAS SOUPS 10719 WITH SCORE 10731.347
AT ITER 2818 NEW BEST:: SOT 21655 SOS 12338 HAS SOPS 12338 HAS SOUS 10719 HAS SOUPS 10719 WITH SCORE 10731.338
AT ITER 2864 NEW BEST:: SOT 21643 SOS 12326 HAS SOPS 12326 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10719.326
AT ITER 2873 NEW BEST:: SOT 21643 SOS 12326 HAS SOPS 12326 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10715.326
AT ITER 2898 NEW BEST:: SOT 21643 SOS 12308 HAS SOPS 12308 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10715.308
AT ITER 2959 NEW BEST:: SOT 21643 SOS 12259 HAS SOPS 12259 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10715.259
AT ITER 2963 NEW BEST:: SOT 21649 SOS 12244 HAS SOPS 12244 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10714.244
AT ITER 2975 NEW BEST:: SOT 21649 SOS 12240 HAS SOPS 12240 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10714.24
AT ITER 2987 NEW BEST:: SOT 21649 SOS 12265 HAS SOPS 12265 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10712.265
AT ITER 3037 NEW BEST:: SOT 21652 SOS 12266 HAS SOPS 12266 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10711.266
AT ITER 3059 NEW BEST:: SOT 21652 SOS 12254 HAS SOPS 12254 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10711.254
AT ITER 3111 NEW BEST:: SOT 21637 SOS 12306 HAS SOPS 12306 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10701.306
AT ITER 3120 NEW BEST:: SOT 21635 SOS 12304 HAS SOPS 12304 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10699.304
AT ITER 3125 NEW BEST:: SOT 21598 SOS 12340 HAS SOPS 12340 HAS SOUS 10681 HAS SOUPS 10681 WITH SCORE 10693.34
AT ITER 3189 NEW BEST:: SOT 21598 SOS 12313 HAS SOPS 12313 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10691.313
AT ITER 3202 NEW BEST:: SOT 21583 SOS 12298 HAS SOPS 12298 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10676.298
AT ITER 3212 NEW BEST:: SOT 21583 SOS 12221 HAS SOPS 12221 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10676.221
AT ITER 3213 NEW BEST:: SOT 21583 SOS 12197 HAS SOPS 12197 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10676.197
AT ITER 3234 NEW BEST:: SOT 21494 SOS 12436 HAS SOPS 12436 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10619.436
AT ITER 3242 NEW BEST:: SOT 21492 SOS 12434 HAS SOPS 12434 HAS SOUS 10605 HAS SOUPS 10605 WITH SCORE 10617.434
AT ITER 3247 NEW BEST:: SOT 21492 SOS 12432 HAS SOPS 12432 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10602.432
AT ITER 3250 NEW BEST:: SOT 21479 SOS 12419 HAS SOPS 12419 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10589.419
AT ITER 3270 NEW BEST:: SOT 21479 SOS 12438 HAS SOPS 12438 HAS SOUS 10572 HAS SOUPS 10572 WITH SCORE 10584.438
AT ITER 3291 NEW BEST:: SOT 21479 SOS 12438 HAS SOPS 12438 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10579.438
AT ITER 3300 NEW BEST:: SOT 21479 SOS 12431 HAS SOPS 12431 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10579.431
AT ITER 3308 NEW BEST:: SOT 21533 SOS 12437 HAS SOPS 12437 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10555.437
AT ITER 3313 NEW BEST:: SOT 21533 SOS 12421 HAS SOPS 12421 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10555.421
AT ITER 3317 NEW BEST:: SOT 21533 SOS 12418 HAS SOPS 12418 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10555.418
AT ITER 3350 NEW BEST:: SOT 21533 SOS 12411 HAS SOPS 12411 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10555.411
AT ITER 3368 NEW BEST:: SOT 21533 SOS 12356 HAS SOPS 12356 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10555.356
AT ITER 3379 NEW BEST:: SOT 21532 SOS 12355 HAS SOPS 12355 HAS SOUS 10542 HAS SOUPS 10542 WITH SCORE 10554.355
AT ITER 3384 NEW BEST:: SOT 21533 SOS 12355 HAS SOPS 12355 HAS SOUS 10540 HAS SOUPS 10540 WITH SCORE 10552.355
AT ITER 3399 NEW BEST:: SOT 21533 SOS 12341 HAS SOPS 12341 HAS SOUS 10540 HAS SOUPS 10540 WITH SCORE 10552.341
AT ITER 3407 NEW BEST:: SOT 21533 SOS 12341 HAS SOPS 12341 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10548.341
AT ITER 3427 NEW BEST:: SOT 21512 SOS 12342 HAS SOPS 12342 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10539.342
AT ITER 3455 NEW BEST:: SOT 21486 SOS 12316 HAS SOPS 12316 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10511.316
AT ITER 3463 NEW BEST:: SOT 21473 SOS 12303 HAS SOPS 12303 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10498.303
AT ITER 3465 NEW BEST:: SOT 21473 SOS 12294 HAS SOPS 12294 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10498.294
AT ITER 3467 NEW BEST:: SOT 21460 SOS 12281 HAS SOPS 12281 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10485.281
AT ITER 3470 NEW BEST:: SOT 21460 SOS 12269 HAS SOPS 12269 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10477.269
AT ITER 3506 NEW BEST:: SOT 21459 SOS 12272 HAS SOPS 12272 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10476.272
AT ITER 3550 NEW BEST:: SOT 21459 SOS 12246 HAS SOPS 12246 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10476.246
AT ITER 3573 NEW BEST:: SOT 21459 SOS 12223 HAS SOPS 12223 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10450.223
AT ITER 3623 NEW BEST:: SOT 21459 SOS 12248 HAS SOPS 12248 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10446.248
AT ITER 3645 NEW BEST:: SOT 21459 SOS 12242 HAS SOPS 12242 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10446.242
AT ITER 3662 NEW BEST:: SOT 21459 SOS 12247 HAS SOPS 12247 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10443.247
AT ITER 3690 NEW BEST:: SOT 21459 SOS 12246 HAS SOPS 12246 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10443.246
AT ITER 3704 NEW BEST:: SOT 21459 SOS 12238 HAS SOPS 12238 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10443.238
AT ITER 3719 NEW BEST:: SOT 21459 SOS 12235 HAS SOPS 12235 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10443.235
AT ITER 3729 NEW BEST:: SOT 21453 SOS 12229 HAS SOPS 12229 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10437.229
AT ITER 3730 NEW BEST:: SOT 21453 SOS 12220 HAS SOPS 12220 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10437.22
AT ITER 3732 NEW BEST:: SOT 21443 SOS 12210 HAS SOPS 12210 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10427.21
AT ITER 3763 NEW BEST:: SOT 21441 SOS 12208 HAS SOPS 12208 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10425.208
AT ITER 3765 NEW BEST:: SOT 21441 SOS 12185 HAS SOPS 12185 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10425.185
AT ITER 3800 NEW BEST:: SOT 21441 SOS 12230 HAS SOPS 12230 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10418.23
AT ITER 3822 NEW BEST:: SOT 21434 SOS 12223 HAS SOPS 12223 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10411.223
AT ITER 3831 NEW BEST:: SOT 21434 SOS 12217 HAS SOPS 12217 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10410.217
AT ITER 3866 NEW BEST:: SOT 21434 SOS 12215 HAS SOPS 12215 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10410.215
AT ITER 3876 NEW BEST:: SOT 21423 SOS 12204 HAS SOPS 12204 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10399.204
AT ITER 3897 NEW BEST:: SOT 21421 SOS 12202 HAS SOPS 12202 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10397.202
AT ITER 3903 NEW BEST:: SOT 21421 SOS 12194 HAS SOPS 12194 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10394.194
AT ITER 3904 NEW BEST:: SOT 21421 SOS 12190 HAS SOPS 12190 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10394.19
AT ITER 3921 NEW BEST:: SOT 21421 SOS 12172 HAS SOPS 12172 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10394.172
AT ITER 3976 NEW BEST:: SOT 21421 SOS 12168 HAS SOPS 12168 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10390.168
AT ITER 4057 NEW BEST:: SOT 21419 SOS 12166 HAS SOPS 12166 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10388.166
AT ITER 4095 NEW BEST:: SOT 21406 SOS 12166 HAS SOPS 12166 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10386.166
AT ITER 4134 NEW BEST:: SOT 21406 SOS 12160 HAS SOPS 12160 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10386.16
AT ITER 4148 NEW BEST:: SOT 21393 SOS 12144 HAS SOPS 12144 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10381.144
AT ITER 4158 NEW BEST:: SOT 21353 SOS 12146 HAS SOPS 12146 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10380.146
AT ITER 4166 NEW BEST:: SOT 21353 SOS 12131 HAS SOPS 12131 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10380.131
AT ITER 4217 NEW BEST:: SOT 21349 SOS 12129 HAS SOPS 12129 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10380.129
AT ITER 4230 NEW BEST:: SOT 21345 SOS 12141 HAS SOPS 12141 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10376.141
AT ITER 4328 NEW BEST:: SOT 21345 SOS 12136 HAS SOPS 12136 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10375.136
AT ITER 4399 NEW BEST:: SOT 21306 SOS 12105 HAS SOPS 12105 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10375.105
AT ITER 4402 NEW BEST:: SOT 21276 SOS 12121 HAS SOPS 12121 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10361.121
AT ITER 4413 NEW BEST:: SOT 21276 SOS 12124 HAS SOPS 12124 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10352.124
AT ITER 4421 NEW BEST:: SOT 21274 SOS 12122 HAS SOPS 12122 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10350.122
AT ITER 4428 NEW BEST:: SOT 21269 SOS 12142 HAS SOPS 12142 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10345.142
AT ITER 4459 NEW BEST:: SOT 21266 SOS 12139 HAS SOPS 12139 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10342.139
AT ITER 4503 NEW BEST:: SOT 21266 SOS 12124 HAS SOPS 12124 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10327.124
AT ITER 4558 NEW BEST:: SOT 21266 SOS 12121 HAS SOPS 12121 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10324.121
AT ITER 4563 NEW BEST:: SOT 21248 SOS 12245 HAS SOPS 12245 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10314.245
AT ITER 4565 NEW BEST:: SOT 21248 SOS 12248 HAS SOPS 12248 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10312.248
AT ITER 4566 NEW BEST:: SOT 21248 SOS 12228 HAS SOPS 12228 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10312.228
AT ITER 4589 NEW BEST:: SOT 21265 SOS 12238 HAS SOPS 12238 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10303.238
AT ITER 4622 NEW BEST:: SOT 21259 SOS 12588 HAS SOPS 12588 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10298.588
AT ITER 4636 NEW BEST:: SOT 21259 SOS 12580 HAS SOPS 12580 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10290.58
AT ITER 4656 NEW BEST:: SOT 21254 SOS 12588 HAS SOPS 12588 HAS SOUS 10271 HAS SOUPS 10271 WITH SCORE 10283.588
AT ITER 4718 NEW BEST:: SOT 21251 SOS 12588 HAS SOPS 12588 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10280.588
AT ITER 4749 NEW BEST:: SOT 21238 SOS 12586 HAS SOPS 12586 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10277.586
AT ITER 4757 NEW BEST:: SOT 21202 SOS 12566 HAS SOPS 12566 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10277.566
AT ITER 4775 NEW BEST:: SOT 21200 SOS 12978 HAS SOPS 12978 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10275.978
AT ITER 4786 NEW BEST:: SOT 21200 SOS 12629 HAS SOPS 12629 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10275.629
AT ITER 4817 NEW BEST:: SOT 21200 SOS 12628 HAS SOPS 12628 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10268.628
AT ITER 4818 NEW BEST:: SOT 21200 SOS 12626 HAS SOPS 12626 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10268.626
AT ITER 4839 NEW BEST:: SOT 21200 SOS 12620 HAS SOPS 12620 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10268.62
AT ITER 4849 NEW BEST:: SOT 21191 SOS 12617 HAS SOPS 12617 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10259.617
AT ITER 4861 NEW BEST:: SOT 21191 SOS 12616 HAS SOPS 12616 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10259.616
AT ITER 4904 NEW BEST:: SOT 21191 SOS 12618 HAS SOPS 12618 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10243.618
AT ITER 4906 NEW BEST:: SOT 21156 SOS 12583 HAS SOPS 12583 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10208.583
AT ITER 4958 NEW BEST:: SOT 21156 SOS 12581 HAS SOPS 12581 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10208.581
AT ITER 4978 NEW BEST:: SOT 21156 SOS 12600 HAS SOPS 12600 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10207.6
AT ITER 4997 NEW BEST:: SOT 21156 SOS 12443 HAS SOPS 12443 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10207.443
AT ITER 4999 NEW BEST:: SOT 21156 SOS 12373 HAS SOPS 12373 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10207.373
AT ITER 5061 NEW BEST:: SOT 21156 SOS 12373 HAS SOPS 12373 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10204.373
AT ITER 5075 NEW BEST:: SOT 21156 SOS 12367 HAS SOPS 12367 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10204.367
AT ITER 5087 NEW BEST:: SOT 21151 SOS 12362 HAS SOPS 12362 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10203.362
AT ITER 5105 NEW BEST:: SOT 21147 SOS 12358 HAS SOPS 12358 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10199.358
AT ITER 5109 NEW BEST:: SOT 21147 SOS 12358 HAS SOPS 12358 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10198.358
AT ITER 5152 NEW BEST:: SOT 21147 SOS 12358 HAS SOPS 12358 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10192.358
AT ITER 5155 NEW BEST:: SOT 21147 SOS 12358 HAS SOPS 12358 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10175.358
AT ITER 5192 NEW BEST:: SOT 21144 SOS 12355 HAS SOPS 12355 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10172.355
AT ITER 5206 NEW BEST:: SOT 21144 SOS 12350 HAS SOPS 12350 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10172.35
AT ITER 5285 NEW BEST:: SOT 21094 SOS 12412 HAS SOPS 12412 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10171.412
AT ITER 5287 NEW BEST:: SOT 21094 SOS 12411 HAS SOPS 12411 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10171.411
AT ITER 5297 NEW BEST:: SOT 21094 SOS 12309 HAS SOPS 12309 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10166.309
AT ITER 5332 NEW BEST:: SOT 21094 SOS 12441 HAS SOPS 12441 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10165.441
AT ITER 5333 NEW BEST:: SOT 21093 SOS 12440 HAS SOPS 12440 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10164.44
AT ITER 5339 NEW BEST:: SOT 21093 SOS 12438 HAS SOPS 12438 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10164.438
AT ITER 5345 NEW BEST:: SOT 21084 SOS 12429 HAS SOPS 12429 HAS SOUS 10145 HAS SOUPS 10145 WITH SCORE 10157.429
AT ITER 5393 NEW BEST:: SOT 21052 SOS 12397 HAS SOPS 12397 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10138.397
AT ITER 5395 NEW BEST:: SOT 21051 SOS 12396 HAS SOPS 12396 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10137.396
AT ITER 5411 NEW BEST:: SOT 21051 SOS 12390 HAS SOPS 12390 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10137.39
AT ITER 5412 NEW BEST:: SOT 21051 SOS 12393 HAS SOPS 12393 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10136.393
AT ITER 5420 NEW BEST:: SOT 21047 SOS 12389 HAS SOPS 12389 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10132.389
AT ITER 5443 NEW BEST:: SOT 21047 SOS 12385 HAS SOPS 12385 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10132.385
AT ITER 5456 NEW BEST:: SOT 21095 SOS 12377 HAS SOPS 12377 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10131.377
AT ITER 5485 NEW BEST:: SOT 21095 SOS 12387 HAS SOPS 12387 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10127.387
AT ITER 5488 NEW BEST:: SOT 21092 SOS 12384 HAS SOPS 12384 HAS SOUS 10110 HAS SOUPS 10110 WITH SCORE 10122.384
AT ITER 5513 NEW BEST:: SOT 21091 SOS 12383 HAS SOPS 12383 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10121.383
AT ITER 5547 NEW BEST:: SOT 21091 SOS 12342 HAS SOPS 12342 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10117.342
AT ITER 5587 NEW BEST:: SOT 21091 SOS 12316 HAS SOPS 12316 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10112.316
AT ITER 5597 NEW BEST:: SOT 21091 SOS 12295 HAS SOPS 12295 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10112.295
AT ITER 5697 NEW BEST:: SOT 21091 SOS 12275 HAS SOPS 12275 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10108.275
AT ITER 5710 NEW BEST:: SOT 21091 SOS 12273 HAS SOPS 12273 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10108.273
AT ITER 5725 NEW BEST:: SOT 21091 SOS 12267 HAS SOPS 12267 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10108.267
AT ITER 5730 NEW BEST:: SOT 21086 SOS 12263 HAS SOPS 12263 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10106.263
AT ITER 5746 NEW BEST:: SOT 21086 SOS 12239 HAS SOPS 12239 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10106.239
AT ITER 5759 NEW BEST:: SOT 21083 SOS 12236 HAS SOPS 12236 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10103.236
AT ITER 5828 NEW BEST:: SOT 21083 SOS 12232 HAS SOPS 12232 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10103.232
AT ITER 5895 NEW BEST:: SOT 21083 SOS 12232 HAS SOPS 12232 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10101.232
AT ITER 5903 NEW BEST:: SOT 21081 SOS 12230 HAS SOPS 12230 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10099.23
AT ITER 5955 NEW BEST:: SOT 21075 SOS 12224 HAS SOPS 12224 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10093.224
AT ITER 5975 NEW BEST:: SOT 21075 SOS 12197 HAS SOPS 12197 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10090.197
AT ITER 6018 NEW BEST:: SOT 21075 SOS 12197 HAS SOPS 12197 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10086.197
AT ITER 6065 NEW BEST:: SOT 21067 SOS 12189 HAS SOPS 12189 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10078.189
AT ITER 6074 NEW BEST:: SOT 21064 SOS 12186 HAS SOPS 12186 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10075.186
AT ITER 6077 NEW BEST:: SOT 21061 SOS 12183 HAS SOPS 12183 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10072.183
AT ITER 6102 NEW BEST:: SOT 21061 SOS 12173 HAS SOPS 12173 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10068.173
AT ITER 6112 NEW BEST:: SOT 21060 SOS 12172 HAS SOPS 12172 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10067.172
AT ITER 6222 NEW BEST:: SOT 21054 SOS 12166 HAS SOPS 12166 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10067.166
AT ITER 6262 NEW BEST:: SOT 21030 SOS 12158 HAS SOPS 12158 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10062.158
AT ITER 6307 NEW BEST:: SOT 21030 SOS 12146 HAS SOPS 12146 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10062.146
AT ITER 6349 NEW BEST:: SOT 21023 SOS 12140 HAS SOPS 12140 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10056.14
AT ITER 6355 NEW BEST:: SOT 21021 SOS 12138 HAS SOPS 12138 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10054.138
AT ITER 6374 NEW BEST:: SOT 21012 SOS 12174 HAS SOPS 12174 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10053.174
AT ITER 6380 NEW BEST:: SOT 21012 SOS 12174 HAS SOPS 12174 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10045.174
AT ITER 6419 NEW BEST:: SOT 21002 SOS 12164 HAS SOPS 12164 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10035.164
AT ITER 6438 NEW BEST:: SOT 21004 SOS 12162 HAS SOPS 12162 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10035.162
AT ITER 6560 NEW BEST:: SOT 20987 SOS 12159 HAS SOPS 12159 HAS SOUS 10021 HAS SOUPS 10021 WITH SCORE 10033.159
AT ITER 6579 NEW BEST:: SOT 20987 SOS 12135 HAS SOPS 12135 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10032.135
AT ITER 6599 NEW BEST:: SOT 20981 SOS 12139 HAS SOPS 12139 HAS SOUS 10019 HAS SOUPS 10019 WITH SCORE 10031.139
AT ITER 6610 NEW BEST:: SOT 20978 SOS 12136 HAS SOPS 12136 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10028.136
AT ITER 6647 NEW BEST:: SOT 20967 SOS 12129 HAS SOPS 12129 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10017.129
AT ITER 6722 NEW BEST:: SOT 20968 SOS 12125 HAS SOPS 12125 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10010.125
AT ITER 6726 NEW BEST:: SOT 20968 SOS 12131 HAS SOPS 12131 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10004.131
AT ITER 6773 NEW BEST:: SOT 20968 SOS 12131 HAS SOPS 12131 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10000.131
AT ITER 6802 NEW BEST:: SOT 20967 SOS 12130 HAS SOPS 12130 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 9999.13
AT ITER 6825 NEW BEST:: SOT 20961 SOS 12126 HAS SOPS 12126 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9995.126
AT ITER 6828 NEW BEST:: SOT 20969 SOS 12123 HAS SOPS 12123 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9994.123
AT ITER 6867 NEW BEST:: SOT 20964 SOS 12118 HAS SOPS 12118 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9989.118
AT ITER 6929 NEW BEST:: SOT 20962 SOS 12116 HAS SOPS 12116 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9987.116
AT ITER 6936 NEW BEST:: SOT 20962 SOS 12108 HAS SOPS 12108 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9987.108
AT ITER 6939 NEW BEST:: SOT 20961 SOS 12107 HAS SOPS 12107 HAS SOUS 9974 HAS SOUPS 9974 WITH SCORE 9986.107
AT ITER 6952 NEW BEST:: SOT 20968 SOS 12107 HAS SOPS 12107 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9985.107
AT ITER 6978 NEW BEST:: SOT 20943 SOS 12257 HAS SOPS 12257 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9960.257
AT ITER 7084 NEW BEST:: SOT 20943 SOS 12267 HAS SOPS 12267 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9957.267
AT ITER 7090 NEW BEST:: SOT 20945 SOS 12267 HAS SOPS 12267 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9956.267
AT ITER 7092 NEW BEST:: SOT 20945 SOS 12260 HAS SOPS 12260 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9956.26
AT ITER 7118 NEW BEST:: SOT 20944 SOS 12301 HAS SOPS 12301 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9955.301
AT ITER 7129 NEW BEST:: SOT 20945 SOS 12298 HAS SOPS 12298 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9955.298
AT ITER 7157 NEW BEST:: SOT 20945 SOS 12246 HAS SOPS 12246 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9955.246
AT ITER 7189 NEW BEST:: SOT 20929 SOS 12230 HAS SOPS 12230 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9945.23
AT ITER 7265 NEW BEST:: SOT 20929 SOS 12217 HAS SOPS 12217 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9945.217
AT ITER 7282 NEW BEST:: SOT 20929 SOS 12212 HAS SOPS 12212 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9943.212
AT ITER 7358 NEW BEST:: SOT 20929 SOS 12198 HAS SOPS 12198 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9943.198
AT ITER 7394 NEW BEST:: SOT 20927 SOS 12196 HAS SOPS 12196 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9941.196
AT ITER 7395 NEW BEST:: SOT 20921 SOS 12190 HAS SOPS 12190 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9934.19
AT ITER 7426 NEW BEST:: SOT 20921 SOS 12172 HAS SOPS 12172 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9934.172
AT ITER 7444 NEW BEST:: SOT 20924 SOS 12154 HAS SOPS 12154 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9932.154
AT ITER 7468 NEW BEST:: SOT 20924 SOS 12152 HAS SOPS 12152 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9930.152
AT ITER 7507 NEW BEST:: SOT 20924 SOS 12147 HAS SOPS 12147 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9929.147
AT ITER 7548 NEW BEST:: SOT 20924 SOS 12141 HAS SOPS 12141 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9929.141
AT ITER 7553 NEW BEST:: SOT 20922 SOS 12139 HAS SOPS 12139 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9927.139
AT ITER 7589 NEW BEST:: SOT 20922 SOS 12138 HAS SOPS 12138 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9927.138
AT ITER 7639 NEW BEST:: SOT 20921 SOS 12137 HAS SOPS 12137 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9926.137
AT ITER 7694 NEW BEST:: SOT 20921 SOS 12130 HAS SOPS 12130 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9923.13
AT ITER 7710 NEW BEST:: SOT 20920 SOS 12100 HAS SOPS 12100 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9922.1
AT ITER 7779 NEW BEST:: SOT 20919 SOS 12099 HAS SOPS 12099 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9921.099
AT ITER 7783 NEW BEST:: SOT 20916 SOS 12144 HAS SOPS 12144 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9918.144
AT ITER 7799 NEW BEST:: SOT 20916 SOS 12135 HAS SOPS 12135 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9918.135
AT ITER 7857 NEW BEST:: SOT 20916 SOS 12133 HAS SOPS 12133 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9916.133
AT ITER 8017 NEW BEST:: SOT 20911 SOS 12128 HAS SOPS 12128 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9911.128
AT ITER 8066 NEW BEST:: SOT 20910 SOS 12127 HAS SOPS 12127 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9911.127
AT ITER 8107 NEW BEST:: SOT 20905 SOS 12122 HAS SOPS 12122 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9906.122
AT ITER 8128 NEW BEST:: SOT 20898 SOS 12145 HAS SOPS 12145 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9902.145
AT ITER 8245 NEW BEST:: SOT 20858 SOS 12123 HAS SOPS 12123 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9892.123
AT ITER 8287 NEW BEST:: SOT 20855 SOS 12120 HAS SOPS 12120 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9889.12
AT ITER 8297 NEW BEST:: SOT 20855 SOS 12118 HAS SOPS 12118 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9889.118
AT ITER 8346 NEW BEST:: SOT 20855 SOS 12104 HAS SOPS 12104 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9889.104
AT ITER 8416 NEW BEST:: SOT 20854 SOS 12103 HAS SOPS 12103 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9888.103
AT ITER 8484 NEW BEST:: SOT 20854 SOS 12095 HAS SOPS 12095 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9888.095
AT ITER 8511 NEW BEST:: SOT 20854 SOS 12112 HAS SOPS 12112 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9882.112
AT ITER 8571 NEW BEST:: SOT 20854 SOS 12096 HAS SOPS 12096 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9882.096
AT ITER 8576 NEW BEST:: SOT 20851 SOS 12093 HAS SOPS 12093 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9879.093
AT ITER 8594 NEW BEST:: SOT 20846 SOS 12139 HAS SOPS 12139 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9874.139
AT ITER 8599 NEW BEST:: SOT 20846 SOS 12135 HAS SOPS 12135 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9874.135
AT ITER 8641 NEW BEST:: SOT 20810 SOS 12123 HAS SOPS 12123 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9867.123
AT ITER 8723 NEW BEST:: SOT 20814 SOS 12127 HAS SOPS 12127 HAS SOUS 9851 HAS SOUPS 9851 WITH SCORE 9863.127
AT ITER 8759 NEW BEST:: SOT 20814 SOS 12111 HAS SOPS 12111 HAS SOUS 9851 HAS SOUPS 9851 WITH SCORE 9863.111
AT ITER 8785 NEW BEST:: SOT 20813 SOS 12195 HAS SOPS 12195 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9862.195
AT ITER 8828 NEW BEST:: SOT 20808 SOS 12211 HAS SOPS 12211 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9857.211
AT ITER 8856 NEW BEST:: SOT 20808 SOS 12211 HAS SOPS 12211 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9856.211
AT ITER 8885 NEW BEST:: SOT 20808 SOS 12203 HAS SOPS 12203 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9856.203
AT ITER 8890 NEW BEST:: SOT 20805 SOS 12200 HAS SOPS 12200 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9853.2
AT ITER 8921 NEW BEST:: SOT 20803 SOS 12200 HAS SOPS 12200 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9852.2
AT ITER 9003 NEW BEST:: SOT 20801 SOS 12198 HAS SOPS 12198 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9850.198
AT ITER 9013 NEW BEST:: SOT 20800 SOS 12197 HAS SOPS 12197 HAS SOUS 9837 HAS SOUPS 9837 WITH SCORE 9849.197
AT ITER 9035 NEW BEST:: SOT 20794 SOS 12188 HAS SOPS 12188 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9844.188
AT ITER 9140 NEW BEST:: SOT 20791 SOS 12187 HAS SOPS 12187 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9843.187
AT ITER 9197 NEW BEST:: SOT 20761 SOS 12200 HAS SOPS 12200 HAS SOUS 9805 HAS SOUPS 9805 WITH SCORE 9817.2
AT ITER 9229 NEW BEST:: SOT 20748 SOS 12187 HAS SOPS 12187 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.187
AT ITER 9252 NEW BEST:: SOT 20748 SOS 12186 HAS SOPS 12186 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.186
AT ITER 9292 NEW BEST:: SOT 20748 SOS 12194 HAS SOPS 12194 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9812.194
AT ITER 9310 NEW BEST:: SOT 20747 SOS 12193 HAS SOPS 12193 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9811.193
AT ITER 9319 NEW BEST:: SOT 20747 SOS 12184 HAS SOPS 12184 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9808.184
AT ITER 9368 NEW BEST:: SOT 20747 SOS 12182 HAS SOPS 12182 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9808.182
AT ITER 9405 NEW BEST:: SOT 20747 SOS 12180 HAS SOPS 12180 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9807.18
AT ITER 9538 NEW BEST:: SOT 20741 SOS 12181 HAS SOPS 12181 HAS SOUS 9793 HAS SOUPS 9793 WITH SCORE 9805.181
AT ITER 9640 NEW BEST:: SOT 20741 SOS 12181 HAS SOPS 12181 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9802.181
AT ITER 9674 NEW BEST:: SOT 20742 SOS 12182 HAS SOPS 12182 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9801.182
AT ITER 9687 NEW BEST:: SOT 20742 SOS 12181 HAS SOPS 12181 HAS SOUS 9788 HAS SOUPS 9788 WITH SCORE 9800.181
AT ITER 9725 NEW BEST:: SOT 20737 SOS 12176 HAS SOPS 12176 HAS SOUS 9783 HAS SOUPS 9783 WITH SCORE 9795.176
AT ITER 9779 NEW BEST:: SOT 20736 SOS 12175 HAS SOPS 12175 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9794.175
AT ITER 9862 NEW BEST:: SOT 20730 SOS 12235 HAS SOPS 12235 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9788.235
AT ITER 9947 NEW BEST:: SOT 20727 SOS 12232 HAS SOPS 12232 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9785.232
AT ITER 9964 NEW BEST:: SOT 20727 SOS 12230 HAS SOPS 12230 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9785.23
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 203520 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121384 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="NQueens-PT-12"
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 NQueens-PT-12, 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 r267-smll-167863541300040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NQueens-PT-12.tgz
mv NQueens-PT-12 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 ;