About the Execution of Smart+red for HospitalTriage-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1958.819 | 3600000.00 | 3618294.00 | 14353.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349700512.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 HospitalTriage-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349700512
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 15:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 15:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 15:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K Feb 26 15:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 78K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678656804390
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=HospitalTriage-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 21:33:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 21:33:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 21:33:27] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-12 21:33:27] [INFO ] Transformed 245 places.
[2023-03-12 21:33:27] [INFO ] Transformed 228 transitions.
[2023-03-12 21:33:27] [INFO ] Parsed PT model containing 245 places and 228 transitions and 680 arcs in 188 ms.
[2023-03-12 21:33:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 245 places, 228 transitions and 680 arcs took 8 ms.
Total runtime 241 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HospitalTriage (PT), instance none
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: 245 places, 228 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 37187 SOS 16015 HAS SOPS 16015 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12211.015
AT ITER 1 NEW BEST:: SOT 37141 SOS 15969 HAS SOPS 15969 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12174.969
AT ITER 5 NEW BEST:: SOT 37141 SOS 15988 HAS SOPS 15988 HAS SOUS 12149 HAS SOUPS 12149 WITH SCORE 12164.988
AT ITER 13 NEW BEST:: SOT 37141 SOS 15982 HAS SOPS 15982 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12132.982
AT ITER 15 NEW BEST:: SOT 37141 SOS 15934 HAS SOPS 15934 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12034.934
AT ITER 19 NEW BEST:: SOT 37120 SOS 15913 HAS SOPS 15913 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12007.913
AT ITER 26 NEW BEST:: SOT 37120 SOS 15876 HAS SOPS 15876 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11940.876
AT ITER 32 NEW BEST:: SOT 37101 SOS 15902 HAS SOPS 15902 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11937.902
AT ITER 43 NEW BEST:: SOT 37101 SOS 15877 HAS SOPS 15877 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11912.877
AT ITER 49 NEW BEST:: SOT 37081 SOS 15857 HAS SOPS 15857 HAS SOUS 11867 HAS SOUPS 11867 WITH SCORE 11882.857
AT ITER 68 NEW BEST:: SOT 37039 SOS 15818 HAS SOPS 15818 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11858.818
AT ITER 70 NEW BEST:: SOT 37039 SOS 15814 HAS SOPS 15814 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11854.814
AT ITER 77 NEW BEST:: SOT 37039 SOS 15854 HAS SOPS 15854 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11846.854
AT ITER 88 NEW BEST:: SOT 37039 SOS 15845 HAS SOPS 15845 HAS SOUS 11822 HAS SOUPS 11822 WITH SCORE 11837.845
AT ITER 92 NEW BEST:: SOT 37019 SOS 15816 HAS SOPS 15816 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11816.816
AT ITER 94 NEW BEST:: SOT 36990 SOS 15740 HAS SOPS 15740 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11740.74
AT ITER 95 NEW BEST:: SOT 36990 SOS 15754 HAS SOPS 15754 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11731.754
AT ITER 101 NEW BEST:: SOT 36962 SOS 15729 HAS SOPS 15729 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11690.729
AT ITER 104 NEW BEST:: SOT 36925 SOS 15698 HAS SOPS 15698 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11659.698
AT ITER 106 NEW BEST:: SOT 36925 SOS 15691 HAS SOPS 15691 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11652.691
AT ITER 109 NEW BEST:: SOT 36932 SOS 15721 HAS SOPS 15721 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11629.721
AT ITER 131 NEW BEST:: SOT 36912 SOS 15724 HAS SOPS 15724 HAS SOUS 11595 HAS SOUPS 11595 WITH SCORE 11610.724
AT ITER 137 NEW BEST:: SOT 36912 SOS 15716 HAS SOPS 15716 HAS SOUS 11595 HAS SOUPS 11595 WITH SCORE 11610.716
AT ITER 141 NEW BEST:: SOT 36912 SOS 15600 HAS SOPS 15600 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11554.6
AT ITER 143 NEW BEST:: SOT 36912 SOS 15600 HAS SOPS 15600 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11553.6
AT ITER 159 NEW BEST:: SOT 34807 SOS 13749 HAS SOPS 13749 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9566.749
AT ITER 165 NEW BEST:: SOT 34789 SOS 13731 HAS SOPS 13731 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9530.731
AT ITER 174 NEW BEST:: SOT 34778 SOS 13720 HAS SOPS 13720 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9508.72
AT ITER 176 NEW BEST:: SOT 34778 SOS 13720 HAS SOPS 13720 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9494.72
AT ITER 191 NEW BEST:: SOT 34751 SOS 13693 HAS SOPS 13693 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9471.693
AT ITER 193 NEW BEST:: SOT 34781 SOS 13751 HAS SOPS 13751 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9461.751
AT ITER 202 NEW BEST:: SOT 34773 SOS 13743 HAS SOPS 13743 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9445.743
AT ITER 206 NEW BEST:: SOT 34760 SOS 13709 HAS SOPS 13709 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9411.709
AT ITER 211 NEW BEST:: SOT 34760 SOS 13709 HAS SOPS 13709 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9406.709
AT ITER 212 NEW BEST:: SOT 34738 SOS 13687 HAS SOPS 13687 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9406.687
AT ITER 223 NEW BEST:: SOT 34714 SOS 13621 HAS SOPS 13621 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9340.621
AT ITER 224 NEW BEST:: SOT 34714 SOS 13618 HAS SOPS 13618 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9340.618
AT ITER 229 NEW BEST:: SOT 34688 SOS 13607 HAS SOPS 13607 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9323.607
AT ITER 239 NEW BEST:: SOT 34682 SOS 13601 HAS SOPS 13601 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9317.601
AT ITER 244 NEW BEST:: SOT 34682 SOS 12979 HAS SOPS 12979 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9316.979
AT ITER 260 NEW BEST:: SOT 34682 SOS 12978 HAS SOPS 12978 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9316.978
AT ITER 268 NEW BEST:: SOT 34682 SOS 12957 HAS SOPS 12957 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9316.957
AT ITER 277 NEW BEST:: SOT 34726 SOS 13001 HAS SOPS 13001 HAS SOUS 9294 HAS SOUPS 9294 WITH SCORE 9307.001
AT ITER 289 NEW BEST:: SOT 34653 SOS 12928 HAS SOPS 12928 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9167.928
AT ITER 295 NEW BEST:: SOT 34622 SOS 12905 HAS SOPS 12905 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9140.905
AT ITER 307 NEW BEST:: SOT 34622 SOS 12904 HAS SOPS 12904 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9138.904
AT ITER 333 NEW BEST:: SOT 34614 SOS 12896 HAS SOPS 12896 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9122.896
AT ITER 344 NEW BEST:: SOT 34602 SOS 12884 HAS SOPS 12884 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9121.884
AT ITER 368 NEW BEST:: SOT 34601 SOS 12883 HAS SOPS 12883 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9118.883
AT ITER 369 NEW BEST:: SOT 34601 SOS 12880 HAS SOPS 12880 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9115.88
AT ITER 377 NEW BEST:: SOT 34588 SOS 12995 HAS SOPS 12995 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9102.995
AT ITER 379 NEW BEST:: SOT 34588 SOS 12988 HAS SOPS 12988 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9095.988
AT ITER 391 NEW BEST:: SOT 34558 SOS 13003 HAS SOPS 13003 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9060.003
AT ITER 401 NEW BEST:: SOT 34558 SOS 13002 HAS SOPS 13002 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9060.002
AT ITER 440 NEW BEST:: SOT 34558 SOS 12999 HAS SOPS 12999 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9056.999
AT ITER 441 NEW BEST:: SOT 34558 SOS 12974 HAS SOPS 12974 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9056.974
AT ITER 448 NEW BEST:: SOT 34558 SOS 13026 HAS SOPS 13026 HAS SOUS 9042 HAS SOUPS 9042 WITH SCORE 9055.026
AT ITER 463 NEW BEST:: SOT 34550 SOS 13018 HAS SOPS 13018 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9024.018
AT ITER 466 NEW BEST:: SOT 34539 SOS 13007 HAS SOPS 13007 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9013.007
AT ITER 467 NEW BEST:: SOT 34539 SOS 13007 HAS SOPS 13007 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9007.007
AT ITER 476 NEW BEST:: SOT 34530 SOS 12995 HAS SOPS 12995 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8985.995
AT ITER 483 NEW BEST:: SOT 34525 SOS 12989 HAS SOPS 12989 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8978.989
AT ITER 498 NEW BEST:: SOT 34535 SOS 12977 HAS SOPS 12977 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8976.977
AT ITER 502 NEW BEST:: SOT 34535 SOS 12971 HAS SOPS 12971 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8976.971
AT ITER 512 NEW BEST:: SOT 34534 SOS 12967 HAS SOPS 12967 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8970.967
AT ITER 520 NEW BEST:: SOT 34513 SOS 12944 HAS SOPS 12944 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8949.944
AT ITER 527 NEW BEST:: SOT 34505 SOS 12928 HAS SOPS 12928 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8933.928
AT ITER 528 NEW BEST:: SOT 34493 SOS 12910 HAS SOPS 12910 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8915.91
AT ITER 531 NEW BEST:: SOT 34493 SOS 12886 HAS SOPS 12886 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8915.886
AT ITER 540 NEW BEST:: SOT 34488 SOS 12876 HAS SOPS 12876 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8905.876
AT ITER 544 NEW BEST:: SOT 34468 SOS 12852 HAS SOPS 12852 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8885.852
AT ITER 546 NEW BEST:: SOT 34456 SOS 12840 HAS SOPS 12840 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8884.84
AT ITER 553 NEW BEST:: SOT 34456 SOS 12840 HAS SOPS 12840 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8882.84
AT ITER 558 NEW BEST:: SOT 34431 SOS 12800 HAS SOPS 12800 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8842.8
AT ITER 561 NEW BEST:: SOT 34426 SOS 12795 HAS SOPS 12795 HAS SOUS 8781 HAS SOUPS 8781 WITH SCORE 8793.795
AT ITER 562 NEW BEST:: SOT 34415 SOS 12762 HAS SOPS 12762 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8771.762
AT ITER 564 NEW BEST:: SOT 34429 SOS 12776 HAS SOPS 12776 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8762.776
AT ITER 566 NEW BEST:: SOT 34402 SOS 12749 HAS SOPS 12749 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8730.749
AT ITER 588 NEW BEST:: SOT 34402 SOS 12748 HAS SOPS 12748 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8729.748
AT ITER 595 NEW BEST:: SOT 34393 SOS 12739 HAS SOPS 12739 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8720.739
AT ITER 617 NEW BEST:: SOT 34393 SOS 12687 HAS SOPS 12687 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8720.687
AT ITER 632 NEW BEST:: SOT 34389 SOS 12683 HAS SOPS 12683 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8716.683
AT ITER 635 NEW BEST:: SOT 34401 SOS 12677 HAS SOPS 12677 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8704.677
AT ITER 660 NEW BEST:: SOT 34385 SOS 12661 HAS SOPS 12661 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8703.661
AT ITER 662 NEW BEST:: SOT 34385 SOS 12661 HAS SOPS 12661 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8660.661
AT ITER 665 NEW BEST:: SOT 34385 SOS 12661 HAS SOPS 12661 HAS SOUS 8643 HAS SOUPS 8643 WITH SCORE 8655.661
AT ITER 667 NEW BEST:: SOT 34377 SOS 12653 HAS SOPS 12653 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8639.653
AT ITER 677 NEW BEST:: SOT 34382 SOS 12644 HAS SOPS 12644 HAS SOUS 8613 HAS SOUPS 8613 WITH SCORE 8625.644
AT ITER 678 NEW BEST:: SOT 34377 SOS 12643 HAS SOPS 12643 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8624.643
AT ITER 683 NEW BEST:: SOT 34377 SOS 12640 HAS SOPS 12640 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8624.64
AT ITER 699 NEW BEST:: SOT 34367 SOS 12630 HAS SOPS 12630 HAS SOUS 8582 HAS SOUPS 8582 WITH SCORE 8594.63
AT ITER 711 NEW BEST:: SOT 34351 SOS 12577 HAS SOPS 12577 HAS SOUS 8529 HAS SOUPS 8529 WITH SCORE 8541.577
AT ITER 728 NEW BEST:: SOT 34328 SOS 12614 HAS SOPS 12614 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8540.614
AT ITER 763 NEW BEST:: SOT 34308 SOS 12594 HAS SOPS 12594 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8509.594
AT ITER 793 NEW BEST:: SOT 34310 SOS 12596 HAS SOPS 12596 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8505.596
AT ITER 803 NEW BEST:: SOT 34310 SOS 12592 HAS SOPS 12592 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8501.592
AT ITER 804 NEW BEST:: SOT 34310 SOS 12592 HAS SOPS 12592 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8495.592
AT ITER 806 NEW BEST:: SOT 34310 SOS 12592 HAS SOPS 12592 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8490.592
AT ITER 814 NEW BEST:: SOT 34310 SOS 12587 HAS SOPS 12587 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8485.587
AT ITER 815 NEW BEST:: SOT 34284 SOS 12561 HAS SOPS 12561 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8459.561
AT ITER 833 NEW BEST:: SOT 34281 SOS 12541 HAS SOPS 12541 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8439.541
AT ITER 837 NEW BEST:: SOT 34274 SOS 12536 HAS SOPS 12536 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8407.536
AT ITER 861 NEW BEST:: SOT 34269 SOS 12531 HAS SOPS 12531 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.531
AT ITER 867 NEW BEST:: SOT 34260 SOS 12555 HAS SOPS 12555 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8380.555
AT ITER 871 NEW BEST:: SOT 34257 SOS 12552 HAS SOPS 12552 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8375.552
AT ITER 890 NEW BEST:: SOT 34257 SOS 12540 HAS SOPS 12540 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8363.54
AT ITER 916 NEW BEST:: SOT 34257 SOS 12535 HAS SOPS 12535 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8363.535
AT ITER 917 NEW BEST:: SOT 34231 SOS 12483 HAS SOPS 12483 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8337.483
AT ITER 923 NEW BEST:: SOT 34231 SOS 12483 HAS SOPS 12483 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8334.483
AT ITER 945 NEW BEST:: SOT 34231 SOS 12479 HAS SOPS 12479 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8330.479
AT ITER 953 NEW BEST:: SOT 34185 SOS 12491 HAS SOPS 12491 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8268.491
AT ITER 1008 NEW BEST:: SOT 34185 SOS 12491 HAS SOPS 12491 HAS SOUS 8243 HAS SOUPS 8243 WITH SCORE 8255.491
AT ITER 1039 NEW BEST:: SOT 34173 SOS 12479 HAS SOPS 12479 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8231.479
AT ITER 1041 NEW BEST:: SOT 34168 SOS 12495 HAS SOPS 12495 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8221.495
AT ITER 1061 NEW BEST:: SOT 34172 SOS 12499 HAS SOPS 12499 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8191.499
AT ITER 1069 NEW BEST:: SOT 34179 SOS 12519 HAS SOPS 12519 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8181.519
AT ITER 1073 NEW BEST:: SOT 34179 SOS 12519 HAS SOPS 12519 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8179.519
AT ITER 1093 NEW BEST:: SOT 34180 SOS 12519 HAS SOPS 12519 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8178.519
AT ITER 1101 NEW BEST:: SOT 34162 SOS 12501 HAS SOPS 12501 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8142.501
AT ITER 1115 NEW BEST:: SOT 34169 SOS 12508 HAS SOPS 12508 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8139.508
AT ITER 1123 NEW BEST:: SOT 34161 SOS 12505 HAS SOPS 12505 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8124.505
AT ITER 1126 NEW BEST:: SOT 34148 SOS 12492 HAS SOPS 12492 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8115.492
AT ITER 1133 NEW BEST:: SOT 34151 SOS 12495 HAS SOPS 12495 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8099.495
AT ITER 1139 NEW BEST:: SOT 34153 SOS 12487 HAS SOPS 12487 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8093.487
AT ITER 1140 NEW BEST:: SOT 34128 SOS 12462 HAS SOPS 12462 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8056.462
AT ITER 1155 NEW BEST:: SOT 34128 SOS 12462 HAS SOPS 12462 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8044.462
AT ITER 1179 NEW BEST:: SOT 34132 SOS 12374 HAS SOPS 12374 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8040.374
AT ITER 1183 NEW BEST:: SOT 34131 SOS 12373 HAS SOPS 12373 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8038.373
AT ITER 1195 NEW BEST:: SOT 34096 SOS 12338 HAS SOPS 12338 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8011.338
AT ITER 1203 NEW BEST:: SOT 34096 SOS 12338 HAS SOPS 12338 HAS SOUS 7995 HAS SOUPS 7995 WITH SCORE 8007.338
AT ITER 1221 NEW BEST:: SOT 34099 SOS 12341 HAS SOPS 12341 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7988.341
AT ITER 1236 NEW BEST:: SOT 34099 SOS 12324 HAS SOPS 12324 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7971.324
AT ITER 1273 NEW BEST:: SOT 34093 SOS 12311 HAS SOPS 12311 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7958.311
AT ITER 1274 NEW BEST:: SOT 34088 SOS 12333 HAS SOPS 12333 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7948.333
AT ITER 1296 NEW BEST:: SOT 34088 SOS 12301 HAS SOPS 12301 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7938.301
AT ITER 1343 NEW BEST:: SOT 34088 SOS 12263 HAS SOPS 12263 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7938.263
AT ITER 1355 NEW BEST:: SOT 34088 SOS 12263 HAS SOPS 12263 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7937.263
AT ITER 1376 NEW BEST:: SOT 34080 SOS 12262 HAS SOPS 12262 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7931.262
AT ITER 1380 NEW BEST:: SOT 34108 SOS 12238 HAS SOPS 12238 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7920.238
AT ITER 1389 NEW BEST:: SOT 34097 SOS 12243 HAS SOPS 12243 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7898.243
AT ITER 1395 NEW BEST:: SOT 34072 SOS 12193 HAS SOPS 12193 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7873.193
AT ITER 1432 NEW BEST:: SOT 34072 SOS 12193 HAS SOPS 12193 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7871.193
AT ITER 1441 NEW BEST:: SOT 34069 SOS 12193 HAS SOPS 12193 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7865.193
AT ITER 1442 NEW BEST:: SOT 34069 SOS 12201 HAS SOPS 12201 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7857.201
AT ITER 1443 NEW BEST:: SOT 34076 SOS 12204 HAS SOPS 12204 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7852.204
AT ITER 1480 NEW BEST:: SOT 34058 SOS 12178 HAS SOPS 12178 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7810.178
AT ITER 1497 NEW BEST:: SOT 34038 SOS 12131 HAS SOPS 12131 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7781.131
AT ITER 1499 NEW BEST:: SOT 34034 SOS 12091 HAS SOPS 12091 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7780.091
AT ITER 1512 NEW BEST:: SOT 34021 SOS 12078 HAS SOPS 12078 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7760.078
AT ITER 1513 NEW BEST:: SOT 34011 SOS 12110 HAS SOPS 12110 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7740.11
AT ITER 1534 NEW BEST:: SOT 33976 SOS 12070 HAS SOPS 12070 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7730.07
AT ITER 1570 NEW BEST:: SOT 33976 SOS 12070 HAS SOPS 12070 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7726.07
AT ITER 1573 NEW BEST:: SOT 33966 SOS 12078 HAS SOPS 12078 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7724.078
AT ITER 1591 NEW BEST:: SOT 33957 SOS 12069 HAS SOPS 12069 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7706.069
AT ITER 1613 NEW BEST:: SOT 33953 SOS 12065 HAS SOPS 12065 HAS SOUS 7686 HAS SOUPS 7686 WITH SCORE 7698.065
AT ITER 1623 NEW BEST:: SOT 33953 SOS 12065 HAS SOPS 12065 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7697.065
AT ITER 1628 NEW BEST:: SOT 33949 SOS 12075 HAS SOPS 12075 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7689.075
AT ITER 1630 NEW BEST:: SOT 33941 SOS 12059 HAS SOPS 12059 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7673.059
AT ITER 1635 NEW BEST:: SOT 33939 SOS 12057 HAS SOPS 12057 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7671.057
AT ITER 1642 NEW BEST:: SOT 33939 SOS 12052 HAS SOPS 12052 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7666.052
AT ITER 1646 NEW BEST:: SOT 33800 SOS 12028 HAS SOPS 12028 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7596.028
AT ITER 1663 NEW BEST:: SOT 33792 SOS 12020 HAS SOPS 12020 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7580.02
AT ITER 1678 NEW BEST:: SOT 33782 SOS 12010 HAS SOPS 12010 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7570.01
AT ITER 1698 NEW BEST:: SOT 33774 SOS 12002 HAS SOPS 12002 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7562.002
AT ITER 1710 NEW BEST:: SOT 33774 SOS 11996 HAS SOPS 11996 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7555.996
AT ITER 1732 NEW BEST:: SOT 33766 SOS 12015 HAS SOPS 12015 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7540.015
AT ITER 1817 NEW BEST:: SOT 33744 SOS 11991 HAS SOPS 11991 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7503.991
AT ITER 1825 NEW BEST:: SOT 33741 SOS 11988 HAS SOPS 11988 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7484.988
AT ITER 1851 NEW BEST:: SOT 33741 SOS 11987 HAS SOPS 11987 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7484.987
AT ITER 1855 NEW BEST:: SOT 33743 SOS 11974 HAS SOPS 11974 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7471.974
AT ITER 1879 NEW BEST:: SOT 33740 SOS 11971 HAS SOPS 11971 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7468.971
AT ITER 1908 NEW BEST:: SOT 33727 SOS 11971 HAS SOPS 11971 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7455.971
AT ITER 1933 NEW BEST:: SOT 33720 SOS 11968 HAS SOPS 11968 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7452.968
AT ITER 1941 NEW BEST:: SOT 33719 SOS 11965 HAS SOPS 11965 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7448.965
AT ITER 1952 NEW BEST:: SOT 33701 SOS 11920 HAS SOPS 11920 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7442.92
AT ITER 1993 NEW BEST:: SOT 33674 SOS 11925 HAS SOPS 11925 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7420.925
AT ITER 2033 NEW BEST:: SOT 33670 SOS 11921 HAS SOPS 11921 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7412.921
AT ITER 2061 NEW BEST:: SOT 33670 SOS 11896 HAS SOPS 11896 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7387.896
AT ITER 2062 NEW BEST:: SOT 33670 SOS 11896 HAS SOPS 11896 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7340.896
AT ITER 2069 NEW BEST:: SOT 33669 SOS 11895 HAS SOPS 11895 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7339.895
AT ITER 2094 NEW BEST:: SOT 33673 SOS 11582 HAS SOPS 11582 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7327.582
AT ITER 2115 NEW BEST:: SOT 33673 SOS 11582 HAS SOPS 11582 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7324.582
AT ITER 2120 NEW BEST:: SOT 33666 SOS 11575 HAS SOPS 11575 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7303.575
AT ITER 2139 NEW BEST:: SOT 33666 SOS 11574 HAS SOPS 11574 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7302.574
AT ITER 2145 NEW BEST:: SOT 33666 SOS 11568 HAS SOPS 11568 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7302.568
AT ITER 2195 NEW BEST:: SOT 33657 SOS 11550 HAS SOPS 11550 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7284.55
AT ITER 2198 NEW BEST:: SOT 33642 SOS 11535 HAS SOPS 11535 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7254.535
AT ITER 2200 NEW BEST:: SOT 33638 SOS 11542 HAS SOPS 11542 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7253.542
AT ITER 2224 NEW BEST:: SOT 33636 SOS 11540 HAS SOPS 11540 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7249.54
AT ITER 2249 NEW BEST:: SOT 33622 SOS 11516 HAS SOPS 11516 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7236.516
AT ITER 2276 NEW BEST:: SOT 33632 SOS 11491 HAS SOPS 11491 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7221.491
AT ITER 2297 NEW BEST:: SOT 33624 SOS 11507 HAS SOPS 11507 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7213.507
AT ITER 2300 NEW BEST:: SOT 33622 SOS 11505 HAS SOPS 11505 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7203.505
AT ITER 2327 NEW BEST:: SOT 33621 SOS 11504 HAS SOPS 11504 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7201.504
AT ITER 2340 NEW BEST:: SOT 33610 SOS 11508 HAS SOPS 11508 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7179.508
AT ITER 2359 NEW BEST:: SOT 33611 SOS 11509 HAS SOPS 11509 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7165.509
AT ITER 2380 NEW BEST:: SOT 33614 SOS 11502 HAS SOPS 11502 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7161.502
AT ITER 2387 NEW BEST:: SOT 33603 SOS 11502 HAS SOPS 11502 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7150.502
AT ITER 2395 NEW BEST:: SOT 33600 SOS 11496 HAS SOPS 11496 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7144.496
AT ITER 2402 NEW BEST:: SOT 33590 SOS 11448 HAS SOPS 11448 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7134.448
AT ITER 2445 NEW BEST:: SOT 33587 SOS 11443 HAS SOPS 11443 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7110.443
AT ITER 2500 NEW BEST:: SOT 33565 SOS 11421 HAS SOPS 11421 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7066.421
AT ITER 2529 NEW BEST:: SOT 33556 SOS 11401 HAS SOPS 11401 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7046.401
AT ITER 2555 NEW BEST:: SOT 33553 SOS 11398 HAS SOPS 11398 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7041.398
AT ITER 2612 NEW BEST:: SOT 33553 SOS 11394 HAS SOPS 11394 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7041.394
AT ITER 2638 NEW BEST:: SOT 33549 SOS 11390 HAS SOPS 11390 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7037.39
AT ITER 2659 NEW BEST:: SOT 33565 SOS 11077 HAS SOPS 11077 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7037.077
AT ITER 2663 NEW BEST:: SOT 33566 SOS 11082 HAS SOPS 11082 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7031.082
AT ITER 2695 NEW BEST:: SOT 33556 SOS 11072 HAS SOPS 11072 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7026.072
AT ITER 2696 NEW BEST:: SOT 33555 SOS 11033 HAS SOPS 11033 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7025.033
AT ITER 2697 NEW BEST:: SOT 33553 SOS 11029 HAS SOPS 11029 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7023.029
AT ITER 2721 NEW BEST:: SOT 33545 SOS 11020 HAS SOPS 11020 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7021.02
AT ITER 2823 NEW BEST:: SOT 33545 SOS 11006 HAS SOPS 11006 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7021.006
AT ITER 2830 NEW BEST:: SOT 33544 SOS 11005 HAS SOPS 11005 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7019.005
AT ITER 2910 NEW BEST:: SOT 33541 SOS 11002 HAS SOPS 11002 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7013.002
AT ITER 2922 NEW BEST:: SOT 33541 SOS 10998 HAS SOPS 10998 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7010.998
AT ITER 2962 NEW BEST:: SOT 33541 SOS 10978 HAS SOPS 10978 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 7000.978
AT ITER 2963 NEW BEST:: SOT 33536 SOS 10973 HAS SOPS 10973 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6998.973
AT ITER 2977 NEW BEST:: SOT 33531 SOS 10970 HAS SOPS 10970 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6995.97
AT ITER 2980 NEW BEST:: SOT 33521 SOS 11020 HAS SOPS 11020 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6987.02
AT ITER 2986 NEW BEST:: SOT 33521 SOS 11020 HAS SOPS 11020 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6983.02
AT ITER 2990 NEW BEST:: SOT 33521 SOS 10987 HAS SOPS 10987 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6982.987
AT ITER 2996 NEW BEST:: SOT 33519 SOS 10984 HAS SOPS 10984 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6977.984
AT ITER 3009 NEW BEST:: SOT 33519 SOS 10963 HAS SOPS 10963 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6977.963
AT ITER 3014 NEW BEST:: SOT 33519 SOS 10915 HAS SOPS 10915 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6974.915
AT ITER 3043 NEW BEST:: SOT 33517 SOS 10873 HAS SOPS 10873 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6971.873
AT ITER 3047 NEW BEST:: SOT 33517 SOS 10864 HAS SOPS 10864 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6962.864
AT ITER 3068 NEW BEST:: SOT 33515 SOS 10862 HAS SOPS 10862 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6962.862
AT ITER 3081 NEW BEST:: SOT 33515 SOS 10856 HAS SOPS 10856 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6944.856
AT ITER 3089 NEW BEST:: SOT 33512 SOS 10853 HAS SOPS 10853 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6938.853
AT ITER 3110 NEW BEST:: SOT 33501 SOS 10854 HAS SOPS 10854 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6936.854
AT ITER 3125 NEW BEST:: SOT 33500 SOS 10860 HAS SOPS 10860 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6934.86
AT ITER 3143 NEW BEST:: SOT 33499 SOS 10859 HAS SOPS 10859 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6932.859
AT ITER 3190 NEW BEST:: SOT 33499 SOS 10846 HAS SOPS 10846 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6925.846
AT ITER 3251 NEW BEST:: SOT 33499 SOS 10849 HAS SOPS 10849 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6923.849
AT ITER 3284 NEW BEST:: SOT 33494 SOS 10850 HAS SOPS 10850 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6920.85
AT ITER 3290 NEW BEST:: SOT 33492 SOS 10846 HAS SOPS 10846 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6916.846
AT ITER 3293 NEW BEST:: SOT 33490 SOS 10853 HAS SOPS 10853 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6912.853
AT ITER 3295 NEW BEST:: SOT 33488 SOS 10871 HAS SOPS 10871 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6908.871
AT ITER 3301 NEW BEST:: SOT 33485 SOS 10868 HAS SOPS 10868 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6905.868
AT ITER 3305 NEW BEST:: SOT 33483 SOS 10866 HAS SOPS 10866 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6901.866
AT ITER 3325 NEW BEST:: SOT 33480 SOS 10863 HAS SOPS 10863 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6894.863
AT ITER 3328 NEW BEST:: SOT 33474 SOS 10858 HAS SOPS 10858 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6882.858
AT ITER 3333 NEW BEST:: SOT 33474 SOS 10849 HAS SOPS 10849 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6873.849
AT ITER 3361 NEW BEST:: SOT 33460 SOS 10834 HAS SOPS 10834 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6854.834
AT ITER 3401 NEW BEST:: SOT 33458 SOS 10832 HAS SOPS 10832 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6850.832
AT ITER 3402 NEW BEST:: SOT 33458 SOS 10830 HAS SOPS 10830 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6850.83
AT ITER 3407 NEW BEST:: SOT 33458 SOS 10825 HAS SOPS 10825 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6850.825
AT ITER 3472 NEW BEST:: SOT 33454 SOS 10826 HAS SOPS 10826 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6847.826
AT ITER 3511 NEW BEST:: SOT 33452 SOS 10824 HAS SOPS 10824 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6845.824
AT ITER 3528 NEW BEST:: SOT 33448 SOS 10820 HAS SOPS 10820 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6837.82
AT ITER 3608 NEW BEST:: SOT 33455 SOS 10706 HAS SOPS 10706 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6837.706
AT ITER 3645 NEW BEST:: SOT 33446 SOS 10690 HAS SOPS 10690 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6813.69
AT ITER 3711 NEW BEST:: SOT 33465 SOS 10707 HAS SOPS 10707 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6812.707
AT ITER 3794 NEW BEST:: SOT 33460 SOS 10702 HAS SOPS 10702 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6802.702
AT ITER 3810 NEW BEST:: SOT 33460 SOS 10686 HAS SOPS 10686 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6802.686
AT ITER 3829 NEW BEST:: SOT 33454 SOS 10680 HAS SOPS 10680 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6799.68
AT ITER 3917 NEW BEST:: SOT 33454 SOS 10674 HAS SOPS 10674 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6799.674
AT ITER 3923 NEW BEST:: SOT 33454 SOS 10673 HAS SOPS 10673 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6799.673
AT ITER 3928 NEW BEST:: SOT 33453 SOS 10671 HAS SOPS 10671 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6798.671
AT ITER 3955 NEW BEST:: SOT 33453 SOS 10670 HAS SOPS 10670 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6797.67
AT ITER 3993 NEW BEST:: SOT 33451 SOS 10668 HAS SOPS 10668 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6793.668
AT ITER 4009 NEW BEST:: SOT 33447 SOS 10664 HAS SOPS 10664 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6785.664
AT ITER 4032 NEW BEST:: SOT 33444 SOS 10661 HAS SOPS 10661 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6783.661
AT ITER 4051 NEW BEST:: SOT 33448 SOS 10648 HAS SOPS 10648 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6783.648
AT ITER 4056 NEW BEST:: SOT 33448 SOS 10648 HAS SOPS 10648 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.648
AT ITER 4066 NEW BEST:: SOT 33458 SOS 10653 HAS SOPS 10653 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6767.653
AT ITER 4073 NEW BEST:: SOT 33458 SOS 10653 HAS SOPS 10653 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6763.653
AT ITER 4084 NEW BEST:: SOT 33457 SOS 10652 HAS SOPS 10652 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6761.652
AT ITER 4090 NEW BEST:: SOT 33457 SOS 10645 HAS SOPS 10645 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6754.645
AT ITER 4112 NEW BEST:: SOT 33452 SOS 10657 HAS SOPS 10657 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6744.657
AT ITER 4125 NEW BEST:: SOT 33452 SOS 10637 HAS SOPS 10637 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6744.637
AT ITER 4133 NEW BEST:: SOT 33451 SOS 10628 HAS SOPS 10628 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6735.628
AT ITER 4152 NEW BEST:: SOT 33451 SOS 10639 HAS SOPS 10639 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6725.639
AT ITER 4209 NEW BEST:: SOT 33451 SOS 10639 HAS SOPS 10639 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6718.639
AT ITER 4228 NEW BEST:: SOT 33451 SOS 10625 HAS SOPS 10625 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6718.625
AT ITER 4253 NEW BEST:: SOT 33453 SOS 10627 HAS SOPS 10627 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6717.627
AT ITER 4256 NEW BEST:: SOT 33440 SOS 10625 HAS SOPS 10625 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6699.625
AT ITER 4305 NEW BEST:: SOT 33440 SOS 10615 HAS SOPS 10615 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6699.615
AT ITER 4316 NEW BEST:: SOT 33438 SOS 10613 HAS SOPS 10613 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6693.613
AT ITER 4323 NEW BEST:: SOT 33435 SOS 10610 HAS SOPS 10610 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6690.61
AT ITER 4393 NEW BEST:: SOT 33433 SOS 10608 HAS SOPS 10608 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6688.608
AT ITER 4432 NEW BEST:: SOT 33430 SOS 10613 HAS SOPS 10613 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6682.613
AT ITER 4456 NEW BEST:: SOT 33421 SOS 10602 HAS SOPS 10602 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6673.602
AT ITER 4461 NEW BEST:: SOT 33421 SOS 10596 HAS SOPS 10596 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6673.596
AT ITER 4506 NEW BEST:: SOT 33418 SOS 10593 HAS SOPS 10593 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6667.593
AT ITER 4552 NEW BEST:: SOT 33418 SOS 10591 HAS SOPS 10591 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6666.591
AT ITER 4553 NEW BEST:: SOT 33418 SOS 10587 HAS SOPS 10587 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6662.587
AT ITER 4564 NEW BEST:: SOT 33399 SOS 10605 HAS SOPS 10605 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6652.605
AT ITER 4610 NEW BEST:: SOT 33400 SOS 10576 HAS SOPS 10576 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6651.576
AT ITER 4661 NEW BEST:: SOT 33404 SOS 10580 HAS SOPS 10580 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6649.58
AT ITER 4714 NEW BEST:: SOT 33399 SOS 10575 HAS SOPS 10575 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6644.575
AT ITER 4719 NEW BEST:: SOT 33407 SOS 10583 HAS SOPS 10583 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6633.583
AT ITER 4731 NEW BEST:: SOT 33404 SOS 10580 HAS SOPS 10580 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6627.58
AT ITER 4751 NEW BEST:: SOT 33403 SOS 10579 HAS SOPS 10579 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6625.579
AT ITER 4756 NEW BEST:: SOT 33417 SOS 10577 HAS SOPS 10577 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6625.577
AT ITER 4768 NEW BEST:: SOT 33434 SOS 10590 HAS SOPS 10590 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6622.59
AT ITER 4800 NEW BEST:: SOT 33423 SOS 10568 HAS SOPS 10568 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6600.568
AT ITER 4847 NEW BEST:: SOT 33423 SOS 10568 HAS SOPS 10568 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6593.568
AT ITER 4852 NEW BEST:: SOT 33422 SOS 10567 HAS SOPS 10567 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6591.567
AT ITER 4882 NEW BEST:: SOT 33417 SOS 10562 HAS SOPS 10562 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6573.562
AT ITER 4951 NEW BEST:: SOT 33419 SOS 10528 HAS SOPS 10528 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6573.528
AT ITER 5013 NEW BEST:: SOT 33419 SOS 10528 HAS SOPS 10528 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6557.528
AT ITER 5014 NEW BEST:: SOT 33419 SOS 10548 HAS SOPS 10548 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6552.548
AT ITER 5023 NEW BEST:: SOT 33417 SOS 10546 HAS SOPS 10546 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6550.546
AT ITER 5057 NEW BEST:: SOT 33416 SOS 10545 HAS SOPS 10545 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6547.545
AT ITER 5075 NEW BEST:: SOT 33410 SOS 10297 HAS SOPS 10297 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6529.297
AT ITER 5097 NEW BEST:: SOT 33404 SOS 10291 HAS SOPS 10291 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6525.291
AT ITER 5106 NEW BEST:: SOT 33404 SOS 10286 HAS SOPS 10286 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6525.286
AT ITER 5113 NEW BEST:: SOT 33404 SOS 10285 HAS SOPS 10285 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6523.285
AT ITER 5177 NEW BEST:: SOT 33404 SOS 10284 HAS SOPS 10284 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6523.284
AT ITER 5190 NEW BEST:: SOT 33396 SOS 10281 HAS SOPS 10281 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6512.281
AT ITER 5246 NEW BEST:: SOT 33391 SOS 10276 HAS SOPS 10276 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6502.276
AT ITER 5313 NEW BEST:: SOT 33424 SOS 10010 HAS SOPS 10010 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6502.01
AT ITER 5364 NEW BEST:: SOT 33424 SOS 9996 HAS SOPS 9996 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6501.996
AT ITER 5365 NEW BEST:: SOT 33422 SOS 9990 HAS SOPS 9990 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6498.99
AT ITER 5394 NEW BEST:: SOT 33415 SOS 10020 HAS SOPS 10020 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6494.02
AT ITER 5431 NEW BEST:: SOT 33415 SOS 10019 HAS SOPS 10019 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6488.019
AT ITER 5443 NEW BEST:: SOT 33414 SOS 10017 HAS SOPS 10017 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6486.017
AT ITER 5468 NEW BEST:: SOT 33413 SOS 10016 HAS SOPS 10016 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6484.016
AT ITER 5471 NEW BEST:: SOT 33412 SOS 10015 HAS SOPS 10015 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6483.015
AT ITER 5554 NEW BEST:: SOT 33412 SOS 10015 HAS SOPS 10015 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6482.015
AT ITER 5599 NEW BEST:: SOT 33410 SOS 10013 HAS SOPS 10013 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.013
AT ITER 5604 NEW BEST:: SOT 33410 SOS 10009 HAS SOPS 10009 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.009
AT ITER 5633 NEW BEST:: SOT 33408 SOS 10007 HAS SOPS 10007 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6472.007
AT ITER 5634 NEW BEST:: SOT 33408 SOS 10007 HAS SOPS 10007 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6470.007
AT ITER 5661 NEW BEST:: SOT 33408 SOS 9977 HAS SOPS 9977 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6439.977
AT ITER 5686 NEW BEST:: SOT 33406 SOS 9976 HAS SOPS 9976 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6438.976
AT ITER 5713 NEW BEST:: SOT 33406 SOS 9975 HAS SOPS 9975 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6437.975
AT ITER 5794 NEW BEST:: SOT 33403 SOS 9970 HAS SOPS 9970 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6430.97
AT ITER 5812 NEW BEST:: SOT 33402 SOS 9969 HAS SOPS 9969 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6428.969
AT ITER 5815 NEW BEST:: SOT 33396 SOS 9975 HAS SOPS 9975 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6411.975
AT ITER 5908 NEW BEST:: SOT 33396 SOS 9974 HAS SOPS 9974 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6410.974
AT ITER 5981 NEW BEST:: SOT 33395 SOS 9958 HAS SOPS 9958 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6408.958
AT ITER 5992 NEW BEST:: SOT 33360 SOS 9936 HAS SOPS 9936 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6373.936
AT ITER 6016 NEW BEST:: SOT 33367 SOS 9943 HAS SOPS 9943 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6370.943
AT ITER 6029 NEW BEST:: SOT 33364 SOS 9940 HAS SOPS 9940 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6366.94
AT ITER 6086 NEW BEST:: SOT 33369 SOS 9945 HAS SOPS 9945 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6363.945
AT ITER 6156 NEW BEST:: SOT 33370 SOS 9946 HAS SOPS 9946 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6362.946
AT ITER 6181 NEW BEST:: SOT 33366 SOS 9942 HAS SOPS 9942 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6348.942
AT ITER 6217 NEW BEST:: SOT 33363 SOS 10010 HAS SOPS 10010 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.01
AT ITER 6223 NEW BEST:: SOT 33357 SOS 10010 HAS SOPS 10010 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6340.01
AT ITER 6385 NEW BEST:: SOT 33356 SOS 10009 HAS SOPS 10009 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.009
AT ITER 6513 NEW BEST:: SOT 33358 SOS 10011 HAS SOPS 10011 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6337.011
AT ITER 6650 NEW BEST:: SOT 33358 SOS 10005 HAS SOPS 10005 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6331.005
AT ITER 6866 NEW BEST:: SOT 33352 SOS 9986 HAS SOPS 9986 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6310.986
AT ITER 6942 NEW BEST:: SOT 33352 SOS 9983 HAS SOPS 9983 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6307.983
AT ITER 6970 NEW BEST:: SOT 33348 SOS 9984 HAS SOPS 9984 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6304.984
AT ITER 7028 NEW BEST:: SOT 33348 SOS 9978 HAS SOPS 9978 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6298.978
AT ITER 7035 NEW BEST:: SOT 33348 SOS 9977 HAS SOPS 9977 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6298.977
AT ITER 7253 NEW BEST:: SOT 33345 SOS 9974 HAS SOPS 9974 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6295.974
AT ITER 7331 NEW BEST:: SOT 33339 SOS 9968 HAS SOPS 9968 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6283.968
AT ITER 7388 NEW BEST:: SOT 33337 SOS 9966 HAS SOPS 9966 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6279.966
AT ITER 7394 NEW BEST:: SOT 33338 SOS 9967 HAS SOPS 9967 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6277.967
AT ITER 7407 NEW BEST:: SOT 33336 SOS 9963 HAS SOPS 9963 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6273.963
AT ITER 7468 NEW BEST:: SOT 33317 SOS 9939 HAS SOPS 9939 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6242.939
AT ITER 7502 NEW BEST:: SOT 33314 SOS 9939 HAS SOPS 9939 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6236.939
AT ITER 7562 NEW BEST:: SOT 33314 SOS 9916 HAS SOPS 9916 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6236.916
AT ITER 7603 NEW BEST:: SOT 33313 SOS 9915 HAS SOPS 9915 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6234.915
AT ITER 7627 NEW BEST:: SOT 33313 SOS 9915 HAS SOPS 9915 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6233.915
AT ITER 7697 NEW BEST:: SOT 33312 SOS 9914 HAS SOPS 9914 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6232.914
AT ITER 7769 NEW BEST:: SOT 33310 SOS 9912 HAS SOPS 9912 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6230.912
AT ITER 7826 NEW BEST:: SOT 33313 SOS 9915 HAS SOPS 9915 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6228.915
AT ITER 7858 NEW BEST:: SOT 33311 SOS 9913 HAS SOPS 9913 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6226.913
AT ITER 7874 NEW BEST:: SOT 33310 SOS 9912 HAS SOPS 9912 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6224.912
AT ITER 8040 NEW BEST:: SOT 33281 SOS 10401 HAS SOPS 10401 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6224.401
AT ITER 8046 NEW BEST:: SOT 33281 SOS 10399 HAS SOPS 10399 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6222.399
AT ITER 8156 NEW BEST:: SOT 33268 SOS 10394 HAS SOPS 10394 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6217.394
AT ITER 8213 NEW BEST:: SOT 33265 SOS 10385 HAS SOPS 10385 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6208.385
AT ITER 8291 NEW BEST:: SOT 33259 SOS 10379 HAS SOPS 10379 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6202.379
AT ITER 8300 NEW BEST:: SOT 33259 SOS 10379 HAS SOPS 10379 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6200.379
AT ITER 8370 NEW BEST:: SOT 33257 SOS 10377 HAS SOPS 10377 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6198.377
AT ITER 8424 NEW BEST:: SOT 33259 SOS 10375 HAS SOPS 10375 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6198.375
AT ITER 8465 NEW BEST:: SOT 33259 SOS 10375 HAS SOPS 10375 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6195.375
AT ITER 8493 NEW BEST:: SOT 33254 SOS 10366 HAS SOPS 10366 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6191.366
AT ITER 8567 NEW BEST:: SOT 33254 SOS 10297 HAS SOPS 10297 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6185.297
AT ITER 8601 NEW BEST:: SOT 33252 SOS 10295 HAS SOPS 10295 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6181.295
AT ITER 8699 NEW BEST:: SOT 33254 SOS 10297 HAS SOPS 10297 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6179.297
AT ITER 8703 NEW BEST:: SOT 33243 SOS 10286 HAS SOPS 10286 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6157.286
AT ITER 8718 NEW BEST:: SOT 33243 SOS 10282 HAS SOPS 10282 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6157.282
AT ITER 8729 NEW BEST:: SOT 33239 SOS 10277 HAS SOPS 10277 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6157.277
AT ITER 8743 NEW BEST:: SOT 33239 SOS 10274 HAS SOPS 10274 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6157.274
AT ITER 8760 NEW BEST:: SOT 33235 SOS 10288 HAS SOPS 10288 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6152.288
AT ITER 8912 NEW BEST:: SOT 33232 SOS 10285 HAS SOPS 10285 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6150.285
AT ITER 8921 NEW BEST:: SOT 33226 SOS 10274 HAS SOPS 10274 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6140.274
AT ITER 8965 NEW BEST:: SOT 33227 SOS 10278 HAS SOPS 10278 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6136.278
AT ITER 9001 NEW BEST:: SOT 33227 SOS 10277 HAS SOPS 10277 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6136.277
AT ITER 9048 NEW BEST:: SOT 33226 SOS 10277 HAS SOPS 10277 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6135.277
AT ITER 9086 NEW BEST:: SOT 33223 SOS 10274 HAS SOPS 10274 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6131.274
AT ITER 9151 NEW BEST:: SOT 33224 SOS 10275 HAS SOPS 10275 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6128.275
AT ITER 9205 NEW BEST:: SOT 33224 SOS 10265 HAS SOPS 10265 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6128.265
AT ITER 9271 NEW BEST:: SOT 33223 SOS 10264 HAS SOPS 10264 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6127.264
AT ITER 9286 NEW BEST:: SOT 33223 SOS 10264 HAS SOPS 10264 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6125.264
AT ITER 9331 NEW BEST:: SOT 33223 SOS 10262 HAS SOPS 10262 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6125.262
AT ITER 9543 NEW BEST:: SOT 33220 SOS 10259 HAS SOPS 10259 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6123.259
AT ITER 9577 NEW BEST:: SOT 33220 SOS 10257 HAS SOPS 10257 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6123.257
AT ITER 9588 NEW BEST:: SOT 33215 SOS 10254 HAS SOPS 10254 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6120.254
AT ITER 9793 NEW BEST:: SOT 33155 SOS 10245 HAS SOPS 10245 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6096.245
AT ITER 9963 NEW BEST:: SOT 33154 SOS 10244 HAS SOPS 10244 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6093.244
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14212008 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122164 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="HospitalTriage-PT-none"
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 HospitalTriage-PT-none, 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 r203-smll-167840349700512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HospitalTriage-PT-none.tgz
mv HospitalTriage-PT-none 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 ;