About the Execution of Smart+red for NoC3x3-PT-8B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2631.004 | 3600000.00 | 3641746.00 | 8004.70 | [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-167863541700352.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 NoC3x3-PT-8B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541700352
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 09:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 09:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 09:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 10:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 10:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678868978586
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=NoC3x3-PT-8B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 08:29:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 08:29:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 08:29:42] [INFO ] Load time of PNML (sax parser for PT used): 946 ms
[2023-03-15 08:29:42] [INFO ] Transformed 9140 places.
[2023-03-15 08:29:43] [INFO ] Transformed 14577 transitions.
[2023-03-15 08:29:43] [INFO ] Found NUPN structural information;
[2023-03-15 08:29:43] [INFO ] Parsed PT model containing 9140 places and 14577 transitions and 30726 arcs in 1233 ms.
[2023-03-15 08:29:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 9140 places, 14577 transitions and 30726 arcs took 100 ms.
Total runtime 1398 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8B
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: 9140 places, 14577 transitions, 30726 arcs.
AT ITER 0 NEW BEST:: SOT 69147713 SOS 8174620 HAS SOPS 8174620 HAS SOUS 5957584 HAS SOUPS 5957584 WITH SCORE 5965758.62
AT ITER 19 NEW BEST:: SOT 69147713 SOS 8174408 HAS SOPS 8174408 HAS SOUS 5957584 HAS SOUPS 5957584 WITH SCORE 5965758.408
AT ITER 57 NEW BEST:: SOT 69130302 SOS 8208784 HAS SOPS 8208784 HAS SOUS 5942505 HAS SOUPS 5942505 WITH SCORE 5950713.784
AT ITER 88 NEW BEST:: SOT 69130139 SOS 8208458 HAS SOPS 8208458 HAS SOUS 5942157 HAS SOUPS 5942157 WITH SCORE 5950365.458
AT ITER 105 NEW BEST:: SOT 69129509 SOS 8207198 HAS SOPS 8207198 HAS SOUS 5941526 HAS SOUPS 5941526 WITH SCORE 5949733.198
AT ITER 106 NEW BEST:: SOT 69129509 SOS 8207118 HAS SOPS 8207118 HAS SOUS 5941526 HAS SOUPS 5941526 WITH SCORE 5949733.118
AT ITER 121 NEW BEST:: SOT 69128514 SOS 8205774 HAS SOPS 8205774 HAS SOUS 5940182 HAS SOUPS 5940182 WITH SCORE 5948387.774
AT ITER 163 NEW BEST:: SOT 69128163 SOS 8204721 HAS SOPS 8204721 HAS SOUS 5939831 HAS SOUPS 5939831 WITH SCORE 5948035.721
AT ITER 172 NEW BEST:: SOT 69127865 SOS 8204535 HAS SOPS 8204535 HAS SOUS 5939644 HAS SOUPS 5939644 WITH SCORE 5947848.535
AT ITER 178 NEW BEST:: SOT 69127108 SOS 8203865 HAS SOPS 8203865 HAS SOUS 5938962 HAS SOUPS 5938962 WITH SCORE 5947165.865
AT ITER 185 NEW BEST:: SOT 69125252 SOS 8201168 HAS SOPS 8201168 HAS SOUS 5936265 HAS SOUPS 5936265 WITH SCORE 5944466.168
AT ITER 200 NEW BEST:: SOT 69124840 SOS 8201748 HAS SOPS 8201748 HAS SOUS 5935828 HAS SOUPS 5935828 WITH SCORE 5944029.748
AT ITER 257 NEW BEST:: SOT 69122887 SOS 8201146 HAS SOPS 8201146 HAS SOUS 5934148 HAS SOUPS 5934148 WITH SCORE 5942349.146
AT ITER 273 NEW BEST:: SOT 69122554 SOS 8200480 HAS SOPS 8200480 HAS SOUS 5933815 HAS SOUPS 5933815 WITH SCORE 5942015.48
AT ITER 357 NEW BEST:: SOT 69122222 SOS 8199816 HAS SOPS 8199816 HAS SOUS 5933482 HAS SOUPS 5933482 WITH SCORE 5941681.816
AT ITER 376 NEW BEST:: SOT 69041606 SOS 8918592 HAS SOPS 8918592 HAS SOUS 5863965 HAS SOUPS 5863965 WITH SCORE 5872883.592
AT ITER 380 NEW BEST:: SOT 69041406 SOS 8918192 HAS SOPS 8918192 HAS SOUS 5863965 HAS SOUPS 5863965 WITH SCORE 5872883.192
AT ITER 392 NEW BEST:: SOT 69038748 SOS 8914032 HAS SOPS 8914032 HAS SOUS 5861126 HAS SOUPS 5861126 WITH SCORE 5870040.032
AT ITER 395 NEW BEST:: SOT 69038721 SOS 8913978 HAS SOPS 8913978 HAS SOUS 5861099 HAS SOUPS 5861099 WITH SCORE 5870012.978
AT ITER 416 NEW BEST:: SOT 69038580 SOS 8919565 HAS SOPS 8919565 HAS SOUS 5860855 HAS SOUPS 5860855 WITH SCORE 5869774.565
AT ITER 425 NEW BEST:: SOT 69038216 SOS 8918837 HAS SOPS 8918837 HAS SOUS 5860490 HAS SOUPS 5860490 WITH SCORE 5869408.837
AT ITER 438 NEW BEST:: SOT 69037948 SOS 8918841 HAS SOPS 8918841 HAS SOUS 5860215 HAS SOUPS 5860215 WITH SCORE 5869133.841
AT ITER 449 NEW BEST:: SOT 69037045 SOS 8918023 HAS SOPS 8918023 HAS SOUS 5859397 HAS SOUPS 5859397 WITH SCORE 5868315.023
AT ITER 454 NEW BEST:: SOT 69035697 SOS 8917387 HAS SOPS 8917387 HAS SOUS 5858077 HAS SOUPS 5858077 WITH SCORE 5866994.387
AT ITER 458 NEW BEST:: SOT 69035386 SOS 8916765 HAS SOPS 8916765 HAS SOUS 5857766 HAS SOUPS 5857766 WITH SCORE 5866682.765
AT ITER 481 NEW BEST:: SOT 69034827 SOS 8915446 HAS SOPS 8915446 HAS SOUS 5856755 HAS SOUPS 5856755 WITH SCORE 5865670.446
AT ITER 496 NEW BEST:: SOT 69033374 SOS 8914013 HAS SOPS 8914013 HAS SOUS 5855320 HAS SOUPS 5855320 WITH SCORE 5864234.013
AT ITER 508 NEW BEST:: SOT 69033346 SOS 8913957 HAS SOPS 8913957 HAS SOUS 5855278 HAS SOUPS 5855278 WITH SCORE 5864191.957
AT ITER 512 NEW BEST:: SOT 69032827 SOS 8913631 HAS SOPS 8913631 HAS SOUS 5854867 HAS SOUPS 5854867 WITH SCORE 5863780.631
AT ITER 513 NEW BEST:: SOT 69032117 SOS 8912106 HAS SOPS 8912106 HAS SOUS 5853342 HAS SOUPS 5853342 WITH SCORE 5862254.106
AT ITER 558 NEW BEST:: SOT 69031439 SOS 8911221 HAS SOPS 8911221 HAS SOUS 5852355 HAS SOUPS 5852355 WITH SCORE 5861266.221
AT ITER 602 NEW BEST:: SOT 69031439 SOS 8911221 HAS SOPS 8911221 HAS SOUS 5852354 HAS SOUPS 5852354 WITH SCORE 5861265.221
AT ITER 608 NEW BEST:: SOT 69031482 SOS 8909971 HAS SOPS 8909971 HAS SOUS 5852171 HAS SOUPS 5852171 WITH SCORE 5861080.971
AT ITER 610 NEW BEST:: SOT 69031174 SOS 8909355 HAS SOPS 8909355 HAS SOUS 5851863 HAS SOUPS 5851863 WITH SCORE 5860772.355
AT ITER 612 NEW BEST:: SOT 69029921 SOS 8907929 HAS SOPS 8907929 HAS SOUS 5850324 HAS SOUPS 5850324 WITH SCORE 5859231.929
AT ITER 624 NEW BEST:: SOT 69029921 SOS 8907673 HAS SOPS 8907673 HAS SOUS 5850324 HAS SOUPS 5850324 WITH SCORE 5859231.673
AT ITER 634 NEW BEST:: SOT 69029921 SOS 8907673 HAS SOPS 8907673 HAS SOUS 5850321 HAS SOUPS 5850321 WITH SCORE 5859228.673
AT ITER 638 NEW BEST:: SOT 69029558 SOS 8906947 HAS SOPS 8906947 HAS SOUS 5849595 HAS SOUPS 5849595 WITH SCORE 5858501.947
AT ITER 717 NEW BEST:: SOT 69028354 SOS 8905508 HAS SOPS 8905508 HAS SOUS 5848105 HAS SOUPS 5848105 WITH SCORE 5857010.508
AT ITER 718 NEW BEST:: SOT 69012322 SOS 9975944 HAS SOPS 9975944 HAS SOUS 5846020 HAS SOUPS 5846020 WITH SCORE 5855995.944
AT ITER 794 NEW BEST:: SOT 69012548 SOS 9974281 HAS SOPS 9974281 HAS SOUS 5845767 HAS SOUPS 5845767 WITH SCORE 5855741.281
AT ITER 833 NEW BEST:: SOT 69011028 SOS 9972381 HAS SOPS 9972381 HAS SOUS 5843867 HAS SOUPS 5843867 WITH SCORE 5853839.381
AT ITER 834 NEW BEST:: SOT 69010036 SOS 9970893 HAS SOPS 9970893 HAS SOUS 5843363 HAS SOUPS 5843363 WITH SCORE 5853333.893
AT ITER 847 NEW BEST:: SOT 69009155 SOS 9971618 HAS SOPS 9971618 HAS SOUS 5842096 HAS SOUPS 5842096 WITH SCORE 5852067.618
AT ITER 901 NEW BEST:: SOT 69008870 SOS 9971048 HAS SOPS 9971048 HAS SOUS 5841811 HAS SOUPS 5841811 WITH SCORE 5851782.048
AT ITER 905 NEW BEST:: SOT 69008159 SOS 9969626 HAS SOPS 9969626 HAS SOUS 5841524 HAS SOUPS 5841524 WITH SCORE 5851493.626
AT ITER 942 NEW BEST:: SOT 69007361 SOS 9969505 HAS SOPS 9969505 HAS SOUS 5840969 HAS SOUPS 5840969 WITH SCORE 5850938.505
AT ITER 968 NEW BEST:: SOT 69006825 SOS 9968433 HAS SOPS 9968433 HAS SOUS 5840432 HAS SOUPS 5840432 WITH SCORE 5850400.433
AT ITER 970 NEW BEST:: SOT 69006825 SOS 9968234 HAS SOPS 9968234 HAS SOUS 5840432 HAS SOUPS 5840432 WITH SCORE 5850400.234
AT ITER 984 NEW BEST:: SOT 69006325 SOS 9968673 HAS SOPS 9968673 HAS SOUS 5840052 HAS SOUPS 5840052 WITH SCORE 5850020.673
AT ITER 990 NEW BEST:: SOT 69005769 SOS 9967561 HAS SOPS 9967561 HAS SOUS 5839496 HAS SOUPS 5839496 WITH SCORE 5849463.561
AT ITER 1057 NEW BEST:: SOT 69005439 SOS 9966901 HAS SOPS 9966901 HAS SOUS 5839166 HAS SOUPS 5839166 WITH SCORE 5849132.901
AT ITER 1080 NEW BEST:: SOT 69004838 SOS 9966653 HAS SOPS 9966653 HAS SOUS 5838492 HAS SOUPS 5838492 WITH SCORE 5848458.653
AT ITER 1083 NEW BEST:: SOT 69004422 SOS 9964807 HAS SOPS 9964807 HAS SOUS 5838076 HAS SOUPS 5838076 WITH SCORE 5848040.807
AT ITER 1085 NEW BEST:: SOT 69004181 SOS 9964325 HAS SOPS 9964325 HAS SOUS 5837397 HAS SOUPS 5837397 WITH SCORE 5847361.325
AT ITER 1087 NEW BEST:: SOT 69002885 SOS 9962487 HAS SOPS 9962487 HAS SOUS 5835559 HAS SOUPS 5835559 WITH SCORE 5845521.487
AT ITER 1098 NEW BEST:: SOT 69002384 SOS 9962990 HAS SOPS 9962990 HAS SOUS 5834997 HAS SOUPS 5834997 WITH SCORE 5844959.99
AT ITER 1148 NEW BEST:: SOT 69001897 SOS 9959794 HAS SOPS 9959794 HAS SOUS 5833392 HAS SOUPS 5833392 WITH SCORE 5843351.794
AT ITER 1164 NEW BEST:: SOT 69001497 SOS 9956994 HAS SOPS 9956994 HAS SOUS 5832592 HAS SOUPS 5832592 WITH SCORE 5842548.994
AT ITER 1178 NEW BEST:: SOT 69000145 SOS 9956043 HAS SOPS 9956043 HAS SOUS 5831734 HAS SOUPS 5831734 WITH SCORE 5841690.043
AT ITER 1236 NEW BEST:: SOT 68999893 SOS 9955539 HAS SOPS 9955539 HAS SOUS 5831482 HAS SOUPS 5831482 WITH SCORE 5841437.539
AT ITER 1255 NEW BEST:: SOT 68999438 SOS 9955836 HAS SOPS 9955836 HAS SOUS 5831249 HAS SOUPS 5831249 WITH SCORE 5841204.836
AT ITER 1263 NEW BEST:: SOT 68998894 SOS 9954748 HAS SOPS 9954748 HAS SOUS 5830704 HAS SOUPS 5830704 WITH SCORE 5840658.748
AT ITER 1324 NEW BEST:: SOT 68998432 SOS 9953824 HAS SOPS 9953824 HAS SOUS 5829780 HAS SOUPS 5829780 WITH SCORE 5839733.824
AT ITER 1339 NEW BEST:: SOT 68997550 SOS 9953195 HAS SOPS 9953195 HAS SOUS 5828924 HAS SOUPS 5828924 WITH SCORE 5838877.195
AT ITER 1345 NEW BEST:: SOT 68997050 SOS 9951195 HAS SOPS 9951195 HAS SOUS 5828516 HAS SOUPS 5828516 WITH SCORE 5838467.195
AT ITER 1373 NEW BEST:: SOT 68996597 SOS 9950831 HAS SOPS 9950831 HAS SOUS 5828151 HAS SOUPS 5828151 WITH SCORE 5838101.831
AT ITER 1378 NEW BEST:: SOT 68995944 SOS 9949525 HAS SOPS 9949525 HAS SOUS 5827851 HAS SOUPS 5827851 WITH SCORE 5837800.525
AT ITER 1380 NEW BEST:: SOT 68995944 SOS 9949466 HAS SOPS 9949466 HAS SOUS 5827850 HAS SOUPS 5827850 WITH SCORE 5837799.466
AT ITER 1398 NEW BEST:: SOT 68995944 SOS 9948702 HAS SOPS 9948702 HAS SOUS 5827849 HAS SOUPS 5827849 WITH SCORE 5837797.702
AT ITER 1400 NEW BEST:: SOT 68995632 SOS 9947766 HAS SOPS 9947766 HAS SOUS 5827225 HAS SOUPS 5827225 WITH SCORE 5837172.766
AT ITER 1423 NEW BEST:: SOT 68995446 SOS 9947618 HAS SOPS 9947618 HAS SOUS 5827038 HAS SOUPS 5827038 WITH SCORE 5836985.618
AT ITER 1445 NEW BEST:: SOT 68992635 SOS 9944106 HAS SOPS 9944106 HAS SOUS 5823251 HAS SOUPS 5823251 WITH SCORE 5833195.106
AT ITER 1451 NEW BEST:: SOT 68992281 SOS 9943398 HAS SOPS 9943398 HAS SOUS 5822897 HAS SOUPS 5822897 WITH SCORE 5832840.398
AT ITER 1462 NEW BEST:: SOT 68991850 SOS 9943182 HAS SOPS 9943182 HAS SOUS 5822417 HAS SOUPS 5822417 WITH SCORE 5832360.182
AT ITER 1498 NEW BEST:: SOT 68990830 SOS 9942168 HAS SOPS 9942168 HAS SOUS 5821403 HAS SOUPS 5821403 WITH SCORE 5831345.168
AT ITER 1513 NEW BEST:: SOT 68989479 SOS 9940303 HAS SOPS 9940303 HAS SOUS 5819215 HAS SOUPS 5819215 WITH SCORE 5829155.303
AT ITER 1533 NEW BEST:: SOT 68987461 SOS 9944265 HAS SOPS 9944265 HAS SOUS 5817859 HAS SOUPS 5817859 WITH SCORE 5827803.265
AT ITER 1555 NEW BEST:: SOT 68985884 SOS 9941968 HAS SOPS 9941968 HAS SOUS 5815444 HAS SOUPS 5815444 WITH SCORE 5825385.968
AT ITER 1567 NEW BEST:: SOT 68985493 SOS 9941978 HAS SOPS 9941978 HAS SOUS 5814968 HAS SOUPS 5814968 WITH SCORE 5824909.978
AT ITER 1569 NEW BEST:: SOT 68985219 SOS 9942620 HAS SOPS 9942620 HAS SOUS 5814492 HAS SOUPS 5814492 WITH SCORE 5824434.62
AT ITER 1587 NEW BEST:: SOT 68985093 SOS 9942653 HAS SOPS 9942653 HAS SOUS 5814396 HAS SOUPS 5814396 WITH SCORE 5824338.653
AT ITER 1603 NEW BEST:: SOT 68985093 SOS 9941176 HAS SOPS 9941176 HAS SOUS 5814185 HAS SOUPS 5814185 WITH SCORE 5824126.176
AT ITER 1606 NEW BEST:: SOT 68904458 SOS 9928229 HAS SOPS 9928229 HAS SOUS 5733708 HAS SOUPS 5733708 WITH SCORE 5743636.229
AT ITER 1610 NEW BEST:: SOT 68903023 SOS 9928137 HAS SOPS 9928137 HAS SOUS 5731892 HAS SOUPS 5731892 WITH SCORE 5741820.137
AT ITER 1616 NEW BEST:: SOT 68902749 SOS 9927589 HAS SOPS 9927589 HAS SOUS 5731618 HAS SOUPS 5731618 WITH SCORE 5741545.589
AT ITER 1639 NEW BEST:: SOT 68902555 SOS 9928076 HAS SOPS 9928076 HAS SOUS 5731554 HAS SOUPS 5731554 WITH SCORE 5741482.076
AT ITER 1652 NEW BEST:: SOT 68902347 SOS 9927452 HAS SOPS 9927452 HAS SOUS 5731138 HAS SOUPS 5731138 WITH SCORE 5741065.452
AT ITER 1685 NEW BEST:: SOT 68902258 SOS 9927274 HAS SOPS 9927274 HAS SOUS 5731049 HAS SOUPS 5731049 WITH SCORE 5740976.274
AT ITER 1687 NEW BEST:: SOT 68863461 SOS 9892600 HAS SOPS 9892600 HAS SOUS 5692541 HAS SOUPS 5692541 WITH SCORE 5702433.6
AT ITER 1688 NEW BEST:: SOT 68862923 SOS 9891524 HAS SOPS 9891524 HAS SOUS 5692140 HAS SOUPS 5692140 WITH SCORE 5702031.524
AT ITER 1705 NEW BEST:: SOT 68862856 SOS 9891390 HAS SOPS 9891390 HAS SOUS 5691884 HAS SOUPS 5691884 WITH SCORE 5701775.39
AT ITER 1714 NEW BEST:: SOT 68862856 SOS 9891379 HAS SOPS 9891379 HAS SOUS 5691884 HAS SOUPS 5691884 WITH SCORE 5701775.379
AT ITER 1729 NEW BEST:: SOT 68862150 SOS 9890717 HAS SOPS 9890717 HAS SOUS 5691220 HAS SOUPS 5691220 WITH SCORE 5701110.717
AT ITER 1773 NEW BEST:: SOT 68860205 SOS 9888336 HAS SOPS 9888336 HAS SOUS 5688772 HAS SOUPS 5688772 WITH SCORE 5698660.336
AT ITER 1819 NEW BEST:: SOT 68859718 SOS 9887362 HAS SOPS 9887362 HAS SOUS 5688284 HAS SOUPS 5688284 WITH SCORE 5698171.362
AT ITER 1836 NEW BEST:: SOT 68859564 SOS 9887054 HAS SOPS 9887054 HAS SOUS 5688129 HAS SOUPS 5688129 WITH SCORE 5698016.054
AT ITER 1853 NEW BEST:: SOT 68859300 SOS 9886526 HAS SOPS 9886526 HAS SOUS 5687865 HAS SOUPS 5687865 WITH SCORE 5697751.526
AT ITER 1905 NEW BEST:: SOT 68858964 SOS 9885854 HAS SOPS 9885854 HAS SOUS 5687528 HAS SOUPS 5687528 WITH SCORE 5697413.854
AT ITER 1906 NEW BEST:: SOT 68857760 SOS 9884630 HAS SOPS 9884630 HAS SOUS 5685542 HAS SOUPS 5685542 WITH SCORE 5695426.63
AT ITER 1919 NEW BEST:: SOT 68857473 SOS 9884341 HAS SOPS 9884341 HAS SOUS 5685541 HAS SOUPS 5685541 WITH SCORE 5695425.341
AT ITER 1958 NEW BEST:: SOT 68856862 SOS 9883119 HAS SOPS 9883119 HAS SOUS 5684930 HAS SOUPS 5684930 WITH SCORE 5694813.119
AT ITER 1976 NEW BEST:: SOT 68856074 SOS 9880102 HAS SOPS 9880102 HAS SOUS 5683278 HAS SOUPS 5683278 WITH SCORE 5693158.102
AT ITER 2007 NEW BEST:: SOT 68856055 SOS 9880064 HAS SOPS 9880064 HAS SOUS 5683258 HAS SOUPS 5683258 WITH SCORE 5693138.064
AT ITER 2029 NEW BEST:: SOT 68855340 SOS 9878634 HAS SOPS 9878634 HAS SOUS 5682542 HAS SOUPS 5682542 WITH SCORE 5692420.634
AT ITER 2055 NEW BEST:: SOT 68855340 SOS 9878478 HAS SOPS 9878478 HAS SOUS 5682386 HAS SOUPS 5682386 WITH SCORE 5692264.478
AT ITER 2073 NEW BEST:: SOT 68855038 SOS 9877874 HAS SOPS 9877874 HAS SOUS 5682084 HAS SOUPS 5682084 WITH SCORE 5691961.874
AT ITER 2106 NEW BEST:: SOT 68854711 SOS 9877220 HAS SOPS 9877220 HAS SOUS 5681757 HAS SOUPS 5681757 WITH SCORE 5691634.22
AT ITER 2154 NEW BEST:: SOT 68854213 SOS 9876224 HAS SOPS 9876224 HAS SOUS 5681259 HAS SOUPS 5681259 WITH SCORE 5691135.224
AT ITER 2160 NEW BEST:: SOT 68837097 SOS 10141000 HAS SOPS 10141000 HAS SOUS 5665030 HAS SOUPS 5665030 WITH SCORE 5675171.0
AT ITER 2168 NEW BEST:: SOT 68834839 SOS 10138222 HAS SOPS 10138222 HAS SOUS 5661969 HAS SOUPS 5661969 WITH SCORE 5672107.222
AT ITER 2195 NEW BEST:: SOT 68834839 SOS 10138106 HAS SOPS 10138106 HAS SOUS 5661969 HAS SOUPS 5661969 WITH SCORE 5672107.106
AT ITER 2247 NEW BEST:: SOT 68834516 SOS 10137888 HAS SOPS 10137888 HAS SOUS 5661710 HAS SOUPS 5661710 WITH SCORE 5671847.888
AT ITER 2249 NEW BEST:: SOT 68834182 SOS 10137220 HAS SOPS 10137220 HAS SOUS 5661376 HAS SOUPS 5661376 WITH SCORE 5671513.22
AT ITER 2256 NEW BEST:: SOT 68799514 SOS 10134484 HAS SOPS 10134484 HAS SOUS 5627000 HAS SOUPS 5627000 WITH SCORE 5637134.484
AT ITER 2282 NEW BEST:: SOT 68671135 SOS 10681514 HAS SOPS 10681514 HAS SOUS 5508595 HAS SOUPS 5508595 WITH SCORE 5519276.514
AT ITER 2331 NEW BEST:: SOT 68670558 SOS 10680360 HAS SOPS 10680360 HAS SOUS 5506941 HAS SOUPS 5506941 WITH SCORE 5517621.36
AT ITER 2352 NEW BEST:: SOT 68670264 SOS 10679772 HAS SOPS 10679772 HAS SOUS 5506646 HAS SOUPS 5506646 WITH SCORE 5517325.772
AT ITER 2354 NEW BEST:: SOT 68670071 SOS 10679386 HAS SOPS 10679386 HAS SOUS 5506453 HAS SOUPS 5506453 WITH SCORE 5517132.386
AT ITER 2401 NEW BEST:: SOT 68669691 SOS 10680918 HAS SOPS 10680918 HAS SOUS 5506180 HAS SOUPS 5506180 WITH SCORE 5516860.918
AT ITER 2407 NEW BEST:: SOT 68668809 SOS 10679154 HAS SOPS 10679154 HAS SOUS 5505298 HAS SOUPS 5505298 WITH SCORE 5515977.154
AT ITER 2408 NEW BEST:: SOT 68668511 SOS 10678558 HAS SOPS 10678558 HAS SOUS 5505000 HAS SOUPS 5505000 WITH SCORE 5515678.558
AT ITER 2431 NEW BEST:: SOT 68668511 SOS 10678470 HAS SOPS 10678470 HAS SOUS 5505000 HAS SOUPS 5505000 WITH SCORE 5515678.47
AT ITER 2436 NEW BEST:: SOT 68668099 SOS 10677646 HAS SOPS 10677646 HAS SOUS 5504588 HAS SOUPS 5504588 WITH SCORE 5515265.646
AT ITER 2447 NEW BEST:: SOT 68667459 SOS 10676366 HAS SOPS 10676366 HAS SOUS 5503948 HAS SOUPS 5503948 WITH SCORE 5514624.366
AT ITER 2448 NEW BEST:: SOT 68666426 SOS 10674300 HAS SOPS 10674300 HAS SOUS 5503771 HAS SOUPS 5503771 WITH SCORE 5514445.3
AT ITER 2460 NEW BEST:: SOT 68666166 SOS 10674026 HAS SOPS 10674026 HAS SOUS 5503388 HAS SOUPS 5503388 WITH SCORE 5514062.026
AT ITER 2496 NEW BEST:: SOT 68665872 SOS 10672295 HAS SOPS 10672295 HAS SOUS 5503176 HAS SOUPS 5503176 WITH SCORE 5513848.295
AT ITER 2519 NEW BEST:: SOT 68665525 SOS 10671601 HAS SOPS 10671601 HAS SOUS 5502829 HAS SOUPS 5502829 WITH SCORE 5513500.601
AT ITER 2529 NEW BEST:: SOT 68665440 SOS 10672921 HAS SOPS 10672921 HAS SOUS 5502746 HAS SOUPS 5502746 WITH SCORE 5513418.921
AT ITER 2537 NEW BEST:: SOT 68665074 SOS 10672189 HAS SOPS 10672189 HAS SOUS 5502379 HAS SOUPS 5502379 WITH SCORE 5513051.189
AT ITER 2588 NEW BEST:: SOT 68664779 SOS 10672943 HAS SOPS 10672943 HAS SOUS 5502284 HAS SOUPS 5502284 WITH SCORE 5512956.943
AT ITER 2613 NEW BEST:: SOT 68645022 SOS 10778722 HAS SOPS 10778722 HAS SOUS 5485661 HAS SOUPS 5485661 WITH SCORE 5496439.722
AT ITER 2621 NEW BEST:: SOT 68643346 SOS 10777465 HAS SOPS 10777465 HAS SOUS 5483985 HAS SOUPS 5483985 WITH SCORE 5494762.465
AT ITER 2658 NEW BEST:: SOT 68642077 SOS 10780342 HAS SOPS 10780342 HAS SOUS 5482657 HAS SOUPS 5482657 WITH SCORE 5493437.342
AT ITER 2684 NEW BEST:: SOT 68641381 SOS 10778254 HAS SOPS 10778254 HAS SOUS 5481961 HAS SOUPS 5481961 WITH SCORE 5492739.254
AT ITER 2686 NEW BEST:: SOT 68641319 SOS 10778192 HAS SOPS 10778192 HAS SOUS 5481960 HAS SOUPS 5481960 WITH SCORE 5492738.192
AT ITER 2689 NEW BEST:: SOT 68641319 SOS 10778192 HAS SOPS 10778192 HAS SOUS 5481959 HAS SOUPS 5481959 WITH SCORE 5492737.192
AT ITER 2713 NEW BEST:: SOT 68641011 SOS 10777576 HAS SOPS 10777576 HAS SOUS 5481651 HAS SOUPS 5481651 WITH SCORE 5492428.576
AT ITER 2734 NEW BEST:: SOT 68641011 SOS 10776619 HAS SOPS 10776619 HAS SOUS 5481651 HAS SOUPS 5481651 WITH SCORE 5492427.619
AT ITER 2750 NEW BEST:: SOT 68640872 SOS 10776571 HAS SOPS 10776571 HAS SOUS 5481511 HAS SOUPS 5481511 WITH SCORE 5492287.571
AT ITER 2842 NEW BEST:: SOT 68641158 SOS 10773865 HAS SOPS 10773865 HAS SOUS 5481403 HAS SOUPS 5481403 WITH SCORE 5492176.865
AT ITER 2843 NEW BEST:: SOT 68639444 SOS 10771478 HAS SOPS 10771478 HAS SOUS 5478764 HAS SOUPS 5478764 WITH SCORE 5489535.478
AT ITER 2848 NEW BEST:: SOT 68636532 SOS 10769149 HAS SOPS 10769149 HAS SOUS 5474952 HAS SOUPS 5474952 WITH SCORE 5485721.149
AT ITER 2886 NEW BEST:: SOT 68636532 SOS 10769149 HAS SOPS 10769149 HAS SOUS 5474951 HAS SOUPS 5474951 WITH SCORE 5485720.149
AT ITER 2892 NEW BEST:: SOT 68636443 SOS 10768971 HAS SOPS 10768971 HAS SOUS 5474951 HAS SOUPS 5474951 WITH SCORE 5485719.971
AT ITER 2896 NEW BEST:: SOT 68635665 SOS 10768967 HAS SOPS 10768967 HAS SOUS 5474353 HAS SOUPS 5474353 WITH SCORE 5485121.967
AT ITER 2970 NEW BEST:: SOT 68635236 SOS 10768109 HAS SOPS 10768109 HAS SOUS 5473924 HAS SOUPS 5473924 WITH SCORE 5484692.109
AT ITER 3068 NEW BEST:: SOT 68634661 SOS 10766959 HAS SOPS 10766959 HAS SOUS 5473348 HAS SOUPS 5473348 WITH SCORE 5484114.959
AT ITER 3103 NEW BEST:: SOT 68634548 SOS 10766733 HAS SOPS 10766733 HAS SOUS 5473235 HAS SOUPS 5473235 WITH SCORE 5484001.733
AT ITER 3139 NEW BEST:: SOT 68634548 SOS 10765710 HAS SOPS 10765710 HAS SOUS 5473235 HAS SOUPS 5473235 WITH SCORE 5484000.71
AT ITER 3170 NEW BEST:: SOT 68634548 SOS 10765151 HAS SOPS 10765151 HAS SOUS 5473000 HAS SOUPS 5473000 WITH SCORE 5483765.151
AT ITER 3183 NEW BEST:: SOT 68634229 SOS 10764513 HAS SOPS 10764513 HAS SOUS 5472680 HAS SOUPS 5472680 WITH SCORE 5483444.513
AT ITER 3237 NEW BEST:: SOT 68633830 SOS 10763715 HAS SOPS 10763715 HAS SOUS 5472678 HAS SOUPS 5472678 WITH SCORE 5483441.715
AT ITER 3272 NEW BEST:: SOT 68633365 SOS 10761855 HAS SOPS 10761855 HAS SOUS 5472213 HAS SOUPS 5472213 WITH SCORE 5482974.855
AT ITER 3278 NEW BEST:: SOT 68618412 SOS 10747168 HAS SOPS 10747168 HAS SOUS 5457260 HAS SOUPS 5457260 WITH SCORE 5468007.168
AT ITER 3310 NEW BEST:: SOT 68617683 SOS 10745710 HAS SOPS 10745710 HAS SOUS 5457153 HAS SOUPS 5457153 WITH SCORE 5467898.71
AT ITER 3324 NEW BEST:: SOT 68617438 SOS 10745220 HAS SOPS 10745220 HAS SOUS 5457153 HAS SOUPS 5457153 WITH SCORE 5467898.22
AT ITER 3327 NEW BEST:: SOT 68617222 SOS 10744572 HAS SOPS 10744572 HAS SOUS 5456936 HAS SOUPS 5456936 WITH SCORE 5467680.572
AT ITER 3352 NEW BEST:: SOT 68616720 SOS 10743049 HAS SOPS 10743049 HAS SOUS 5456434 HAS SOUPS 5456434 WITH SCORE 5467177.049
AT ITER 3364 NEW BEST:: SOT 68615930 SOS 10742159 HAS SOPS 10742159 HAS SOUS 5454953 HAS SOUPS 5454953 WITH SCORE 5465695.159
AT ITER 3404 NEW BEST:: SOT 68615588 SOS 10741475 HAS SOPS 10741475 HAS SOUS 5454611 HAS SOUPS 5454611 WITH SCORE 5465352.475
AT ITER 3410 NEW BEST:: SOT 68615102 SOS 10740503 HAS SOPS 10740503 HAS SOUS 5454125 HAS SOUPS 5454125 WITH SCORE 5464865.503
AT ITER 3419 NEW BEST:: SOT 68555892 SOS 10764754 HAS SOPS 10764754 HAS SOUS 5398818 HAS SOUPS 5398818 WITH SCORE 5409582.754
AT ITER 3441 NEW BEST:: SOT 68555892 SOS 10763988 HAS SOPS 10763988 HAS SOUS 5398496 HAS SOUPS 5398496 WITH SCORE 5409259.988
AT ITER 3472 NEW BEST:: SOT 68555092 SOS 10547788 HAS SOPS 10547788 HAS SOUS 5397696 HAS SOUPS 5397696 WITH SCORE 5408243.788
AT ITER 3529 NEW BEST:: SOT 68554684 SOS 10546972 HAS SOPS 10546972 HAS SOUS 5397288 HAS SOUPS 5397288 WITH SCORE 5407834.972
AT ITER 3542 NEW BEST:: SOT 68554364 SOS 10546332 HAS SOPS 10546332 HAS SOUS 5396648 HAS SOUPS 5396648 WITH SCORE 5407194.332
AT ITER 3573 NEW BEST:: SOT 68512101 SOS 11385021 HAS SOPS 11385021 HAS SOUS 5365917 HAS SOUPS 5365917 WITH SCORE 5377302.021
AT ITER 3596 NEW BEST:: SOT 68511367 SOS 11382682 HAS SOPS 11382682 HAS SOUS 5365568 HAS SOUPS 5365568 WITH SCORE 5376950.682
AT ITER 3615 NEW BEST:: SOT 68510201 SOS 11382894 HAS SOPS 11382894 HAS SOUS 5365489 HAS SOUPS 5365489 WITH SCORE 5376871.894
AT ITER 3696 NEW BEST:: SOT 68509259 SOS 11381982 HAS SOPS 11381982 HAS SOUS 5364636 HAS SOUPS 5364636 WITH SCORE 5376017.982
AT ITER 3749 NEW BEST:: SOT 68508046 SOS 11380390 HAS SOPS 11380390 HAS SOUS 5362598 HAS SOUPS 5362598 WITH SCORE 5373978.39
AT ITER 3755 NEW BEST:: SOT 68507256 SOS 11378810 HAS SOPS 11378810 HAS SOUS 5361808 HAS SOUPS 5361808 WITH SCORE 5373186.81
AT ITER 3765 NEW BEST:: SOT 68505928 SOS 11377942 HAS SOPS 11377942 HAS SOUS 5359990 HAS SOUPS 5359990 WITH SCORE 5371367.942
AT ITER 3803 NEW BEST:: SOT 68505557 SOS 11378433 HAS SOPS 11378433 HAS SOUS 5359245 HAS SOUPS 5359245 WITH SCORE 5370623.433
AT ITER 3812 NEW BEST:: SOT 68502278 SOS 11375985 HAS SOPS 11375985 HAS SOUS 5355144 HAS SOUPS 5355144 WITH SCORE 5366519.985
AT ITER 3827 NEW BEST:: SOT 68501206 SOS 11374714 HAS SOPS 11374714 HAS SOUS 5353781 HAS SOUPS 5353781 WITH SCORE 5365155.714
AT ITER 3842 NEW BEST:: SOT 68501206 SOS 11374380 HAS SOPS 11374380 HAS SOUS 5353781 HAS SOUPS 5353781 WITH SCORE 5365155.38
AT ITER 3875 NEW BEST:: SOT 68500545 SOS 11373592 HAS SOPS 11373592 HAS SOUS 5352892 HAS SOUPS 5352892 WITH SCORE 5364265.592
AT ITER 3884 NEW BEST:: SOT 68500218 SOS 11372938 HAS SOPS 11372938 HAS SOUS 5352564 HAS SOUPS 5352564 WITH SCORE 5363936.938
AT ITER 3909 NEW BEST:: SOT 68499728 SOS 11371958 HAS SOPS 11371958 HAS SOUS 5352564 HAS SOUPS 5352564 WITH SCORE 5363935.958
AT ITER 3956 NEW BEST:: SOT 68499728 SOS 11371958 HAS SOPS 11371958 HAS SOUS 5352563 HAS SOUPS 5352563 WITH SCORE 5363934.958
AT ITER 3982 NEW BEST:: SOT 68499704 SOS 11371886 HAS SOPS 11371886 HAS SOUS 5352531 HAS SOUPS 5352531 WITH SCORE 5363902.886
AT ITER 4001 NEW BEST:: SOT 68499432 SOS 11371417 HAS SOPS 11371417 HAS SOUS 5352170 HAS SOUPS 5352170 WITH SCORE 5363541.417
AT ITER 4034 NEW BEST:: SOT 68498935 SOS 11371052 HAS SOPS 11371052 HAS SOUS 5351398 HAS SOUPS 5351398 WITH SCORE 5362769.052
AT ITER 4043 NEW BEST:: SOT 68498633 SOS 11370448 HAS SOPS 11370448 HAS SOUS 5351398 HAS SOUPS 5351398 WITH SCORE 5362768.448
AT ITER 4047 NEW BEST:: SOT 68498633 SOS 11370367 HAS SOPS 11370367 HAS SOUS 5351398 HAS SOUPS 5351398 WITH SCORE 5362768.367
AT ITER 4052 NEW BEST:: SOT 68498654 SOS 11370409 HAS SOPS 11370409 HAS SOUS 5350908 HAS SOUPS 5350908 WITH SCORE 5362278.409
AT ITER 4063 NEW BEST:: SOT 68497757 SOS 11371569 HAS SOPS 11371569 HAS SOUS 5350588 HAS SOUPS 5350588 WITH SCORE 5361959.569
AT ITER 4117 NEW BEST:: SOT 68497389 SOS 11370492 HAS SOPS 11370492 HAS SOUS 5350345 HAS SOUPS 5350345 WITH SCORE 5361715.492
AT ITER 4143 NEW BEST:: SOT 68485207 SOS 11746115 HAS SOPS 11746115 HAS SOUS 5343343 HAS SOUPS 5343343 WITH SCORE 5355089.115
AT ITER 4181 NEW BEST:: SOT 68484763 SOS 11745227 HAS SOPS 11745227 HAS SOUS 5342719 HAS SOUPS 5342719 WITH SCORE 5354464.227
AT ITER 4229 NEW BEST:: SOT 68484398 SOS 11744289 HAS SOPS 11744289 HAS SOUS 5342354 HAS SOUPS 5342354 WITH SCORE 5354098.289
AT ITER 4240 NEW BEST:: SOT 68481670 SOS 11749053 HAS SOPS 11749053 HAS SOUS 5340875 HAS SOUPS 5340875 WITH SCORE 5352624.053
AT ITER 4267 NEW BEST:: SOT 68480014 SOS 11747022 HAS SOPS 11747022 HAS SOUS 5338792 HAS SOUPS 5338792 WITH SCORE 5350539.022
AT ITER 4287 NEW BEST:: SOT 68478466 SOS 11745015 HAS SOPS 11745015 HAS SOUS 5337620 HAS SOUPS 5337620 WITH SCORE 5349365.015
AT ITER 4294 NEW BEST:: SOT 68478465 SOS 11745013 HAS SOPS 11745013 HAS SOUS 5337618 HAS SOUPS 5337618 WITH SCORE 5349363.013
AT ITER 4295 NEW BEST:: SOT 68478311 SOS 11042153 HAS SOPS 11042153 HAS SOUS 5337464 HAS SOUPS 5337464 WITH SCORE 5348506.153
AT ITER 4319 NEW BEST:: SOT 68461721 SOS 11289197 HAS SOPS 11289197 HAS SOUS 5329231 HAS SOUPS 5329231 WITH SCORE 5340520.197
AT ITER 4330 NEW BEST:: SOT 68461540 SOS 11288954 HAS SOPS 11288954 HAS SOUS 5328947 HAS SOUPS 5328947 WITH SCORE 5340235.954
AT ITER 4361 NEW BEST:: SOT 68460710 SOS 11287294 HAS SOPS 11287294 HAS SOUS 5328116 HAS SOUPS 5328116 WITH SCORE 5339403.294
AT ITER 4374 NEW BEST:: SOT 68460645 SOS 11287079 HAS SOPS 11287079 HAS SOUS 5327541 HAS SOUPS 5327541 WITH SCORE 5338828.079
AT ITER 4392 NEW BEST:: SOT 68460645 SOS 11286756 HAS SOPS 11286756 HAS SOUS 5327541 HAS SOUPS 5327541 WITH SCORE 5338827.756
AT ITER 4394 NEW BEST:: SOT 68460790 SOS 11287046 HAS SOPS 11287046 HAS SOUS 5327506 HAS SOUPS 5327506 WITH SCORE 5338793.046
AT ITER 4408 NEW BEST:: SOT 68459734 SOS 11281766 HAS SOPS 11281766 HAS SOUS 5327055 HAS SOUPS 5327055 WITH SCORE 5338336.766
AT ITER 4428 NEW BEST:: SOT 68420333 SOS 11665612 HAS SOPS 11665612 HAS SOUS 5292548 HAS SOUPS 5292548 WITH SCORE 5304213.612
AT ITER 4429 NEW BEST:: SOT 68420341 SOS 11665325 HAS SOPS 11665325 HAS SOUS 5292253 HAS SOUPS 5292253 WITH SCORE 5303918.325
AT ITER 4436 NEW BEST:: SOT 68419873 SOS 11663453 HAS SOPS 11663453 HAS SOUS 5291825 HAS SOUPS 5291825 WITH SCORE 5303488.453
AT ITER 4450 NEW BEST:: SOT 68419607 SOS 11663094 HAS SOPS 11663094 HAS SOUS 5291466 HAS SOUPS 5291466 WITH SCORE 5303129.094
AT ITER 4454 NEW BEST:: SOT 68418121 SOS 11661112 HAS SOPS 11661112 HAS SOUS 5289979 HAS SOUPS 5289979 WITH SCORE 5301640.112
AT ITER 4458 NEW BEST:: SOT 68416945 SOS 11659944 HAS SOPS 11659944 HAS SOUS 5288811 HAS SOUPS 5288811 WITH SCORE 5300470.944
AT ITER 4492 NEW BEST:: SOT 68416354 SOS 11655879 HAS SOPS 11655879 HAS SOUS 5287629 HAS SOUPS 5287629 WITH SCORE 5299284.879
AT ITER 4493 NEW BEST:: SOT 68383868 SOS 12145538 HAS SOPS 12145538 HAS SOUS 5262456 HAS SOUPS 5262456 WITH SCORE 5274601.538
AT ITER 4494 NEW BEST:: SOT 68383279 SOS 12144949 HAS SOPS 12144949 HAS SOUS 5261866 HAS SOUPS 5261866 WITH SCORE 5274010.949
AT ITER 4521 NEW BEST:: SOT 68382887 SOS 12143752 HAS SOPS 12143752 HAS SOUS 5261473 HAS SOUPS 5261473 WITH SCORE 5273616.752
AT ITER 4525 NEW BEST:: SOT 68381276 SOS 12142075 HAS SOPS 12142075 HAS SOUS 5259439 HAS SOUPS 5259439 WITH SCORE 5271581.075
AT ITER 4527 NEW BEST:: SOT 68381233 SOS 12141989 HAS SOPS 12141989 HAS SOUS 5259396 HAS SOUPS 5259396 WITH SCORE 5271537.989
AT ITER 4541 NEW BEST:: SOT 68378348 SOS 12138629 HAS SOPS 12138629 HAS SOUS 5256029 HAS SOUPS 5256029 WITH SCORE 5268167.629
AT ITER 4546 NEW BEST:: SOT 68378106 SOS 12138145 HAS SOPS 12138145 HAS SOUS 5255786 HAS SOUPS 5255786 WITH SCORE 5267924.145
AT ITER 4549 NEW BEST:: SOT 68378106 SOS 12137932 HAS SOPS 12137932 HAS SOUS 5255786 HAS SOUPS 5255786 WITH SCORE 5267923.932
AT ITER 4578 NEW BEST:: SOT 68378010 SOS 12137836 HAS SOPS 12137836 HAS SOUS 5255689 HAS SOUPS 5255689 WITH SCORE 5267826.836
AT ITER 4583 NEW BEST:: SOT 68377408 SOS 12136632 HAS SOPS 12136632 HAS SOUS 5255086 HAS SOUPS 5255086 WITH SCORE 5267222.632
AT ITER 4594 NEW BEST:: SOT 68376694 SOS 12135204 HAS SOPS 12135204 HAS SOUS 5254372 HAS SOUPS 5254372 WITH SCORE 5266507.204
AT ITER 4611 NEW BEST:: SOT 68377036 SOS 11471301 HAS SOPS 11471301 HAS SOUS 5254714 HAS SOUPS 5254714 WITH SCORE 5266185.301
AT ITER 4634 NEW BEST:: SOT 68375693 SOS 11465929 HAS SOPS 11465929 HAS SOUS 5253371 HAS SOUPS 5253371 WITH SCORE 5264836.929
AT ITER 4648 NEW BEST:: SOT 68375693 SOS 11465121 HAS SOPS 11465121 HAS SOUS 5252967 HAS SOUPS 5252967 WITH SCORE 5264432.121
AT ITER 4658 NEW BEST:: SOT 68373696 SOS 11463287 HAS SOPS 11463287 HAS SOUS 5251367 HAS SOUPS 5251367 WITH SCORE 5262830.287
AT ITER 4661 NEW BEST:: SOT 68372443 SOS 11461741 HAS SOPS 11461741 HAS SOUS 5250114 HAS SOUPS 5250114 WITH SCORE 5261575.741
AT ITER 4664 NEW BEST:: SOT 68371915 SOS 11460685 HAS SOPS 11460685 HAS SOUS 5249586 HAS SOUPS 5249586 WITH SCORE 5261046.685
AT ITER 4671 NEW BEST:: SOT 68370820 SOS 11460135 HAS SOPS 11460135 HAS SOUS 5248947 HAS SOUPS 5248947 WITH SCORE 5260407.135
AT ITER 4683 NEW BEST:: SOT 68370112 SOS 11459250 HAS SOPS 11459250 HAS SOUS 5248239 HAS SOUPS 5248239 WITH SCORE 5259698.25
AT ITER 4687 NEW BEST:: SOT 68367433 SOS 11456804 HAS SOPS 11456804 HAS SOUS 5245087 HAS SOUPS 5245087 WITH SCORE 5256543.804
AT ITER 4729 NEW BEST:: SOT 68366527 SOS 11452878 HAS SOPS 11452878 HAS SOUS 5244251 HAS SOUPS 5244251 WITH SCORE 5255703.878
AT ITER 4736 NEW BEST:: SOT 68366527 SOS 11451016 HAS SOPS 11451016 HAS SOUS 5244251 HAS SOUPS 5244251 WITH SCORE 5255702.016
AT ITER 4738 NEW BEST:: SOT 68366527 SOS 11450899 HAS SOPS 11450899 HAS SOUS 5244251 HAS SOUPS 5244251 WITH SCORE 5255701.899
AT ITER 4755 NEW BEST:: SOT 68365048 SOS 11449139 HAS SOPS 11449139 HAS SOUS 5243058 HAS SOUPS 5243058 WITH SCORE 5254507.139
AT ITER 4760 NEW BEST:: SOT 68365054 SOS 11449151 HAS SOPS 11449151 HAS SOUS 5243042 HAS SOUPS 5243042 WITH SCORE 5254491.151
AT ITER 4766 NEW BEST:: SOT 68364585 SOS 11448213 HAS SOPS 11448213 HAS SOUS 5242991 HAS SOUPS 5242991 WITH SCORE 5254439.213
AT ITER 4837 NEW BEST:: SOT 68364044 SOS 11447131 HAS SOPS 11447131 HAS SOUS 5242907 HAS SOUPS 5242907 WITH SCORE 5254354.131
AT ITER 4865 NEW BEST:: SOT 68363407 SOS 11446488 HAS SOPS 11446488 HAS SOUS 5241909 HAS SOUPS 5241909 WITH SCORE 5253355.488
AT ITER 4872 NEW BEST:: SOT 68362792 SOS 11445258 HAS SOPS 11445258 HAS SOUS 5241680 HAS SOUPS 5241680 WITH SCORE 5253125.258
AT ITER 4883 NEW BEST:: SOT 68360765 SOS 11443308 HAS SOPS 11443308 HAS SOUS 5239193 HAS SOUPS 5239193 WITH SCORE 5250636.308
AT ITER 4895 NEW BEST:: SOT 68360116 SOS 11442423 HAS SOPS 11442423 HAS SOUS 5238615 HAS SOUPS 5238615 WITH SCORE 5250057.423
AT ITER 4913 NEW BEST:: SOT 68359412 SOS 11441015 HAS SOPS 11441015 HAS SOUS 5237494 HAS SOUPS 5237494 WITH SCORE 5248935.015
AT ITER 4943 NEW BEST:: SOT 68358984 SOS 11441231 HAS SOPS 11441231 HAS SOUS 5237068 HAS SOUPS 5237068 WITH SCORE 5248509.231
AT ITER 4949 NEW BEST:: SOT 68358286 SOS 11439835 HAS SOPS 11439835 HAS SOUS 5236370 HAS SOUPS 5236370 WITH SCORE 5247809.835
AT ITER 4950 NEW BEST:: SOT 68358045 SOS 11438450 HAS SOPS 11438450 HAS SOUS 5236129 HAS SOUPS 5236129 WITH SCORE 5247567.45
AT ITER 4970 NEW BEST:: SOT 68356900 SOS 11445680 HAS SOPS 11445680 HAS SOUS 5235693 HAS SOUPS 5235693 WITH SCORE 5247138.68
AT ITER 4980 NEW BEST:: SOT 68356428 SOS 11444736 HAS SOPS 11444736 HAS SOUS 5235221 HAS SOUPS 5235221 WITH SCORE 5246665.736
AT ITER 4999 NEW BEST:: SOT 68354516 SOS 11440912 HAS SOPS 11440912 HAS SOUS 5233903 HAS SOUPS 5233903 WITH SCORE 5245343.912
AT ITER 5022 NEW BEST:: SOT 68354516 SOS 11440098 HAS SOPS 11440098 HAS SOUS 5233903 HAS SOUPS 5233903 WITH SCORE 5245343.098
AT ITER 5029 NEW BEST:: SOT 68354516 SOS 11439186 HAS SOPS 11439186 HAS SOUS 5233447 HAS SOUPS 5233447 WITH SCORE 5244886.186
AT ITER 5031 NEW BEST:: SOT 68352635 SOS 11435424 HAS SOPS 11435424 HAS SOUS 5231907 HAS SOUPS 5231907 WITH SCORE 5243342.424
AT ITER 5052 NEW BEST:: SOT 68352287 SOS 11434206 HAS SOPS 11434206 HAS SOUS 5231385 HAS SOUPS 5231385 WITH SCORE 5242819.206
AT ITER 5061 NEW BEST:: SOT 68352107 SOS 11434126 HAS SOPS 11434126 HAS SOUS 5231222 HAS SOUPS 5231222 WITH SCORE 5242656.126
AT ITER 5074 NEW BEST:: SOT 68352107 SOS 11433301 HAS SOPS 11433301 HAS SOUS 5231222 HAS SOUPS 5231222 WITH SCORE 5242655.301
AT ITER 5082 NEW BEST:: SOT 68351339 SOS 11435685 HAS SOPS 11435685 HAS SOUS 5229670 HAS SOUPS 5229670 WITH SCORE 5241105.685
AT ITER 5086 NEW BEST:: SOT 68350880 SOS 11434767 HAS SOPS 11434767 HAS SOUS 5229210 HAS SOUPS 5229210 WITH SCORE 5240644.767
AT ITER 5098 NEW BEST:: SOT 68350796 SOS 11434739 HAS SOPS 11434739 HAS SOUS 5229126 HAS SOUPS 5229126 WITH SCORE 5240560.739
AT ITER 5113 NEW BEST:: SOT 68350796 SOS 11434575 HAS SOPS 11434575 HAS SOUS 5229126 HAS SOUPS 5229126 WITH SCORE 5240560.575
AT ITER 5118 NEW BEST:: SOT 68350437 SOS 11434063 HAS SOPS 11434063 HAS SOUS 5228581 HAS SOUPS 5228581 WITH SCORE 5240015.063
AT ITER 5124 NEW BEST:: SOT 68350387 SOS 11432886 HAS SOPS 11432886 HAS SOUS 5228531 HAS SOUPS 5228531 WITH SCORE 5239963.886
AT ITER 5144 NEW BEST:: SOT 68349927 SOS 11431966 HAS SOPS 11431966 HAS SOUS 5228070 HAS SOUPS 5228070 WITH SCORE 5239501.966
AT ITER 5146 NEW BEST:: SOT 68347255 SOS 11431652 HAS SOPS 11431652 HAS SOUS 5224392 HAS SOUPS 5224392 WITH SCORE 5235823.652
AT ITER 5150 NEW BEST:: SOT 68343106 SOS 11428179 HAS SOPS 11428179 HAS SOUS 5219764 HAS SOUPS 5219764 WITH SCORE 5231192.179
AT ITER 5164 NEW BEST:: SOT 68342464 SOS 11428686 HAS SOPS 11428686 HAS SOUS 5219673 HAS SOUPS 5219673 WITH SCORE 5231101.686
AT ITER 5170 NEW BEST:: SOT 68342280 SOS 11428318 HAS SOPS 11428318 HAS SOUS 5219488 HAS SOUPS 5219488 WITH SCORE 5230916.318
AT ITER 5171 NEW BEST:: SOT 68341541 SOS 11427306 HAS SOPS 11427306 HAS SOUS 5218942 HAS SOUPS 5218942 WITH SCORE 5230369.306
AT ITER 5185 NEW BEST:: SOT 68339802 SOS 11423828 HAS SOPS 11423828 HAS SOUS 5216353 HAS SOUPS 5216353 WITH SCORE 5227776.828
AT ITER 5186 NEW BEST:: SOT 68339802 SOS 11423643 HAS SOPS 11423643 HAS SOUS 5216353 HAS SOUPS 5216353 WITH SCORE 5227776.643
AT ITER 5201 NEW BEST:: SOT 68339758 SOS 11423555 HAS SOPS 11423555 HAS SOUS 5216309 HAS SOUPS 5216309 WITH SCORE 5227732.555
AT ITER 5215 NEW BEST:: SOT 68338854 SOS 11420843 HAS SOPS 11420843 HAS SOUS 5215405 HAS SOUPS 5215405 WITH SCORE 5226825.843
AT ITER 5236 NEW BEST:: SOT 68338688 SOS 11421015 HAS SOPS 11421015 HAS SOUS 5215321 HAS SOUPS 5215321 WITH SCORE 5226742.015
AT ITER 5271 NEW BEST:: SOT 68336809 SOS 11417257 HAS SOPS 11417257 HAS SOUS 5213441 HAS SOUPS 5213441 WITH SCORE 5224858.257
AT ITER 5282 NEW BEST:: SOT 68335413 SOS 11416753 HAS SOPS 11416753 HAS SOUS 5212639 HAS SOUPS 5212639 WITH SCORE 5224055.753
AT ITER 5288 NEW BEST:: SOT 68335411 SOS 11416749 HAS SOPS 11416749 HAS SOUS 5212637 HAS SOUPS 5212637 WITH SCORE 5224053.749
AT ITER 5371 NEW BEST:: SOT 68335411 SOS 11416158 HAS SOPS 11416158 HAS SOUS 5212637 HAS SOUPS 5212637 WITH SCORE 5224053.158
AT ITER 5401 NEW BEST:: SOT 68335410 SOS 11416156 HAS SOPS 11416156 HAS SOUS 5212635 HAS SOUPS 5212635 WITH SCORE 5224051.156
AT ITER 5419 NEW BEST:: SOT 68335309 SOS 11415954 HAS SOPS 11415954 HAS SOUS 5212530 HAS SOUPS 5212530 WITH SCORE 5223945.954
AT ITER 5424 NEW BEST:: SOT 68332021 SOS 11412666 HAS SOPS 11412666 HAS SOUS 5208146 HAS SOUPS 5208146 WITH SCORE 5219558.666
AT ITER 5461 NEW BEST:: SOT 68329730 SOS 11414898 HAS SOPS 11414898 HAS SOUS 5206256 HAS SOUPS 5206256 WITH SCORE 5217670.898
AT ITER 5471 NEW BEST:: SOT 68328923 SOS 11413284 HAS SOPS 11413284 HAS SOUS 5205937 HAS SOUPS 5205937 WITH SCORE 5217350.284
AT ITER 5474 NEW BEST:: SOT 68328653 SOS 11413068 HAS SOPS 11413068 HAS SOUS 5205774 HAS SOUPS 5205774 WITH SCORE 5217187.068
AT ITER 5478 NEW BEST:: SOT 68328653 SOS 11412990 HAS SOPS 11412990 HAS SOUS 5205774 HAS SOUPS 5205774 WITH SCORE 5217186.99
AT ITER 5492 NEW BEST:: SOT 68328653 SOS 11412990 HAS SOPS 11412990 HAS SOUS 5204883 HAS SOUPS 5204883 WITH SCORE 5216295.99
AT ITER 5513 NEW BEST:: SOT 68328250 SOS 11413234 HAS SOPS 11413234 HAS SOUS 5204490 HAS SOUPS 5204490 WITH SCORE 5215903.234
AT ITER 5526 NEW BEST:: SOT 68327842 SOS 11412418 HAS SOPS 11412418 HAS SOUS 5204082 HAS SOUPS 5204082 WITH SCORE 5215494.418
AT ITER 5560 NEW BEST:: SOT 68327482 SOS 11411698 HAS SOPS 11411698 HAS SOUS 5203721 HAS SOUPS 5203721 WITH SCORE 5215132.698
AT ITER 5566 NEW BEST:: SOT 68327279 SOS 11411292 HAS SOPS 11411292 HAS SOUS 5203518 HAS SOUPS 5203518 WITH SCORE 5214929.292
AT ITER 5567 NEW BEST:: SOT 68326595 SOS 11410864 HAS SOPS 11410864 HAS SOUS 5202834 HAS SOUPS 5202834 WITH SCORE 5214244.864
AT ITER 5582 NEW BEST:: SOT 68326647 SOS 11410968 HAS SOPS 11410968 HAS SOUS 5202461 HAS SOUPS 5202461 WITH SCORE 5213871.968
AT ITER 5633 NEW BEST:: SOT 68324989 SOS 11408582 HAS SOPS 11408582 HAS SOUS 5200812 HAS SOUPS 5200812 WITH SCORE 5212220.582
AT ITER 5665 NEW BEST:: SOT 68324989 SOS 11408582 HAS SOPS 11408582 HAS SOUS 5200810 HAS SOUPS 5200810 WITH SCORE 5212218.582
AT ITER 5670 NEW BEST:: SOT 68325183 SOS 11409272 HAS SOPS 11409272 HAS SOUS 5200702 HAS SOUPS 5200702 WITH SCORE 5212111.272
AT ITER 5680 NEW BEST:: SOT 68324693 SOS 11407430 HAS SOPS 11407430 HAS SOUS 5200212 HAS SOUPS 5200212 WITH SCORE 5211619.43
AT ITER 5718 NEW BEST:: SOT 68324749 SOS 11407708 HAS SOPS 11407708 HAS SOUS 5200210 HAS SOUPS 5200210 WITH SCORE 5211617.708
AT ITER 5724 NEW BEST:: SOT 68324749 SOS 11406953 HAS SOPS 11406953 HAS SOUS 5200210 HAS SOUPS 5200210 WITH SCORE 5211616.953
AT ITER 5740 NEW BEST:: SOT 68324420 SOS 11406295 HAS SOPS 11406295 HAS SOUS 5199880 HAS SOUPS 5199880 WITH SCORE 5211286.295
AT ITER 5741 NEW BEST:: SOT 68324420 SOS 11406295 HAS SOPS 11406295 HAS SOUS 5199879 HAS SOUPS 5199879 WITH SCORE 5211285.295
AT ITER 5761 NEW BEST:: SOT 68324420 SOS 11406536 HAS SOPS 11406536 HAS SOUS 5199878 HAS SOUPS 5199878 WITH SCORE 5211284.536
AT ITER 5768 NEW BEST:: SOT 68322965 SOS 11404553 HAS SOPS 11404553 HAS SOUS 5197565 HAS SOUPS 5197565 WITH SCORE 5208969.553
AT ITER 5769 NEW BEST:: SOT 68322763 SOS 11404149 HAS SOPS 11404149 HAS SOUS 5197363 HAS SOUPS 5197363 WITH SCORE 5208767.149
AT ITER 5784 NEW BEST:: SOT 68322309 SOS 11403241 HAS SOPS 11403241 HAS SOUS 5196909 HAS SOUPS 5196909 WITH SCORE 5208312.241
AT ITER 5794 NEW BEST:: SOT 68320431 SOS 11399485 HAS SOPS 11399485 HAS SOUS 5195383 HAS SOUPS 5195383 WITH SCORE 5206782.485
AT ITER 5822 NEW BEST:: SOT 68318899 SOS 11398851 HAS SOPS 11398851 HAS SOUS 5193667 HAS SOUPS 5193667 WITH SCORE 5205065.851
AT ITER 5846 NEW BEST:: SOT 68318899 SOS 11398344 HAS SOPS 11398344 HAS SOUS 5193667 HAS SOUPS 5193667 WITH SCORE 5205065.344
AT ITER 5893 NEW BEST:: SOT 68318493 SOS 11397329 HAS SOPS 11397329 HAS SOUS 5193058 HAS SOUPS 5193058 WITH SCORE 5204455.329
AT ITER 5894 NEW BEST:: SOT 68318496 SOS 11397282 HAS SOPS 11397282 HAS SOUS 5193055 HAS SOUPS 5193055 WITH SCORE 5204452.282
AT ITER 5902 NEW BEST:: SOT 68318062 SOS 11396848 HAS SOPS 11396848 HAS SOUS 5192625 HAS SOUPS 5192625 WITH SCORE 5204021.848
AT ITER 5951 NEW BEST:: SOT 68285675 SOS 11475201 HAS SOPS 11475201 HAS SOUS 5164862 HAS SOUPS 5164862 WITH SCORE 5176337.201
AT ITER 6004 NEW BEST:: SOT 68284999 SOS 11473849 HAS SOPS 11473849 HAS SOUS 5164185 HAS SOUPS 5164185 WITH SCORE 5175658.849
AT ITER 6027 NEW BEST:: SOT 68284881 SOS 11473731 HAS SOPS 11473731 HAS SOUS 5163949 HAS SOUPS 5163949 WITH SCORE 5175422.731
AT ITER 6028 NEW BEST:: SOT 68284981 SOS 11474355 HAS SOPS 11474355 HAS SOUS 5163942 HAS SOUPS 5163942 WITH SCORE 5175416.355
AT ITER 6059 NEW BEST:: SOT 68283115 SOS 11470623 HAS SOPS 11470623 HAS SOUS 5162702 HAS SOUPS 5162702 WITH SCORE 5174172.623
AT ITER 6079 NEW BEST:: SOT 68281852 SOS 11468097 HAS SOPS 11468097 HAS SOUS 5161439 HAS SOUPS 5161439 WITH SCORE 5172907.097
AT ITER 6095 NEW BEST:: SOT 68281596 SOS 11467585 HAS SOPS 11467585 HAS SOUS 5161391 HAS SOUPS 5161391 WITH SCORE 5172858.585
AT ITER 6100 NEW BEST:: SOT 68281596 SOS 11467540 HAS SOPS 11467540 HAS SOUS 5161391 HAS SOUPS 5161391 WITH SCORE 5172858.54
AT ITER 6107 NEW BEST:: SOT 68281188 SOS 11465908 HAS SOPS 11465908 HAS SOUS 5160983 HAS SOUPS 5160983 WITH SCORE 5172448.908
AT ITER 6179 NEW BEST:: SOT 68280610 SOS 11465330 HAS SOPS 11465330 HAS SOUS 5160408 HAS SOUPS 5160408 WITH SCORE 5171873.33
AT ITER 6229 NEW BEST:: SOT 68279779 SOS 11464350 HAS SOPS 11464350 HAS SOUS 5159577 HAS SOUPS 5159577 WITH SCORE 5171041.35
AT ITER 6237 NEW BEST:: SOT 68279147 SOS 11463086 HAS SOPS 11463086 HAS SOUS 5158370 HAS SOUPS 5158370 WITH SCORE 5169833.086
AT ITER 6243 NEW BEST:: SOT 68249447 SOS 11436246 HAS SOPS 11436246 HAS SOUS 5128670 HAS SOUPS 5128670 WITH SCORE 5140106.246
AT ITER 6246 NEW BEST:: SOT 68249443 SOS 11436238 HAS SOPS 11436238 HAS SOUS 5128666 HAS SOUPS 5128666 WITH SCORE 5140102.238
AT ITER 6249 NEW BEST:: SOT 68246159 SOS 11432961 HAS SOPS 11432961 HAS SOUS 5125389 HAS SOUPS 5125389 WITH SCORE 5136821.961
AT ITER 6267 NEW BEST:: SOT 68245713 SOS 11432069 HAS SOPS 11432069 HAS SOUS 5124720 HAS SOUPS 5124720 WITH SCORE 5136152.069
AT ITER 6268 NEW BEST:: SOT 68245822 SOS 11431695 HAS SOPS 11431695 HAS SOUS 5124346 HAS SOUPS 5124346 WITH SCORE 5135777.695
AT ITER 6317 NEW BEST:: SOT 68245384 SOS 11431815 HAS SOPS 11431815 HAS SOUS 5123971 HAS SOUPS 5123971 WITH SCORE 5135402.815
AT ITER 6319 NEW BEST:: SOT 68244110 SOS 11429267 HAS SOPS 11429267 HAS SOUS 5123792 HAS SOUPS 5123792 WITH SCORE 5135221.267
AT ITER 6361 NEW BEST:: SOT 68242084 SOS 11425215 HAS SOPS 11425215 HAS SOUS 5122121 HAS SOUPS 5122121 WITH SCORE 5133546.215
AT ITER 6365 NEW BEST:: SOT 68241612 SOS 11424271 HAS SOPS 11424271 HAS SOUS 5121649 HAS SOUPS 5121649 WITH SCORE 5133073.271
AT ITER 6398 NEW BEST:: SOT 68241298 SOS 11423643 HAS SOPS 11423643 HAS SOUS 5121649 HAS SOUPS 5121649 WITH SCORE 5133072.643
AT ITER 6421 NEW BEST:: SOT 68240644 SOS 11422335 HAS SOPS 11422335 HAS SOUS 5121144 HAS SOUPS 5121144 WITH SCORE 5132566.335
AT ITER 6445 NEW BEST:: SOT 68240644 SOS 11422335 HAS SOPS 11422335 HAS SOUS 5121143 HAS SOUPS 5121143 WITH SCORE 5132565.335
AT ITER 6467 NEW BEST:: SOT 68241005 SOS 11421972 HAS SOPS 11421972 HAS SOUS 5121142 HAS SOUPS 5121142 WITH SCORE 5132563.972
AT ITER 6521 NEW BEST:: SOT 68239935 SOS 11424237 HAS SOPS 11424237 HAS SOUS 5119993 HAS SOUPS 5119993 WITH SCORE 5131417.237
AT ITER 6542 NEW BEST:: SOT 68239720 SOS 11424022 HAS SOPS 11424022 HAS SOUS 5119778 HAS SOUPS 5119778 WITH SCORE 5131202.022
AT ITER 6559 NEW BEST:: SOT 68239176 SOS 11422934 HAS SOPS 11422934 HAS SOUS 5119234 HAS SOUPS 5119234 WITH SCORE 5130656.934
AT ITER 6562 NEW BEST:: SOT 68239176 SOS 11422369 HAS SOPS 11422369 HAS SOUS 5119233 HAS SOUPS 5119233 WITH SCORE 5130655.369
AT ITER 6605 NEW BEST:: SOT 68238938 SOS 11421893 HAS SOPS 11421893 HAS SOUS 5119023 HAS SOUPS 5119023 WITH SCORE 5130444.893
AT ITER 6614 NEW BEST:: SOT 68238582 SOS 11421181 HAS SOPS 11421181 HAS SOUS 5118667 HAS SOUPS 5118667 WITH SCORE 5130088.181
AT ITER 6615 NEW BEST:: SOT 68238076 SOS 11420727 HAS SOPS 11420727 HAS SOUS 5117655 HAS SOUPS 5117655 WITH SCORE 5129075.727
AT ITER 6648 NEW BEST:: SOT 68236456 SOS 11417117 HAS SOPS 11417117 HAS SOUS 5116272 HAS SOUPS 5116272 WITH SCORE 5127689.117
AT ITER 6649 NEW BEST:: SOT 68236059 SOS 11416833 HAS SOPS 11416833 HAS SOUS 5115474 HAS SOUPS 5115474 WITH SCORE 5126890.833
AT ITER 6669 NEW BEST:: SOT 68235373 SOS 11416147 HAS SOPS 11416147 HAS SOUS 5114848 HAS SOUPS 5114848 WITH SCORE 5126264.147
AT ITER 6699 NEW BEST:: SOT 68234336 SOS 11415741 HAS SOPS 11415741 HAS SOUS 5113648 HAS SOUPS 5113648 WITH SCORE 5125063.741
AT ITER 6793 NEW BEST:: SOT 68233956 SOS 11415171 HAS SOPS 11415171 HAS SOUS 5113458 HAS SOUPS 5113458 WITH SCORE 5124873.171
AT ITER 6797 NEW BEST:: SOT 68233333 SOS 11413925 HAS SOPS 11413925 HAS SOUS 5112835 HAS SOUPS 5112835 WITH SCORE 5124248.925
AT ITER 6867 NEW BEST:: SOT 68221630 SOS 11435215 HAS SOPS 11435215 HAS SOUS 5101590 HAS SOUPS 5101590 WITH SCORE 5113025.215
AT ITER 6873 NEW BEST:: SOT 68221366 SOS 11434687 HAS SOPS 11434687 HAS SOUS 5101326 HAS SOUPS 5101326 WITH SCORE 5112760.687
AT ITER 6959 NEW BEST:: SOT 68220610 SOS 11433427 HAS SOPS 11433427 HAS SOUS 5100066 HAS SOUPS 5100066 WITH SCORE 5111499.427
AT ITER 7006 NEW BEST:: SOT 68219607 SOS 11430267 HAS SOPS 11430267 HAS SOUS 5100007 HAS SOUPS 5100007 WITH SCORE 5111437.267
AT ITER 7012 NEW BEST:: SOT 68219598 SOS 11430249 HAS SOPS 11430249 HAS SOUS 5099989 HAS SOUPS 5099989 WITH SCORE 5111419.249
AT ITER 7049 NEW BEST:: SOT 68218374 SOS 11429033 HAS SOPS 11429033 HAS SOUS 5098728 HAS SOUPS 5098728 WITH SCORE 5110157.033
AT ITER 7059 NEW BEST:: SOT 68217159 SOS 11426603 HAS SOPS 11426603 HAS SOUS 5098104 HAS SOUPS 5098104 WITH SCORE 5109530.603
AT ITER 7061 NEW BEST:: SOT 68216954 SOS 11426193 HAS SOPS 11426193 HAS SOUS 5097899 HAS SOUPS 5097899 WITH SCORE 5109325.193
AT ITER 7074 NEW BEST:: SOT 68215191 SOS 11425352 HAS SOPS 11425352 HAS SOUS 5096071 HAS SOUPS 5096071 WITH SCORE 5107496.352
AT ITER 7082 NEW BEST:: SOT 68215191 SOS 11425352 HAS SOPS 11425352 HAS SOUS 5095913 HAS SOUPS 5095913 WITH SCORE 5107338.352
AT ITER 7104 NEW BEST:: SOT 68215147 SOS 11425264 HAS SOPS 11425264 HAS SOUS 5095869 HAS SOUPS 5095869 WITH SCORE 5107294.264
AT ITER 7116 NEW BEST:: SOT 68212107 SOS 11421629 HAS SOPS 11421629 HAS SOUS 5092701 HAS SOUPS 5092701 WITH SCORE 5104122.629
AT ITER 7128 NEW BEST:: SOT 68211187 SOS 11417938 HAS SOPS 11417938 HAS SOUS 5091792 HAS SOUPS 5091792 WITH SCORE 5103209.938
AT ITER 7158 NEW BEST:: SOT 68211015 SOS 11417594 HAS SOPS 11417594 HAS SOUS 5091792 HAS SOUPS 5091792 WITH SCORE 5103209.594
AT ITER 7166 NEW BEST:: SOT 68209489 SOS 11414542 HAS SOPS 11414542 HAS SOUS 5090590 HAS SOUPS 5090590 WITH SCORE 5102004.542
AT ITER 7169 NEW BEST:: SOT 68207853 SOS 11411270 HAS SOPS 11411270 HAS SOUS 5088137 HAS SOUPS 5088137 WITH SCORE 5099548.27
AT ITER 7178 NEW BEST:: SOT 68207154 SOS 11409872 HAS SOPS 11409872 HAS SOUS 5087563 HAS SOUPS 5087563 WITH SCORE 5098972.872
AT ITER 7191 NEW BEST:: SOT 68207154 SOS 11409527 HAS SOPS 11409527 HAS SOUS 5087563 HAS SOUPS 5087563 WITH SCORE 5098972.527
AT ITER 7196 NEW BEST:: SOT 68206903 SOS 11409025 HAS SOPS 11409025 HAS SOUS 5087311 HAS SOUPS 5087311 WITH SCORE 5098720.025
AT ITER 7237 NEW BEST:: SOT 68197119 SOS 11400321 HAS SOPS 11400321 HAS SOUS 5077686 HAS SOUPS 5077686 WITH SCORE 5089086.321
AT ITER 7260 NEW BEST:: SOT 68196846 SOS 11399775 HAS SOPS 11399775 HAS SOUS 5077322 HAS SOUPS 5077322 WITH SCORE 5088721.775
AT ITER 7279 NEW BEST:: SOT 68195675 SOS 11400458 HAS SOPS 11400458 HAS SOUS 5076718 HAS SOUPS 5076718 WITH SCORE 5088118.458
AT ITER 7292 NEW BEST:: SOT 68138629 SOS 11855426 HAS SOPS 11855426 HAS SOUS 5021112 HAS SOUPS 5021112 WITH SCORE 5032967.426
AT ITER 7293 NEW BEST:: SOT 68137218 SOS 11853797 HAS SOPS 11853797 HAS SOUS 5018834 HAS SOUPS 5018834 WITH SCORE 5030687.797
AT ITER 7294 NEW BEST:: SOT 68134539 SOS 11851103 HAS SOPS 11851103 HAS SOUS 5016078 HAS SOUPS 5016078 WITH SCORE 5027929.103
AT ITER 7320 NEW BEST:: SOT 68134780 SOS 11851585 HAS SOPS 11851585 HAS SOUS 5015594 HAS SOUPS 5015594 WITH SCORE 5027445.585
AT ITER 7342 NEW BEST:: SOT 68134780 SOS 11851530 HAS SOPS 11851530 HAS SOUS 5015594 HAS SOUPS 5015594 WITH SCORE 5027445.53
AT ITER 7344 NEW BEST:: SOT 68134839 SOS 11850591 HAS SOPS 11850591 HAS SOUS 5014444 HAS SOUPS 5014444 WITH SCORE 5026294.591
AT ITER 7353 NEW BEST:: SOT 68134638 SOS 11849988 HAS SOPS 11849988 HAS SOUS 5014243 HAS SOUPS 5014243 WITH SCORE 5026092.988
AT ITER 7380 NEW BEST:: SOT 68134448 SOS 11849608 HAS SOPS 11849608 HAS SOUS 5014241 HAS SOUPS 5014241 WITH SCORE 5026090.608
AT ITER 7385 NEW BEST:: SOT 68107619 SOS 12227180 HAS SOPS 12227180 HAS SOUS 4991562 HAS SOUPS 4991562 WITH SCORE 5003789.18
AT ITER 7392 NEW BEST:: SOT 68107592 SOS 12227099 HAS SOPS 12227099 HAS SOUS 4991535 HAS SOUPS 4991535 WITH SCORE 5003762.099
AT ITER 7397 NEW BEST:: SOT 68106470 SOS 12224855 HAS SOPS 12224855 HAS SOUS 4991019 HAS SOUPS 4991019 WITH SCORE 5003243.855
AT ITER 7401 NEW BEST:: SOT 68106342 SOS 12224802 HAS SOPS 12224802 HAS SOUS 4990966 HAS SOUPS 4990966 WITH SCORE 5003190.802
AT ITER 7432 NEW BEST:: SOT 68104433 SOS 12224579 HAS SOPS 12224579 HAS SOUS 4988338 HAS SOUPS 4988338 WITH SCORE 5000562.579
AT ITER 7449 NEW BEST:: SOT 68103983 SOS 12224340 HAS SOPS 12224340 HAS SOUS 4987438 HAS SOUPS 4987438 WITH SCORE 4999662.34
AT ITER 7457 NEW BEST:: SOT 68103807 SOS 12223988 HAS SOPS 12223988 HAS SOUS 4987344 HAS SOUPS 4987344 WITH SCORE 4999567.988
AT ITER 7458 NEW BEST:: SOT 68103331 SOS 12136160 HAS SOPS 12136160 HAS SOUS 4986868 HAS SOUPS 4986868 WITH SCORE 4999004.16
AT ITER 7474 NEW BEST:: SOT 68102849 SOS 12134714 HAS SOPS 12134714 HAS SOUS 4986386 HAS SOUPS 4986386 WITH SCORE 4998520.714
AT ITER 7476 NEW BEST:: SOT 68102320 SOS 12133656 HAS SOPS 12133656 HAS SOUS 4985857 HAS SOUPS 4985857 WITH SCORE 4997990.656
AT ITER 7483 NEW BEST:: SOT 68102320 SOS 12133656 HAS SOPS 12133656 HAS SOUS 4984915 HAS SOUPS 4984915 WITH SCORE 4997048.656
AT ITER 7487 NEW BEST:: SOT 68101626 SOS 12134072 HAS SOPS 12134072 HAS SOUS 4984452 HAS SOUPS 4984452 WITH SCORE 4996586.072
AT ITER 7491 NEW BEST:: SOT 68100692 SOS 12132204 HAS SOPS 12132204 HAS SOUS 4983727 HAS SOUPS 4983727 WITH SCORE 4995859.204
AT ITER 7541 NEW BEST:: SOT 68100632 SOS 12132084 HAS SOPS 12132084 HAS SOUS 4983667 HAS SOUPS 4983667 WITH SCORE 4995799.084
AT ITER 7593 NEW BEST:: SOT 68100632 SOS 12131759 HAS SOPS 12131759 HAS SOUS 4983667 HAS SOUPS 4983667 WITH SCORE 4995798.759
AT ITER 7613 NEW BEST:: SOT 68099074 SOS 12128643 HAS SOPS 12128643 HAS SOUS 4982906 HAS SOUPS 4982906 WITH SCORE 4995034.643
AT ITER 7675 NEW BEST:: SOT 68098665 SOS 12127825 HAS SOPS 12127825 HAS SOUS 4982497 HAS SOUPS 4982497 WITH SCORE 4994624.825
AT ITER 7693 NEW BEST:: SOT 68098145 SOS 12125225 HAS SOPS 12125225 HAS SOUS 4981977 HAS SOUPS 4981977 WITH SCORE 4994102.225
AT ITER 7697 NEW BEST:: SOT 68098078 SOS 12125213 HAS SOPS 12125213 HAS SOUS 4981965 HAS SOUPS 4981965 WITH SCORE 4994090.213
AT ITER 7734 NEW BEST:: SOT 68098056 SOS 12125442 HAS SOPS 12125442 HAS SOUS 4981943 HAS SOUPS 4981943 WITH SCORE 4994068.442
AT ITER 7749 NEW BEST:: SOT 68097592 SOS 12124514 HAS SOPS 12124514 HAS SOUS 4981524 HAS SOUPS 4981524 WITH SCORE 4993648.514
AT ITER 7779 NEW BEST:: SOT 68096163 SOS 12127668 HAS SOPS 12127668 HAS SOUS 4981325 HAS SOUPS 4981325 WITH SCORE 4993452.668
AT ITER 7786 NEW BEST:: SOT 68095685 SOS 12125278 HAS SOPS 12125278 HAS SOUS 4980847 HAS SOUPS 4980847 WITH SCORE 4992972.278
AT ITER 7839 NEW BEST:: SOT 68093803 SOS 12121514 HAS SOPS 12121514 HAS SOUS 4977077 HAS SOUPS 4977077 WITH SCORE 4989198.514
AT ITER 7860 NEW BEST:: SOT 68093285 SOS 12119696 HAS SOPS 12119696 HAS SOUS 4976559 HAS SOUPS 4976559 WITH SCORE 4988678.696
AT ITER 7862 NEW BEST:: SOT 68092142 SOS 12118553 HAS SOPS 12118553 HAS SOUS 4975416 HAS SOUPS 4975416 WITH SCORE 4987534.553
AT ITER 7873 NEW BEST:: SOT 68093139 SOS 12120547 HAS SOPS 12120547 HAS SOUS 4975354 HAS SOUPS 4975354 WITH SCORE 4987474.547
AT ITER 7876 NEW BEST:: SOT 68092356 SOS 12118981 HAS SOPS 12118981 HAS SOUS 4974571 HAS SOUPS 4974571 WITH SCORE 4986689.981
AT ITER 7889 NEW BEST:: SOT 68091732 SOS 12117308 HAS SOPS 12117308 HAS SOUS 4973971 HAS SOUPS 4973971 WITH SCORE 4986088.308
AT ITER 7890 NEW BEST:: SOT 68091232 SOS 12116308 HAS SOPS 12116308 HAS SOUS 4973470 HAS SOUPS 4973470 WITH SCORE 4985586.308
AT ITER 7896 NEW BEST:: SOT 68090831 SOS 12115506 HAS SOPS 12115506 HAS SOUS 4973069 HAS SOUPS 4973069 WITH SCORE 4985184.506
AT ITER 7913 NEW BEST:: SOT 68086934 SOS 12110147 HAS SOPS 12110147 HAS SOUS 4966605 HAS SOUPS 4966605 WITH SCORE 4978715.147
AT ITER 7917 NEW BEST:: SOT 68044690 SOS 12860823 HAS SOPS 12860823 HAS SOUS 4934553 HAS SOUPS 4934553 WITH SCORE 4947413.823
AT ITER 7956 NEW BEST:: SOT 68044462 SOS 12860367 HAS SOPS 12860367 HAS SOUS 4934324 HAS SOUPS 4934324 WITH SCORE 4947184.367
AT ITER 7960 NEW BEST:: SOT 68044462 SOS 12816115 HAS SOPS 12816115 HAS SOUS 4934324 HAS SOUPS 4934324 WITH SCORE 4947140.115
AT ITER 8007 NEW BEST:: SOT 68044462 SOS 12815193 HAS SOPS 12815193 HAS SOUS 4934231 HAS SOUPS 4934231 WITH SCORE 4947046.193
AT ITER 8038 NEW BEST:: SOT 68022785 SOS 12982049 HAS SOPS 12982049 HAS SOUS 4918356 HAS SOUPS 4918356 WITH SCORE 4931338.049
AT ITER 8139 NEW BEST:: SOT 68022558 SOS 12982703 HAS SOPS 12982703 HAS SOUS 4917890 HAS SOUPS 4917890 WITH SCORE 4930872.703
AT ITER 8144 NEW BEST:: SOT 68022172 SOS 12981931 HAS SOPS 12981931 HAS SOUS 4917504 HAS SOUPS 4917504 WITH SCORE 4930485.931
AT ITER 8175 NEW BEST:: SOT 68021661 SOS 12981420 HAS SOPS 12981420 HAS SOUS 4916992 HAS SOUPS 4916992 WITH SCORE 4929973.42
AT ITER 8183 NEW BEST:: SOT 68021592 SOS 12981213 HAS SOPS 12981213 HAS SOUS 4916922 HAS SOUPS 4916922 WITH SCORE 4929903.213
AT ITER 8188 NEW BEST:: SOT 68021141 SOS 12981086 HAS SOPS 12981086 HAS SOUS 4915872 HAS SOUPS 4915872 WITH SCORE 4928853.086
AT ITER 8240 NEW BEST:: SOT 68021104 SOS 12981012 HAS SOPS 12981012 HAS SOUS 4915835 HAS SOUPS 4915835 WITH SCORE 4928816.012
AT ITER 8243 NEW BEST:: SOT 68021882 SOS 12980020 HAS SOPS 12980020 HAS SOUS 4915784 HAS SOUPS 4915784 WITH SCORE 4928764.02
AT ITER 8253 NEW BEST:: SOT 68021754 SOS 12979892 HAS SOPS 12979892 HAS SOUS 4915656 HAS SOUPS 4915656 WITH SCORE 4928635.892
AT ITER 8259 NEW BEST:: SOT 68021754 SOS 12979330 HAS SOPS 12979330 HAS SOUS 4915656 HAS SOUPS 4915656 WITH SCORE 4928635.33
AT ITER 8260 NEW BEST:: SOT 67991442 SOS 13184538 HAS SOPS 13184538 HAS SOUS 4894296 HAS SOUPS 4894296 WITH SCORE 4907480.538
AT ITER 8267 NEW BEST:: SOT 67991010 SOS 13184034 HAS SOPS 13184034 HAS SOUS 4893744 HAS SOUPS 4893744 WITH SCORE 4906928.034
AT ITER 8277 NEW BEST:: SOT 67991010 SOS 13184034 HAS SOPS 13184034 HAS SOUS 4893743 HAS SOUPS 4893743 WITH SCORE 4906927.034
AT ITER 8280 NEW BEST:: SOT 67991010 SOS 13180650 HAS SOPS 13180650 HAS SOUS 4893743 HAS SOUPS 4893743 WITH SCORE 4906923.65
AT ITER 8291 NEW BEST:: SOT 67990443 SOS 13179516 HAS SOPS 13179516 HAS SOUS 4893175 HAS SOUPS 4893175 WITH SCORE 4906354.516
AT ITER 8294 NEW BEST:: SOT 67990277 SOS 13179184 HAS SOPS 13179184 HAS SOUS 4893009 HAS SOUPS 4893009 WITH SCORE 4906188.184
AT ITER 8306 NEW BEST:: SOT 67973866 SOS 13890062 HAS SOPS 13890062 HAS SOUS 4881598 HAS SOUPS 4881598 WITH SCORE 4895488.062
AT ITER 8336 NEW BEST:: SOT 67973866 SOS 13891022 HAS SOPS 13891022 HAS SOUS 4881406 HAS SOUPS 4881406 WITH SCORE 4895297.022
AT ITER 8344 NEW BEST:: SOT 67973065 SOS 13889420 HAS SOPS 13889420 HAS SOUS 4879811 HAS SOUPS 4879811 WITH SCORE 4893700.42
AT ITER 8353 NEW BEST:: SOT 67970932 SOS 13891313 HAS SOPS 13891313 HAS SOUS 4877824 HAS SOUPS 4877824 WITH SCORE 4891715.313
AT ITER 8380 NEW BEST:: SOT 67970874 SOS 13890117 HAS SOPS 13890117 HAS SOUS 4877792 HAS SOUPS 4877792 WITH SCORE 4891682.117
AT ITER 8383 NEW BEST:: SOT 67970874 SOS 13888989 HAS SOPS 13888989 HAS SOUS 4877792 HAS SOUPS 4877792 WITH SCORE 4891680.989
AT ITER 8393 NEW BEST:: SOT 67968687 SOS 13893883 HAS SOPS 13893883 HAS SOUS 4876099 HAS SOUPS 4876099 WITH SCORE 4889992.883
AT ITER 8409 NEW BEST:: SOT 67968687 SOS 13893694 HAS SOPS 13893694 HAS SOUS 4875910 HAS SOUPS 4875910 WITH SCORE 4889803.694
AT ITER 8470 NEW BEST:: SOT 67968687 SOS 13891820 HAS SOPS 13891820 HAS SOUS 4875910 HAS SOUPS 4875910 WITH SCORE 4889801.82
AT ITER 8471 NEW BEST:: SOT 67968449 SOS 13891344 HAS SOPS 13891344 HAS SOUS 4875671 HAS SOUPS 4875671 WITH SCORE 4889562.344
AT ITER 8483 NEW BEST:: SOT 67968449 SOS 13891344 HAS SOPS 13891344 HAS SOUS 4875670 HAS SOUPS 4875670 WITH SCORE 4889561.344
AT ITER 8515 NEW BEST:: SOT 67968449 SOS 13891344 HAS SOPS 13891344 HAS SOUS 4875236 HAS SOUPS 4875236 WITH SCORE 4889127.344
AT ITER 8524 NEW BEST:: SOT 67967291 SOS 13886148 HAS SOPS 13886148 HAS SOUS 4874077 HAS SOUPS 4874077 WITH SCORE 4887963.148
AT ITER 8531 NEW BEST:: SOT 67966715 SOS 13884996 HAS SOPS 13884996 HAS SOUS 4872958 HAS SOUPS 4872958 WITH SCORE 4886842.996
AT ITER 8541 NEW BEST:: SOT 67966715 SOS 13884756 HAS SOPS 13884756 HAS SOUS 4872958 HAS SOUPS 4872958 WITH SCORE 4886842.756
AT ITER 8549 NEW BEST:: SOT 67966715 SOS 13884756 HAS SOPS 13884756 HAS SOUS 4872957 HAS SOUPS 4872957 WITH SCORE 4886841.756
AT ITER 8567 NEW BEST:: SOT 67845519 SOS 13943692 HAS SOPS 13943692 HAS SOUS 4755655 HAS SOUPS 4755655 WITH SCORE 4769598.692
AT ITER 8588 NEW BEST:: SOT 67844381 SOS 13941416 HAS SOPS 13941416 HAS SOUS 4754647 HAS SOUPS 4754647 WITH SCORE 4768588.416
AT ITER 8615 NEW BEST:: SOT 67843510 SOS 13940804 HAS SOPS 13940804 HAS SOUS 4754035 HAS SOUPS 4754035 WITH SCORE 4767975.804
AT ITER 8616 NEW BEST:: SOT 67842855 SOS 13939897 HAS SOPS 13939897 HAS SOUS 4753128 HAS SOUPS 4753128 WITH SCORE 4767067.897
AT ITER 8671 NEW BEST:: SOT 67841220 SOS 13936627 HAS SOPS 13936627 HAS SOUS 4750049 HAS SOUPS 4750049 WITH SCORE 4763985.627
AT ITER 8710 NEW BEST:: SOT 67841151 SOS 13937204 HAS SOPS 13937204 HAS SOUS 4749946 HAS SOUPS 4749946 WITH SCORE 4763883.204
AT ITER 8716 NEW BEST:: SOT 67840975 SOS 13936500 HAS SOPS 13936500 HAS SOUS 4749770 HAS SOUPS 4749770 WITH SCORE 4763706.5
AT ITER 8746 NEW BEST:: SOT 67840377 SOS 13936796 HAS SOPS 13936796 HAS SOUS 4749468 HAS SOUPS 4749468 WITH SCORE 4763404.796
AT ITER 8747 NEW BEST:: SOT 67840377 SOS 13936433 HAS SOPS 13936433 HAS SOUS 4749468 HAS SOUPS 4749468 WITH SCORE 4763404.433
AT ITER 8786 NEW BEST:: SOT 67840010 SOS 13935699 HAS SOPS 13935699 HAS SOUS 4749466 HAS SOUPS 4749466 WITH SCORE 4763401.699
AT ITER 8795 NEW BEST:: SOT 67839955 SOS 13935589 HAS SOPS 13935589 HAS SOUS 4748972 HAS SOUPS 4748972 WITH SCORE 4762907.589
AT ITER 8801 NEW BEST:: SOT 67839914 SOS 13935632 HAS SOPS 13935632 HAS SOUS 4748931 HAS SOUPS 4748931 WITH SCORE 4762866.632
AT ITER 8814 NEW BEST:: SOT 67839730 SOS 13935264 HAS SOPS 13935264 HAS SOUS 4748547 HAS SOUPS 4748547 WITH SCORE 4762482.264
AT ITER 8833 NEW BEST:: SOT 67839573 SOS 13934950 HAS SOPS 13934950 HAS SOUS 4748546 HAS SOUPS 4748546 WITH SCORE 4762480.95
AT ITER 8840 NEW BEST:: SOT 67838499 SOS 13936108 HAS SOPS 13936108 HAS SOUS 4748323 HAS SOUPS 4748323 WITH SCORE 4762259.108
AT ITER 8861 NEW BEST:: SOT 67837214 SOS 13934245 HAS SOPS 13934245 HAS SOUS 4747037 HAS SOUPS 4747037 WITH SCORE 4760971.245
AT ITER 8889 NEW BEST:: SOT 67833990 SOS 13930890 HAS SOPS 13930890 HAS SOUS 4743175 HAS SOUPS 4743175 WITH SCORE 4757105.89
AT ITER 8894 NEW BEST:: SOT 67758578 SOS 13993778 HAS SOPS 13993778 HAS SOUS 4669041 HAS SOUPS 4669041 WITH SCORE 4683034.778
AT ITER 8911 NEW BEST:: SOT 67758367 SOS 13993356 HAS SOPS 13993356 HAS SOUS 4668830 HAS SOUPS 4668830 WITH SCORE 4682823.356
AT ITER 8950 NEW BEST:: SOT 67671099 SOS 14500804 HAS SOPS 14500804 HAS SOUS 4590708 HAS SOUPS 4590708 WITH SCORE 4605208.804
AT ITER 8973 NEW BEST:: SOT 67670486 SOS 14498965 HAS SOPS 14498965 HAS SOUS 4590095 HAS SOUPS 4590095 WITH SCORE 4604593.965
AT ITER 8981 NEW BEST:: SOT 67669874 SOS 14497741 HAS SOPS 14497741 HAS SOUS 4589483 HAS SOUPS 4589483 WITH SCORE 4603980.741
AT ITER 9004 NEW BEST:: SOT 67669874 SOS 14494687 HAS SOPS 14494687 HAS SOUS 4589483 HAS SOUPS 4589483 WITH SCORE 4603977.687
AT ITER 9011 NEW BEST:: SOT 67669598 SOS 14494135 HAS SOPS 14494135 HAS SOUS 4589457 HAS SOUPS 4589457 WITH SCORE 4603951.135
AT ITER 9017 NEW BEST:: SOT 67669300 SOS 14493539 HAS SOPS 14493539 HAS SOUS 4589158 HAS SOUPS 4589158 WITH SCORE 4603651.539
AT ITER 9018 NEW BEST:: SOT 67668460 SOS 14491385 HAS SOPS 14491385 HAS SOUS 4587977 HAS SOUPS 4587977 WITH SCORE 4602468.385
AT ITER 9020 NEW BEST:: SOT 67663583 SOS 14486295 HAS SOPS 14486295 HAS SOUS 4582765 HAS SOUPS 4582765 WITH SCORE 4597251.295
AT ITER 9026 NEW BEST:: SOT 67661893 SOS 14489215 HAS SOPS 14489215 HAS SOUS 4581075 HAS SOUPS 4581075 WITH SCORE 4595564.215
AT ITER 9061 NEW BEST:: SOT 67661851 SOS 14489493 HAS SOPS 14489493 HAS SOUS 4581045 HAS SOUPS 4581045 WITH SCORE 4595534.493
AT ITER 9062 NEW BEST:: SOT 67661633 SOS 14485941 HAS SOPS 14485941 HAS SOUS 4580826 HAS SOUPS 4580826 WITH SCORE 4595311.941
AT ITER 9068 NEW BEST:: SOT 67661036 SOS 14486491 HAS SOPS 14486491 HAS SOUS 4579976 HAS SOUPS 4579976 WITH SCORE 4594462.491
AT ITER 9082 NEW BEST:: SOT 67660768 SOS 14486198 HAS SOPS 14486198 HAS SOUS 4579627 HAS SOUPS 4579627 WITH SCORE 4594113.198
AT ITER 9083 NEW BEST:: SOT 67660052 SOS 14484766 HAS SOPS 14484766 HAS SOUS 4578197 HAS SOUPS 4578197 WITH SCORE 4592681.766
AT ITER 9119 NEW BEST:: SOT 67659234 SOS 14479464 HAS SOPS 14479464 HAS SOUS 4578103 HAS SOUPS 4578103 WITH SCORE 4592582.464
AT ITER 9120 NEW BEST:: SOT 67659717 SOS 14477319 HAS SOPS 14477319 HAS SOUS 4578032 HAS SOUPS 4578032 WITH SCORE 4592509.319
AT ITER 9178 NEW BEST:: SOT 67659717 SOS 14477319 HAS SOPS 14477319 HAS SOUS 4578031 HAS SOUPS 4578031 WITH SCORE 4592508.319
AT ITER 9196 NEW BEST:: SOT 67659717 SOS 14477319 HAS SOPS 14477319 HAS SOUS 4578000 HAS SOUPS 4578000 WITH SCORE 4592477.319
AT ITER 9217 NEW BEST:: SOT 67658944 SOS 14474679 HAS SOPS 14474679 HAS SOUS 4577314 HAS SOUPS 4577314 WITH SCORE 4591788.679
AT ITER 9225 NEW BEST:: SOT 67657406 SOS 14210531 HAS SOPS 14210531 HAS SOUS 4575776 HAS SOUPS 4575776 WITH SCORE 4589986.531
AT ITER 9237 NEW BEST:: SOT 67656925 SOS 14209569 HAS SOPS 14209569 HAS SOUS 4575666 HAS SOUPS 4575666 WITH SCORE 4589875.569
AT ITER 9239 NEW BEST:: SOT 67656523 SOS 14208765 HAS SOPS 14208765 HAS SOUS 4575263 HAS SOUPS 4575263 WITH SCORE 4589471.765
AT ITER 9240 NEW BEST:: SOT 67652743 SOS 14204040 HAS SOPS 14204040 HAS SOUS 4569593 HAS SOUPS 4569593 WITH SCORE 4583797.04
AT ITER 9241 NEW BEST:: SOT 67652419 SOS 14203877 HAS SOPS 14203877 HAS SOUS 4569269 HAS SOUPS 4569269 WITH SCORE 4583472.877
AT ITER 9252 NEW BEST:: SOT 67651551 SOS 14202141 HAS SOPS 14202141 HAS SOUS 4568627 HAS SOUPS 4568627 WITH SCORE 4582829.141
AT ITER 9255 NEW BEST:: SOT 67650914 SOS 14200230 HAS SOPS 14200230 HAS SOUS 4567989 HAS SOUPS 4567989 WITH SCORE 4582189.23
AT ITER 9282 NEW BEST:: SOT 67650780 SOS 14199962 HAS SOPS 14199962 HAS SOUS 4567721 HAS SOUPS 4567721 WITH SCORE 4581920.962
AT ITER 9301 NEW BEST:: SOT 67650338 SOS 14199078 HAS SOPS 14199078 HAS SOUS 4567279 HAS SOUPS 4567279 WITH SCORE 4581478.078
AT ITER 9312 NEW BEST:: SOT 67650338 SOS 14199078 HAS SOPS 14199078 HAS SOUS 4567278 HAS SOUPS 4567278 WITH SCORE 4581477.078
AT ITER 9325 NEW BEST:: SOT 67650026 SOS 14198811 HAS SOPS 14198811 HAS SOUS 4566965 HAS SOUPS 4566965 WITH SCORE 4581163.811
AT ITER 9328 NEW BEST:: SOT 67649877 SOS 14196679 HAS SOPS 14196679 HAS SOUS 4566815 HAS SOUPS 4566815 WITH SCORE 4581011.679
AT ITER 9333 NEW BEST:: SOT 67649877 SOS 14196636 HAS SOPS 14196636 HAS SOUS 4566815 HAS SOUPS 4566815 WITH SCORE 4581011.636
AT ITER 9342 NEW BEST:: SOT 67649552 SOS 14195560 HAS SOPS 14195560 HAS SOUS 4566590 HAS SOUPS 4566590 WITH SCORE 4580785.56
AT ITER 9343 NEW BEST:: SOT 67649234 SOS 14198079 HAS SOPS 14198079 HAS SOUS 4566466 HAS SOUPS 4566466 WITH SCORE 4580664.079
AT ITER 9352 NEW BEST:: SOT 67649072 SOS 14197755 HAS SOPS 14197755 HAS SOUS 4566304 HAS SOUPS 4566304 WITH SCORE 4580501.755
AT ITER 9357 NEW BEST:: SOT 67649072 SOS 14197755 HAS SOPS 14197755 HAS SOUS 4566303 HAS SOUPS 4566303 WITH SCORE 4580500.755
AT ITER 9389 NEW BEST:: SOT 67648191 SOS 14193350 HAS SOPS 14193350 HAS SOUS 4565421 HAS SOUPS 4565421 WITH SCORE 4579614.35
AT ITER 9393 NEW BEST:: SOT 67648190 SOS 14193348 HAS SOPS 14193348 HAS SOUS 4565419 HAS SOUPS 4565419 WITH SCORE 4579612.348
AT ITER 9400 NEW BEST:: SOT 67647889 SOS 14152046 HAS SOPS 14152046 HAS SOUS 4564912 HAS SOUPS 4564912 WITH SCORE 4579064.046
AT ITER 9415 NEW BEST:: SOT 67647889 SOS 14151988 HAS SOPS 14151988 HAS SOUS 4564912 HAS SOUPS 4564912 WITH SCORE 4579063.988
AT ITER 9427 NEW BEST:: SOT 67647743 SOS 13794720 HAS SOPS 13794720 HAS SOUS 4564620 HAS SOUPS 4564620 WITH SCORE 4578414.72
AT ITER 9443 NEW BEST:: SOT 67647743 SOS 13794612 HAS SOPS 13794612 HAS SOUS 4564619 HAS SOUPS 4564619 WITH SCORE 4578413.612
AT ITER 9446 NEW BEST:: SOT 67646489 SOS 13792104 HAS SOPS 13792104 HAS SOUS 4563883 HAS SOUPS 4563883 WITH SCORE 4577675.104
AT ITER 9459 NEW BEST:: SOT 67646020 SOS 13791166 HAS SOPS 13791166 HAS SOUS 4563414 HAS SOUPS 4563414 WITH SCORE 4577205.166
AT ITER 9472 NEW BEST:: SOT 67645815 SOS 13790756 HAS SOPS 13790756 HAS SOUS 4563412 HAS SOUPS 4563412 WITH SCORE 4577202.756
AT ITER 9513 NEW BEST:: SOT 67645054 SOS 13789234 HAS SOPS 13789234 HAS SOUS 4562650 HAS SOUPS 4562650 WITH SCORE 4576439.234
AT ITER 9521 NEW BEST:: SOT 67643940 SOS 13096290 HAS SOPS 13096290 HAS SOUS 4561536 HAS SOUPS 4561536 WITH SCORE 4574632.29
AT ITER 9536 NEW BEST:: SOT 67643790 SOS 13095990 HAS SOPS 13095990 HAS SOUS 4561236 HAS SOUPS 4561236 WITH SCORE 4574331.99
AT ITER 9547 NEW BEST:: SOT 67643728 SOS 13073078 HAS SOPS 13073078 HAS SOUS 4561174 HAS SOUPS 4561174 WITH SCORE 4574247.078
AT ITER 9578 NEW BEST:: SOT 67642620 SOS 13070862 HAS SOPS 13070862 HAS SOUS 4560079 HAS SOUPS 4560079 WITH SCORE 4573149.862
AT ITER 9582 NEW BEST:: SOT 67642221 SOS 13069665 HAS SOPS 13069665 HAS SOUS 4559680 HAS SOUPS 4559680 WITH SCORE 4572749.665
AT ITER 9611 NEW BEST:: SOT 67642023 SOS 13069269 HAS SOPS 13069269 HAS SOUS 4559680 HAS SOUPS 4559680 WITH SCORE 4572749.269
AT ITER 9617 NEW BEST:: SOT 67642023 SOS 13069269 HAS SOPS 13069269 HAS SOUS 4559678 HAS SOUPS 4559678 WITH SCORE 4572747.269
AT ITER 9627 NEW BEST:: SOT 67641398 SOS 13068019 HAS SOPS 13068019 HAS SOUS 4559053 HAS SOUPS 4559053 WITH SCORE 4572121.019
AT ITER 9653 NEW BEST:: SOT 67641281 SOS 13067785 HAS SOPS 13067785 HAS SOUS 4558936 HAS SOUPS 4558936 WITH SCORE 4572003.785
AT ITER 9690 NEW BEST:: SOT 67641139 SOS 13067501 HAS SOPS 13067501 HAS SOUS 4558794 HAS SOUPS 4558794 WITH SCORE 4571861.501
AT ITER 9697 NEW BEST:: SOT 67640911 SOS 13067045 HAS SOPS 13067045 HAS SOUS 4558492 HAS SOUPS 4558492 WITH SCORE 4571559.045
AT ITER 9703 NEW BEST:: SOT 67640741 SOS 13066705 HAS SOPS 13066705 HAS SOUS 4558492 HAS SOUPS 4558492 WITH SCORE 4571558.705
AT ITER 9731 NEW BEST:: SOT 67640736 SOS 13066695 HAS SOPS 13066695 HAS SOUS 4558487 HAS SOUPS 4558487 WITH SCORE 4571553.695
AT ITER 9740 NEW BEST:: SOT 67640523 SOS 13066269 HAS SOPS 13066269 HAS SOUS 4558274 HAS SOUPS 4558274 WITH SCORE 4571340.269
AT ITER 9742 NEW BEST:: SOT 67638809 SOS 13062841 HAS SOPS 13062841 HAS SOUS 4556559 HAS SOUPS 4556559 WITH SCORE 4569621.841
AT ITER 9763 NEW BEST:: SOT 67638368 SOS 13061959 HAS SOPS 13061959 HAS SOUS 4556118 HAS SOUPS 4556118 WITH SCORE 4569179.959
AT ITER 9775 NEW BEST:: SOT 67637082 SOS 13060673 HAS SOPS 13060673 HAS SOUS 4554832 HAS SOUPS 4554832 WITH SCORE 4567892.673
AT ITER 9779 NEW BEST:: SOT 67635759 SOS 13059829 HAS SOPS 13059829 HAS SOUS 4553509 HAS SOUPS 4553509 WITH SCORE 4566568.829
AT ITER 9792 NEW BEST:: SOT 67623338 SOS 13328323 HAS SOPS 13328323 HAS SOUS 4544934 HAS SOUPS 4544934 WITH SCORE 4558262.323
AT ITER 9809 NEW BEST:: SOT 67623072 SOS 13327791 HAS SOPS 13327791 HAS SOUS 4544933 HAS SOUPS 4544933 WITH SCORE 4558260.791
AT ITER 9815 NEW BEST:: SOT 67622733 SOS 13327113 HAS SOPS 13327113 HAS SOUS 4544435 HAS SOUPS 4544435 WITH SCORE 4557762.113
AT ITER 9831 NEW BEST:: SOT 67622640 SOS 13326927 HAS SOPS 13326927 HAS SOUS 4543708 HAS SOUPS 4543708 WITH SCORE 4557034.927
AT ITER 9840 NEW BEST:: SOT 67622230 SOS 13325324 HAS SOPS 13325324 HAS SOUS 4543484 HAS SOUPS 4543484 WITH SCORE 4556809.324
AT ITER 9851 NEW BEST:: SOT 67622164 SOS 13325492 HAS SOPS 13325492 HAS SOUS 4543415 HAS SOUPS 4543415 WITH SCORE 4556740.492
AT ITER 9879 NEW BEST:: SOT 67621913 SOS 13324990 HAS SOPS 13324990 HAS SOUS 4543163 HAS SOUPS 4543163 WITH SCORE 4556487.99
AT ITER 9925 NEW BEST:: SOT 67621443 SOS 13324050 HAS SOPS 13324050 HAS SOUS 4542693 HAS SOUPS 4542693 WITH SCORE 4556017.05
AT ITER 9928 NEW BEST:: SOT 67621443 SOS 13323542 HAS SOPS 13323542 HAS SOUS 4542693 HAS SOUPS 4542693 WITH SCORE 4556016.542
AT ITER 9934 NEW BEST:: SOT 67619729 SOS 13322214 HAS SOPS 13322214 HAS SOUS 4540994 HAS SOUPS 4540994 WITH SCORE 4554316.214
AT ITER 9946 NEW BEST:: SOT 67618870 SOS 13321504 HAS SOPS 13321504 HAS SOUS 4540176 HAS SOUPS 4540176 WITH SCORE 4553497.504
AT ITER 9947 NEW BEST:: SOT 67618870 SOS 13321864 HAS SOPS 13321864 HAS SOUS 4540104 HAS SOUPS 4540104 WITH SCORE 4553425.864
AT ITER 9961 NEW BEST:: SOT 67618080 SOS 13320284 HAS SOPS 13320284 HAS SOUS 4538378 HAS SOUPS 4538378 WITH SCORE 4551698.284
AT ITER 9965 NEW BEST:: SOT 67617470 SOS 13318739 HAS SOPS 13318739 HAS SOUS 4537768 HAS SOUPS 4537768 WITH SCORE 4551086.739
AT ITER 9981 NEW BEST:: SOT 67616962 SOS 13317723 HAS SOPS 13317723 HAS SOUS 4537664 HAS SOUPS 4537664 WITH SCORE 4550981.723
AT ITER 9994 NEW BEST:: SOT 67616058 SOS 13315915 HAS SOPS 13315915 HAS SOUS 4537663 HAS SOUPS 4537663 WITH SCORE 4550978.915
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13527492 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16111984 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="NoC3x3-PT-8B"
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 NoC3x3-PT-8B, 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-167863541700352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B 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 ;