About the Execution of Smart+red for SafeBus-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16191.063 | 3600000.00 | 3644172.00 | 14176.20 | [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.r363-smll-167891814000272.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 SafeBus-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814000272
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 13K Feb 26 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 26 01:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 156K Feb 26 01:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Feb 26 01:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 175K Feb 26 01:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 67K Feb 26 01:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 319K Feb 26 01:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 303K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679092587814
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=SafeBus-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 22:36:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 22:36:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 22:36:30] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-17 22:36:30] [INFO ] Transformed 144 places.
[2023-03-17 22:36:30] [INFO ] Transformed 451 transitions.
[2023-03-17 22:36:30] [INFO ] Parsed PT model containing 144 places and 451 transitions and 2968 arcs in 234 ms.
[2023-03-17 22:36:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 144 places, 451 transitions and 2968 arcs took 11 ms.
Total runtime 289 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 06
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: 144 places, 451 transitions, 2968 arcs.
AT ITER 0 NEW BEST:: SOT 38953 SOS 29149 HAS SOPS 28946 HAS SOUS 15481 HAS SOUPS 15369 WITH SCORE 15398.149
AT ITER 6 NEW BEST:: SOT 39089 SOS 29284 HAS SOPS 29082 HAS SOUS 15427 HAS SOUPS 15316 WITH SCORE 15345.284
AT ITER 8 NEW BEST:: SOT 39069 SOS 29264 HAS SOPS 29062 HAS SOUS 15416 HAS SOUPS 15305 WITH SCORE 15334.264
AT ITER 15 NEW BEST:: SOT 39069 SOS 29264 HAS SOPS 29062 HAS SOUS 15413 HAS SOUPS 15302 WITH SCORE 15331.264
AT ITER 19 NEW BEST:: SOT 39073 SOS 29268 HAS SOPS 29066 HAS SOUS 15399 HAS SOUPS 15288 WITH SCORE 15317.268
AT ITER 23 NEW BEST:: SOT 39073 SOS 29268 HAS SOPS 29066 HAS SOUS 15394 HAS SOUPS 15283 WITH SCORE 15312.268
AT ITER 30 NEW BEST:: SOT 39073 SOS 29003 HAS SOPS 28785 HAS SOUS 15365 HAS SOUPS 15254 WITH SCORE 15283.003
AT ITER 33 NEW BEST:: SOT 39061 SOS 28991 HAS SOPS 28773 HAS SOUS 15352 HAS SOUPS 15241 WITH SCORE 15269.991
AT ITER 39 NEW BEST:: SOT 39067 SOS 28949 HAS SOPS 28731 HAS SOUS 15242 HAS SOUPS 15131 WITH SCORE 15159.949
AT ITER 63 NEW BEST:: SOT 38161 SOS 28111 HAS SOPS 27950 HAS SOUS 14450 HAS SOUPS 14396 WITH SCORE 14424.111
AT ITER 75 NEW BEST:: SOT 38121 SOS 28041 HAS SOPS 27874 HAS SOUS 14404 HAS SOUPS 14344 WITH SCORE 14372.041
AT ITER 86 NEW BEST:: SOT 38102 SOS 28022 HAS SOPS 27855 HAS SOUS 14399 HAS SOUPS 14339 WITH SCORE 14367.022
AT ITER 90 NEW BEST:: SOT 38075 SOS 27995 HAS SOPS 27828 HAS SOUS 14373 HAS SOUPS 14313 WITH SCORE 14340.995
AT ITER 95 NEW BEST:: SOT 38068 SOS 27988 HAS SOPS 27821 HAS SOUS 14366 HAS SOUPS 14306 WITH SCORE 14333.988
AT ITER 97 NEW BEST:: SOT 38062 SOS 27982 HAS SOPS 27815 HAS SOUS 14360 HAS SOUPS 14300 WITH SCORE 14327.982
AT ITER 104 NEW BEST:: SOT 38216 SOS 28129 HAS SOPS 27969 HAS SOUS 14306 HAS SOUPS 14253 WITH SCORE 14281.129
AT ITER 124 NEW BEST:: SOT 38367 SOS 28279 HAS SOPS 28120 HAS SOUS 14295 HAS SOUPS 14243 WITH SCORE 14271.279
AT ITER 139 NEW BEST:: SOT 38277 SOS 28189 HAS SOPS 28030 HAS SOUS 14205 HAS SOUPS 14153 WITH SCORE 14181.189
AT ITER 140 NEW BEST:: SOT 38273 SOS 28185 HAS SOPS 28026 HAS SOUS 14201 HAS SOUPS 14149 WITH SCORE 14177.185
AT ITER 142 NEW BEST:: SOT 38300 SOS 28187 HAS SOPS 28026 HAS SOUS 14176 HAS SOUPS 14124 WITH SCORE 14152.187
AT ITER 148 NEW BEST:: SOT 38300 SOS 28179 HAS SOPS 28018 HAS SOUS 14176 HAS SOUPS 14124 WITH SCORE 14152.179
AT ITER 165 NEW BEST:: SOT 38270 SOS 28143 HAS SOPS 27988 HAS SOUS 14139 HAS SOUPS 14093 WITH SCORE 14121.143
AT ITER 166 NEW BEST:: SOT 38115 SOS 27988 HAS SOPS 27833 HAS SOUS 13982 HAS SOUPS 13936 WITH SCORE 13963.988
AT ITER 178 NEW BEST:: SOT 38047 SOS 27938 HAS SOPS 27783 HAS SOUS 13917 HAS SOUPS 13871 WITH SCORE 13898.938
AT ITER 179 NEW BEST:: SOT 38036 SOS 27927 HAS SOPS 27772 HAS SOUS 13899 HAS SOUPS 13853 WITH SCORE 13880.927
AT ITER 190 NEW BEST:: SOT 38000 SOS 27899 HAS SOPS 27736 HAS SOUS 13898 HAS SOUPS 13844 WITH SCORE 13871.899
AT ITER 198 NEW BEST:: SOT 36927 SOS 27337 HAS SOPS 27266 HAS SOUS 12953 HAS SOUPS 12899 WITH SCORE 12926.337
AT ITER 202 NEW BEST:: SOT 36601 SOS 27011 HAS SOPS 26940 HAS SOUS 12627 HAS SOUPS 12573 WITH SCORE 12600.011
AT ITER 216 NEW BEST:: SOT 36601 SOS 27005 HAS SOPS 26934 HAS SOUS 12627 HAS SOUPS 12573 WITH SCORE 12600.005
AT ITER 219 NEW BEST:: SOT 36523 SOS 26620 HAS SOPS 26453 HAS SOUS 12469 HAS SOUPS 12415 WITH SCORE 12441.62
AT ITER 226 NEW BEST:: SOT 36556 SOS 26627 HAS SOPS 26458 HAS SOUS 12403 HAS SOUPS 12347 WITH SCORE 12373.627
AT ITER 246 NEW BEST:: SOT 36556 SOS 26617 HAS SOPS 26448 HAS SOUS 12398 HAS SOUPS 12342 WITH SCORE 12368.617
AT ITER 254 NEW BEST:: SOT 36678 SOS 26727 HAS SOPS 26546 HAS SOUS 12339 HAS SOUPS 12271 WITH SCORE 12297.727
AT ITER 255 NEW BEST:: SOT 36678 SOS 26716 HAS SOPS 26535 HAS SOUS 12339 HAS SOUPS 12271 WITH SCORE 12297.716
AT ITER 256 NEW BEST:: SOT 36642 SOS 26680 HAS SOPS 26499 HAS SOUS 12300 HAS SOUPS 12232 WITH SCORE 12258.68
AT ITER 274 NEW BEST:: SOT 36642 SOS 26687 HAS SOPS 26508 HAS SOUS 12294 HAS SOUPS 12228 WITH SCORE 12254.687
AT ITER 279 NEW BEST:: SOT 36521 SOS 26558 HAS SOPS 26365 HAS SOUS 12112 HAS SOUPS 12032 WITH SCORE 12058.558
AT ITER 291 NEW BEST:: SOT 36497 SOS 26524 HAS SOPS 26341 HAS SOUS 12046 HAS SOUPS 11976 WITH SCORE 12002.524
AT ITER 299 NEW BEST:: SOT 36493 SOS 26520 HAS SOPS 26337 HAS SOUS 12042 HAS SOUPS 11972 WITH SCORE 11998.52
AT ITER 320 NEW BEST:: SOT 36487 SOS 26514 HAS SOPS 26331 HAS SOUS 12036 HAS SOUPS 11966 WITH SCORE 11992.514
AT ITER 321 NEW BEST:: SOT 36365 SOS 26395 HAS SOPS 26199 HAS SOUS 12043 HAS SOUPS 11960 WITH SCORE 11986.395
AT ITER 323 NEW BEST:: SOT 36351 SOS 26381 HAS SOPS 26185 HAS SOUS 12029 HAS SOUPS 11946 WITH SCORE 11972.381
AT ITER 349 NEW BEST:: SOT 36351 SOS 26355 HAS SOPS 26159 HAS SOUS 12029 HAS SOUPS 11946 WITH SCORE 11972.355
AT ITER 351 NEW BEST:: SOT 36351 SOS 26075 HAS SOPS 25879 HAS SOUS 12029 HAS SOUPS 11946 WITH SCORE 11972.075
AT ITER 369 NEW BEST:: SOT 36284 SOS 25992 HAS SOPS 25787 HAS SOUS 11818 HAS SOUPS 11726 WITH SCORE 11751.992
AT ITER 381 NEW BEST:: SOT 36230 SOS 25938 HAS SOPS 25733 HAS SOUS 11758 HAS SOUPS 11666 WITH SCORE 11691.938
AT ITER 383 NEW BEST:: SOT 36235 SOS 25943 HAS SOPS 25738 HAS SOUS 11679 HAS SOUPS 11587 WITH SCORE 11612.943
AT ITER 386 NEW BEST:: SOT 36235 SOS 25377 HAS SOPS 25172 HAS SOUS 11666 HAS SOUPS 11574 WITH SCORE 11599.377
AT ITER 389 NEW BEST:: SOT 36188 SOS 25331 HAS SOPS 25127 HAS SOUS 11660 HAS SOUPS 11569 WITH SCORE 11594.331
AT ITER 396 NEW BEST:: SOT 36176 SOS 25319 HAS SOPS 25115 HAS SOUS 11642 HAS SOUPS 11551 WITH SCORE 11576.319
AT ITER 400 NEW BEST:: SOT 36176 SOS 25280 HAS SOPS 25076 HAS SOUS 11642 HAS SOUPS 11551 WITH SCORE 11576.28
AT ITER 407 NEW BEST:: SOT 36093 SOS 25198 HAS SOPS 25008 HAS SOUS 11481 HAS SOUPS 11404 WITH SCORE 11429.198
AT ITER 408 NEW BEST:: SOT 36108 SOS 25213 HAS SOPS 25023 HAS SOUS 11473 HAS SOUPS 11396 WITH SCORE 11421.213
AT ITER 426 NEW BEST:: SOT 36108 SOS 27444 HAS SOPS 25782 HAS SOUS 11473 HAS SOUPS 11373 WITH SCORE 11400.444
AT ITER 438 NEW BEST:: SOT 36043 SOS 27379 HAS SOPS 25717 HAS SOUS 11383 HAS SOUPS 11283 WITH SCORE 11310.379
AT ITER 454 NEW BEST:: SOT 36043 SOS 27022 HAS SOPS 25141 HAS SOUS 11324 HAS SOUPS 11224 WITH SCORE 11251.022
AT ITER 463 NEW BEST:: SOT 36043 SOS 27094 HAS SOPS 25291 HAS SOUS 11302 HAS SOUPS 11202 WITH SCORE 11229.094
AT ITER 472 NEW BEST:: SOT 36016 SOS 27067 HAS SOPS 25264 HAS SOUS 11277 HAS SOUPS 11177 WITH SCORE 11204.067
AT ITER 482 NEW BEST:: SOT 35818 SOS 26869 HAS SOPS 25066 HAS SOUS 11048 HAS SOUPS 10948 WITH SCORE 10974.869
AT ITER 501 NEW BEST:: SOT 35801 SOS 26852 HAS SOPS 25049 HAS SOUS 11031 HAS SOUPS 10931 WITH SCORE 10957.852
AT ITER 503 NEW BEST:: SOT 35801 SOS 28110 HAS SOPS 25059 HAS SOUS 11036 HAS SOUPS 10928 WITH SCORE 10956.11
AT ITER 507 NEW BEST:: SOT 35741 SOS 28050 HAS SOPS 24999 HAS SOUS 11006 HAS SOUPS 10898 WITH SCORE 10926.05
AT ITER 510 NEW BEST:: SOT 35731 SOS 28040 HAS SOPS 24989 HAS SOUS 10982 HAS SOUPS 10874 WITH SCORE 10902.04
AT ITER 511 NEW BEST:: SOT 35731 SOS 28046 HAS SOPS 25013 HAS SOUS 10979 HAS SOUPS 10871 WITH SCORE 10899.046
AT ITER 517 NEW BEST:: SOT 35698 SOS 28023 HAS SOPS 24990 HAS SOUS 10935 HAS SOUPS 10827 WITH SCORE 10855.023
AT ITER 537 NEW BEST:: SOT 35698 SOS 27906 HAS SOPS 24887 HAS SOUS 10935 HAS SOUPS 10827 WITH SCORE 10854.906
AT ITER 549 NEW BEST:: SOT 35698 SOS 27892 HAS SOPS 24873 HAS SOUS 10935 HAS SOUPS 10827 WITH SCORE 10854.892
AT ITER 552 NEW BEST:: SOT 35684 SOS 27878 HAS SOPS 24859 HAS SOUS 10933 HAS SOUPS 10825 WITH SCORE 10852.878
AT ITER 572 NEW BEST:: SOT 35660 SOS 27854 HAS SOPS 24835 HAS SOUS 10909 HAS SOUPS 10801 WITH SCORE 10828.854
AT ITER 580 NEW BEST:: SOT 35660 SOS 27854 HAS SOPS 24841 HAS SOUS 10908 HAS SOUPS 10800 WITH SCORE 10827.854
AT ITER 588 NEW BEST:: SOT 35660 SOS 27799 HAS SOPS 24757 HAS SOUS 10908 HAS SOUPS 10800 WITH SCORE 10827.799
AT ITER 592 NEW BEST:: SOT 35641 SOS 27780 HAS SOPS 24738 HAS SOUS 10879 HAS SOUPS 10771 WITH SCORE 10798.78
AT ITER 600 NEW BEST:: SOT 35450 SOS 27600 HAS SOPS 24563 HAS SOUS 10818 HAS SOUPS 10715 WITH SCORE 10742.6
AT ITER 602 NEW BEST:: SOT 35450 SOS 27606 HAS SOPS 24623 HAS SOUS 10808 HAS SOUPS 10705 WITH SCORE 10732.606
AT ITER 614 NEW BEST:: SOT 35448 SOS 27604 HAS SOPS 24621 HAS SOUS 10806 HAS SOUPS 10703 WITH SCORE 10730.604
AT ITER 625 NEW BEST:: SOT 35441 SOS 27597 HAS SOPS 24614 HAS SOUS 10798 HAS SOUPS 10695 WITH SCORE 10722.597
AT ITER 634 NEW BEST:: SOT 35441 SOS 27597 HAS SOPS 24614 HAS SOUS 10796 HAS SOUPS 10693 WITH SCORE 10720.597
AT ITER 638 NEW BEST:: SOT 35369 SOS 27530 HAS SOPS 24547 HAS SOUS 10725 HAS SOUPS 10622 WITH SCORE 10649.53
AT ITER 639 NEW BEST:: SOT 35369 SOS 27530 HAS SOPS 24547 HAS SOUS 10724 HAS SOUPS 10621 WITH SCORE 10648.53
AT ITER 667 NEW BEST:: SOT 35359 SOS 27520 HAS SOPS 24527 HAS SOUS 10720 HAS SOUPS 10607 WITH SCORE 10634.52
AT ITER 671 NEW BEST:: SOT 35395 SOS 27556 HAS SOPS 24563 HAS SOUS 10689 HAS SOUPS 10576 WITH SCORE 10603.556
AT ITER 674 NEW BEST:: SOT 35393 SOS 27554 HAS SOPS 24561 HAS SOUS 10687 HAS SOUPS 10574 WITH SCORE 10601.554
AT ITER 678 NEW BEST:: SOT 35360 SOS 27521 HAS SOPS 24528 HAS SOUS 10628 HAS SOUPS 10515 WITH SCORE 10542.521
AT ITER 692 NEW BEST:: SOT 35305 SOS 27466 HAS SOPS 24473 HAS SOUS 10611 HAS SOUPS 10498 WITH SCORE 10525.466
AT ITER 706 NEW BEST:: SOT 35305 SOS 27504 HAS SOPS 24536 HAS SOUS 10608 HAS SOUPS 10495 WITH SCORE 10522.504
AT ITER 712 NEW BEST:: SOT 35328 SOS 27527 HAS SOPS 24571 HAS SOUS 10470 HAS SOUPS 10369 WITH SCORE 10396.527
AT ITER 748 NEW BEST:: SOT 35311 SOS 27510 HAS SOPS 24554 HAS SOUS 10465 HAS SOUPS 10364 WITH SCORE 10391.51
AT ITER 751 NEW BEST:: SOT 35319 SOS 27518 HAS SOPS 24562 HAS SOUS 10451 HAS SOUPS 10350 WITH SCORE 10377.518
AT ITER 760 NEW BEST:: SOT 35318 SOS 27517 HAS SOPS 24561 HAS SOUS 10448 HAS SOUPS 10347 WITH SCORE 10374.517
AT ITER 767 NEW BEST:: SOT 35318 SOS 27517 HAS SOPS 24633 HAS SOUS 10436 HAS SOUPS 10335 WITH SCORE 10362.517
AT ITER 776 NEW BEST:: SOT 35318 SOS 27517 HAS SOPS 24625 HAS SOUS 10432 HAS SOUPS 10331 WITH SCORE 10358.517
AT ITER 783 NEW BEST:: SOT 35310 SOS 27509 HAS SOPS 24617 HAS SOUS 10432 HAS SOUPS 10331 WITH SCORE 10358.509
AT ITER 784 NEW BEST:: SOT 35298 SOS 27497 HAS SOPS 24605 HAS SOUS 10419 HAS SOUPS 10318 WITH SCORE 10345.497
AT ITER 796 NEW BEST:: SOT 35298 SOS 27516 HAS SOPS 24469 HAS SOUS 10353 HAS SOUPS 10252 WITH SCORE 10279.516
AT ITER 812 NEW BEST:: SOT 35283 SOS 27501 HAS SOPS 24454 HAS SOUS 10349 HAS SOUPS 10248 WITH SCORE 10275.501
AT ITER 817 NEW BEST:: SOT 35273 SOS 27491 HAS SOPS 24444 HAS SOUS 10329 HAS SOUPS 10228 WITH SCORE 10255.491
AT ITER 819 NEW BEST:: SOT 35255 SOS 27473 HAS SOPS 24426 HAS SOUS 10328 HAS SOUPS 10227 WITH SCORE 10254.473
AT ITER 835 NEW BEST:: SOT 35245 SOS 27463 HAS SOPS 24416 HAS SOUS 10279 HAS SOUPS 10178 WITH SCORE 10205.463
AT ITER 837 NEW BEST:: SOT 35155 SOS 27373 HAS SOPS 24326 HAS SOUS 10189 HAS SOUPS 10088 WITH SCORE 10115.373
AT ITER 845 NEW BEST:: SOT 35149 SOS 27367 HAS SOPS 24320 HAS SOUS 10189 HAS SOUPS 10088 WITH SCORE 10115.367
AT ITER 849 NEW BEST:: SOT 35171 SOS 27387 HAS SOPS 24340 HAS SOUS 10172 HAS SOUPS 10071 WITH SCORE 10098.387
AT ITER 863 NEW BEST:: SOT 35171 SOS 27351 HAS SOPS 23956 HAS SOUS 10172 HAS SOUPS 10071 WITH SCORE 10098.351
AT ITER 869 NEW BEST:: SOT 35171 SOS 24910 HAS SOPS 23605 HAS SOUS 10159 HAS SOUPS 10071 WITH SCORE 10095.91
AT ITER 893 NEW BEST:: SOT 35058 SOS 24770 HAS SOPS 23458 HAS SOUS 10047 HAS SOUPS 9952 WITH SCORE 9976.77
AT ITER 899 NEW BEST:: SOT 35046 SOS 24758 HAS SOPS 23446 HAS SOUS 10034 HAS SOUPS 9939 WITH SCORE 9963.758
AT ITER 900 NEW BEST:: SOT 35046 SOS 24758 HAS SOPS 23446 HAS SOUS 10032 HAS SOUPS 9937 WITH SCORE 9961.758
AT ITER 904 NEW BEST:: SOT 35057 SOS 24769 HAS SOPS 23457 HAS SOUS 10010 HAS SOUPS 9915 WITH SCORE 9939.769
AT ITER 907 NEW BEST:: SOT 35039 SOS 24739 HAS SOPS 23427 HAS SOUS 9975 HAS SOUPS 9880 WITH SCORE 9904.739
AT ITER 936 NEW BEST:: SOT 35009 SOS 24709 HAS SOPS 23397 HAS SOUS 9927 HAS SOUPS 9832 WITH SCORE 9856.709
AT ITER 941 NEW BEST:: SOT 34969 SOS 24381 HAS SOPS 23069 HAS SOUS 9927 HAS SOUPS 9832 WITH SCORE 9856.381
AT ITER 963 NEW BEST:: SOT 34969 SOS 24415 HAS SOPS 23121 HAS SOUS 9923 HAS SOUPS 9828 WITH SCORE 9852.415
AT ITER 964 NEW BEST:: SOT 34961 SOS 24407 HAS SOPS 23113 HAS SOUS 9915 HAS SOUPS 9820 WITH SCORE 9844.407
AT ITER 992 NEW BEST:: SOT 34975 SOS 24421 HAS SOPS 23127 HAS SOUS 9842 HAS SOUPS 9747 WITH SCORE 9771.421
AT ITER 1013 NEW BEST:: SOT 34968 SOS 24414 HAS SOPS 23120 HAS SOUS 9830 HAS SOUPS 9735 WITH SCORE 9759.414
AT ITER 1020 NEW BEST:: SOT 34968 SOS 24411 HAS SOPS 23160 HAS SOUS 9816 HAS SOUPS 9721 WITH SCORE 9745.411
AT ITER 1024 NEW BEST:: SOT 34968 SOS 24367 HAS SOPS 23146 HAS SOUS 9811 HAS SOUPS 9716 WITH SCORE 9740.367
AT ITER 1039 NEW BEST:: SOT 34968 SOS 24102 HAS SOPS 22712 HAS SOUS 9776 HAS SOUPS 9681 WITH SCORE 9705.102
AT ITER 1060 NEW BEST:: SOT 34968 SOS 24102 HAS SOPS 22712 HAS SOUS 9775 HAS SOUPS 9680 WITH SCORE 9704.102
AT ITER 1065 NEW BEST:: SOT 34950 SOS 24054 HAS SOPS 22649 HAS SOUS 9752 HAS SOUPS 9642 WITH SCORE 9666.054
AT ITER 1078 NEW BEST:: SOT 34945 SOS 24049 HAS SOPS 22644 HAS SOUS 9735 HAS SOUPS 9625 WITH SCORE 9649.049
AT ITER 1089 NEW BEST:: SOT 34962 SOS 24068 HAS SOPS 22663 HAS SOUS 9705 HAS SOUPS 9595 WITH SCORE 9619.068
AT ITER 1095 NEW BEST:: SOT 34958 SOS 24064 HAS SOPS 22659 HAS SOUS 9693 HAS SOUPS 9583 WITH SCORE 9607.064
AT ITER 1096 NEW BEST:: SOT 34952 SOS 24056 HAS SOPS 22651 HAS SOUS 9669 HAS SOUPS 9559 WITH SCORE 9583.056
AT ITER 1102 NEW BEST:: SOT 34937 SOS 24041 HAS SOPS 22641 HAS SOUS 9664 HAS SOUPS 9554 WITH SCORE 9578.041
AT ITER 1123 NEW BEST:: SOT 35030 SOS 24151 HAS SOPS 22774 HAS SOUS 9626 HAS SOUPS 9539 WITH SCORE 9563.151
AT ITER 1134 NEW BEST:: SOT 35080 SOS 24201 HAS SOPS 22824 HAS SOUS 9625 HAS SOUPS 9538 WITH SCORE 9562.201
AT ITER 1142 NEW BEST:: SOT 35080 SOS 24199 HAS SOPS 22822 HAS SOUS 9625 HAS SOUPS 9538 WITH SCORE 9562.199
AT ITER 1144 NEW BEST:: SOT 35054 SOS 24175 HAS SOPS 22803 HAS SOUS 9557 HAS SOUPS 9475 WITH SCORE 9499.175
AT ITER 1145 NEW BEST:: SOT 35059 SOS 24180 HAS SOPS 22808 HAS SOUS 9550 HAS SOUPS 9468 WITH SCORE 9492.18
AT ITER 1170 NEW BEST:: SOT 35059 SOS 24180 HAS SOPS 22808 HAS SOUS 9545 HAS SOUPS 9463 WITH SCORE 9487.18
AT ITER 1173 NEW BEST:: SOT 35059 SOS 24262 HAS SOPS 22836 HAS SOUS 9533 HAS SOUPS 9451 WITH SCORE 9475.262
AT ITER 1177 NEW BEST:: SOT 35028 SOS 24231 HAS SOPS 22805 HAS SOUS 9486 HAS SOUPS 9404 WITH SCORE 9428.231
AT ITER 1179 NEW BEST:: SOT 34998 SOS 24201 HAS SOPS 22775 HAS SOUS 9454 HAS SOUPS 9372 WITH SCORE 9396.201
AT ITER 1184 NEW BEST:: SOT 34921 SOS 24125 HAS SOPS 22698 HAS SOUS 9408 HAS SOUPS 9325 WITH SCORE 9349.125
AT ITER 1193 NEW BEST:: SOT 34922 SOS 24126 HAS SOPS 22699 HAS SOUS 9391 HAS SOUPS 9308 WITH SCORE 9332.126
AT ITER 1195 NEW BEST:: SOT 34880 SOS 24091 HAS SOPS 22664 HAS SOUS 9356 HAS SOUPS 9273 WITH SCORE 9297.091
AT ITER 1228 NEW BEST:: SOT 34877 SOS 24112 HAS SOPS 22685 HAS SOUS 9353 HAS SOUPS 9270 WITH SCORE 9294.112
AT ITER 1244 NEW BEST:: SOT 34864 SOS 24097 HAS SOPS 22670 HAS SOUS 9353 HAS SOUPS 9270 WITH SCORE 9294.097
AT ITER 1263 NEW BEST:: SOT 34881 SOS 24114 HAS SOPS 22687 HAS SOUS 9336 HAS SOUPS 9253 WITH SCORE 9277.114
AT ITER 1278 NEW BEST:: SOT 34881 SOS 24119 HAS SOPS 22692 HAS SOUS 9334 HAS SOUPS 9251 WITH SCORE 9275.119
AT ITER 1286 NEW BEST:: SOT 34894 SOS 24132 HAS SOPS 22705 HAS SOUS 9306 HAS SOUPS 9223 WITH SCORE 9247.132
AT ITER 1306 NEW BEST:: SOT 34894 SOS 24126 HAS SOPS 22699 HAS SOUS 9303 HAS SOUPS 9220 WITH SCORE 9244.126
AT ITER 1316 NEW BEST:: SOT 34945 SOS 24355 HAS SOPS 22870 HAS SOUS 9302 HAS SOUPS 9219 WITH SCORE 9243.355
AT ITER 1340 NEW BEST:: SOT 34915 SOS 24331 HAS SOPS 22846 HAS SOUS 9293 HAS SOUPS 9210 WITH SCORE 9234.331
AT ITER 1356 NEW BEST:: SOT 34915 SOS 24404 HAS SOPS 22931 HAS SOUS 9269 HAS SOUPS 9198 WITH SCORE 9222.404
AT ITER 1366 NEW BEST:: SOT 34863 SOS 24352 HAS SOPS 22879 HAS SOUS 9232 HAS SOUPS 9161 WITH SCORE 9185.352
AT ITER 1380 NEW BEST:: SOT 34835 SOS 24324 HAS SOPS 22851 HAS SOUS 9200 HAS SOUPS 9129 WITH SCORE 9153.324
AT ITER 1382 NEW BEST:: SOT 34835 SOS 24324 HAS SOPS 22851 HAS SOUS 9196 HAS SOUPS 9125 WITH SCORE 9149.324
AT ITER 1385 NEW BEST:: SOT 34835 SOS 24314 HAS SOPS 22887 HAS SOUS 9196 HAS SOUPS 9125 WITH SCORE 9149.314
AT ITER 1407 NEW BEST:: SOT 34831 SOS 24333 HAS SOPS 22915 HAS SOUS 9180 HAS SOUPS 9118 WITH SCORE 9142.333
AT ITER 1419 NEW BEST:: SOT 34831 SOS 24333 HAS SOPS 22915 HAS SOUS 9175 HAS SOUPS 9113 WITH SCORE 9137.333
AT ITER 1421 NEW BEST:: SOT 34858 SOS 24360 HAS SOPS 22942 HAS SOUS 9130 HAS SOUPS 9068 WITH SCORE 9092.36
AT ITER 1439 NEW BEST:: SOT 34906 SOS 24396 HAS SOPS 22990 HAS SOUS 9088 HAS SOUPS 9038 WITH SCORE 9062.396
AT ITER 1450 NEW BEST:: SOT 34887 SOS 24365 HAS SOPS 22959 HAS SOUS 8978 HAS SOUPS 8928 WITH SCORE 8952.365
AT ITER 1452 NEW BEST:: SOT 34894 SOS 24334 HAS SOPS 22928 HAS SOUS 8977 HAS SOUPS 8927 WITH SCORE 8951.334
AT ITER 1498 NEW BEST:: SOT 34885 SOS 24322 HAS SOPS 22910 HAS SOUS 8972 HAS SOUPS 8916 WITH SCORE 8940.322
AT ITER 1540 NEW BEST:: SOT 34850 SOS 24287 HAS SOPS 22875 HAS SOUS 8955 HAS SOUPS 8899 WITH SCORE 8923.287
AT ITER 1541 NEW BEST:: SOT 34850 SOS 24283 HAS SOPS 22871 HAS SOUS 8955 HAS SOUPS 8899 WITH SCORE 8923.283
AT ITER 1557 NEW BEST:: SOT 34844 SOS 24277 HAS SOPS 22865 HAS SOUS 8944 HAS SOUPS 8888 WITH SCORE 8912.277
AT ITER 1592 NEW BEST:: SOT 34814 SOS 24193 HAS SOPS 22773 HAS SOUS 8904 HAS SOUPS 8840 WITH SCORE 8864.193
AT ITER 1612 NEW BEST:: SOT 34812 SOS 24191 HAS SOPS 22771 HAS SOUS 8899 HAS SOUPS 8835 WITH SCORE 8859.191
AT ITER 1631 NEW BEST:: SOT 34812 SOS 24189 HAS SOPS 22783 HAS SOUS 8887 HAS SOUPS 8823 WITH SCORE 8847.189
AT ITER 1660 NEW BEST:: SOT 34812 SOS 24177 HAS SOPS 22771 HAS SOUS 8887 HAS SOUPS 8823 WITH SCORE 8847.177
AT ITER 1663 NEW BEST:: SOT 34779 SOS 24159 HAS SOPS 22753 HAS SOUS 8831 HAS SOUPS 8767 WITH SCORE 8791.159
AT ITER 1685 NEW BEST:: SOT 34779 SOS 24157 HAS SOPS 22751 HAS SOUS 8831 HAS SOUPS 8767 WITH SCORE 8791.157
AT ITER 1694 NEW BEST:: SOT 34773 SOS 24139 HAS SOPS 22745 HAS SOUS 8809 HAS SOUPS 8757 WITH SCORE 8781.139
AT ITER 1711 NEW BEST:: SOT 34773 SOS 24133 HAS SOPS 22683 HAS SOUS 8787 HAS SOUPS 8735 WITH SCORE 8759.133
AT ITER 1716 NEW BEST:: SOT 34773 SOS 24125 HAS SOPS 22687 HAS SOUS 8785 HAS SOUPS 8733 WITH SCORE 8757.125
AT ITER 1720 NEW BEST:: SOT 34773 SOS 24095 HAS SOPS 22729 HAS SOUS 8773 HAS SOUPS 8721 WITH SCORE 8745.095
AT ITER 1796 NEW BEST:: SOT 34785 SOS 24107 HAS SOPS 22741 HAS SOUS 8772 HAS SOUPS 8720 WITH SCORE 8744.107
AT ITER 1806 NEW BEST:: SOT 34785 SOS 24153 HAS SOPS 22787 HAS SOUS 8768 HAS SOUPS 8716 WITH SCORE 8740.153
AT ITER 1816 NEW BEST:: SOT 34754 SOS 23244 HAS SOPS 21854 HAS SOUS 8755 HAS SOUPS 8679 WITH SCORE 8702.244
AT ITER 1827 NEW BEST:: SOT 34754 SOS 23242 HAS SOPS 21854 HAS SOUS 8743 HAS SOUPS 8667 WITH SCORE 8690.242
AT ITER 1829 NEW BEST:: SOT 34753 SOS 23241 HAS SOPS 21853 HAS SOUS 8742 HAS SOUPS 8666 WITH SCORE 8689.241
AT ITER 1833 NEW BEST:: SOT 34747 SOS 23235 HAS SOPS 21847 HAS SOUS 8737 HAS SOUPS 8661 WITH SCORE 8684.235
AT ITER 1850 NEW BEST:: SOT 34729 SOS 23226 HAS SOPS 21838 HAS SOUS 8728 HAS SOUPS 8652 WITH SCORE 8675.226
AT ITER 1856 NEW BEST:: SOT 34720 SOS 23217 HAS SOPS 21829 HAS SOUS 8692 HAS SOUPS 8616 WITH SCORE 8639.217
AT ITER 1889 NEW BEST:: SOT 34720 SOS 23215 HAS SOPS 21781 HAS SOUS 8690 HAS SOUPS 8614 WITH SCORE 8637.215
AT ITER 1893 NEW BEST:: SOT 34720 SOS 23215 HAS SOPS 21781 HAS SOUS 8686 HAS SOUPS 8610 WITH SCORE 8633.215
AT ITER 1905 NEW BEST:: SOT 34741 SOS 23236 HAS SOPS 21802 HAS SOUS 8683 HAS SOUPS 8607 WITH SCORE 8630.236
AT ITER 1917 NEW BEST:: SOT 34717 SOS 23212 HAS SOPS 21778 HAS SOUS 8646 HAS SOUPS 8570 WITH SCORE 8593.212
AT ITER 1931 NEW BEST:: SOT 34717 SOS 23181 HAS SOPS 21747 HAS SOUS 8646 HAS SOUPS 8570 WITH SCORE 8593.181
AT ITER 1982 NEW BEST:: SOT 34717 SOS 23131 HAS SOPS 21697 HAS SOUS 8636 HAS SOUPS 8560 WITH SCORE 8583.131
AT ITER 1996 NEW BEST:: SOT 34715 SOS 23641 HAS SOPS 22225 HAS SOUS 8598 HAS SOUPS 8540 WITH SCORE 8563.641
AT ITER 2005 NEW BEST:: SOT 34715 SOS 23641 HAS SOPS 22225 HAS SOUS 8595 HAS SOUPS 8537 WITH SCORE 8560.641
AT ITER 2047 NEW BEST:: SOT 34703 SOS 23629 HAS SOPS 22213 HAS SOUS 8581 HAS SOUPS 8523 WITH SCORE 8546.629
AT ITER 2059 NEW BEST:: SOT 34684 SOS 23590 HAS SOPS 22174 HAS SOUS 8562 HAS SOUPS 8504 WITH SCORE 8527.59
AT ITER 2060 NEW BEST:: SOT 34684 SOS 23586 HAS SOPS 22170 HAS SOUS 8562 HAS SOUPS 8504 WITH SCORE 8527.586
AT ITER 2091 NEW BEST:: SOT 34681 SOS 23583 HAS SOPS 22167 HAS SOUS 8559 HAS SOUPS 8501 WITH SCORE 8524.583
AT ITER 2104 NEW BEST:: SOT 34575 SOS 23342 HAS SOPS 22038 HAS SOUS 8452 HAS SOUPS 8394 WITH SCORE 8417.342
AT ITER 2106 NEW BEST:: SOT 34545 SOS 23312 HAS SOPS 22008 HAS SOUS 8404 HAS SOUPS 8346 WITH SCORE 8369.312
AT ITER 2127 NEW BEST:: SOT 34545 SOS 23312 HAS SOPS 22008 HAS SOUS 8397 HAS SOUPS 8339 WITH SCORE 8362.312
AT ITER 2149 NEW BEST:: SOT 34599 SOS 23321 HAS SOPS 21916 HAS SOUS 8423 HAS SOUPS 8264 WITH SCORE 8287.321
AT ITER 2184 NEW BEST:: SOT 34600 SOS 23312 HAS SOPS 21907 HAS SOUS 8419 HAS SOUPS 8260 WITH SCORE 8283.312
AT ITER 2200 NEW BEST:: SOT 34590 SOS 23302 HAS SOPS 21897 HAS SOUS 8419 HAS SOUPS 8260 WITH SCORE 8283.302
AT ITER 2226 NEW BEST:: SOT 34593 SOS 23305 HAS SOPS 21894 HAS SOUS 8390 HAS SOUPS 8225 WITH SCORE 8248.305
AT ITER 2257 NEW BEST:: SOT 34593 SOS 23303 HAS SOPS 21899 HAS SOUS 8377 HAS SOUPS 8212 WITH SCORE 8235.303
AT ITER 2260 NEW BEST:: SOT 34593 SOS 23299 HAS SOPS 21895 HAS SOUS 8377 HAS SOUPS 8212 WITH SCORE 8235.299
AT ITER 2265 NEW BEST:: SOT 34593 SOS 23291 HAS SOPS 21895 HAS SOUS 8369 HAS SOUPS 8212 WITH SCORE 8235.291
AT ITER 2286 NEW BEST:: SOT 34593 SOS 23207 HAS SOPS 21849 HAS SOUS 8369 HAS SOUPS 8212 WITH SCORE 8235.207
AT ITER 2293 NEW BEST:: SOT 34592 SOS 23206 HAS SOPS 21848 HAS SOUS 8369 HAS SOUPS 8212 WITH SCORE 8235.206
AT ITER 2336 NEW BEST:: SOT 34592 SOS 23204 HAS SOPS 21846 HAS SOUS 8369 HAS SOUPS 8212 WITH SCORE 8235.204
AT ITER 2364 NEW BEST:: SOT 34584 SOS 23196 HAS SOPS 21838 HAS SOUS 8337 HAS SOUPS 8180 WITH SCORE 8203.196
AT ITER 2399 NEW BEST:: SOT 34584 SOS 23196 HAS SOPS 21838 HAS SOUS 8324 HAS SOUPS 8167 WITH SCORE 8190.196
AT ITER 2435 NEW BEST:: SOT 34584 SOS 23202 HAS SOPS 21863 HAS SOUS 8321 HAS SOUPS 8164 WITH SCORE 8187.202
AT ITER 2450 NEW BEST:: SOT 34553 SOS 22666 HAS SOPS 21327 HAS SOUS 8299 HAS SOUPS 8142 WITH SCORE 8164.666
AT ITER 2458 NEW BEST:: SOT 34486 SOS 22599 HAS SOPS 21260 HAS SOUS 8232 HAS SOUPS 8075 WITH SCORE 8097.599
AT ITER 2465 NEW BEST:: SOT 34478 SOS 22593 HAS SOPS 21252 HAS SOUS 8222 HAS SOUPS 8063 WITH SCORE 8085.593
AT ITER 2471 NEW BEST:: SOT 34478 SOS 22584 HAS SOPS 21254 HAS SOUS 8186 HAS SOUPS 8038 WITH SCORE 8060.584
AT ITER 2501 NEW BEST:: SOT 34478 SOS 22572 HAS SOPS 21282 HAS SOUS 8182 HAS SOUPS 8035 WITH SCORE 8057.572
AT ITER 2543 NEW BEST:: SOT 34478 SOS 22572 HAS SOPS 21279 HAS SOUS 8182 HAS SOUPS 8032 WITH SCORE 8054.572
AT ITER 2548 NEW BEST:: SOT 34468 SOS 22562 HAS SOPS 21269 HAS SOUS 8170 HAS SOUPS 8020 WITH SCORE 8042.562
AT ITER 2564 NEW BEST:: SOT 34468 SOS 22554 HAS SOPS 21261 HAS SOUS 8170 HAS SOUPS 8020 WITH SCORE 8042.554
AT ITER 2592 NEW BEST:: SOT 34467 SOS 22553 HAS SOPS 21260 HAS SOUS 8157 HAS SOUPS 8007 WITH SCORE 8029.553
AT ITER 2609 NEW BEST:: SOT 34467 SOS 22551 HAS SOPS 21258 HAS SOUS 8157 HAS SOUPS 8007 WITH SCORE 8029.551
AT ITER 2618 NEW BEST:: SOT 34467 SOS 22551 HAS SOPS 21291 HAS SOUS 8152 HAS SOUPS 8002 WITH SCORE 8024.551
AT ITER 2650 NEW BEST:: SOT 34431 SOS 22449 HAS SOPS 21234 HAS SOUS 8137 HAS SOUPS 7987 WITH SCORE 8009.449
AT ITER 2668 NEW BEST:: SOT 34431 SOS 22521 HAS SOPS 21285 HAS SOUS 8133 HAS SOUPS 7983 WITH SCORE 8005.521
AT ITER 2680 NEW BEST:: SOT 34431 SOS 22516 HAS SOPS 21280 HAS SOUS 8132 HAS SOUPS 7982 WITH SCORE 8004.516
AT ITER 2713 NEW BEST:: SOT 34413 SOS 22500 HAS SOPS 21264 HAS SOUS 8115 HAS SOUPS 7965 WITH SCORE 7987.5
AT ITER 2720 NEW BEST:: SOT 34399 SOS 22481 HAS SOPS 21245 HAS SOUS 8095 HAS SOUPS 7945 WITH SCORE 7967.481
AT ITER 2723 NEW BEST:: SOT 34330 SOS 22420 HAS SOPS 21190 HAS SOUS 8066 HAS SOUPS 7922 WITH SCORE 7944.42
AT ITER 2727 NEW BEST:: SOT 34300 SOS 22329 HAS SOPS 21092 HAS SOUS 8026 HAS SOUPS 7875 WITH SCORE 7897.329
AT ITER 2819 NEW BEST:: SOT 34300 SOS 22311 HAS SOPS 20832 HAS SOUS 8018 HAS SOUPS 7867 WITH SCORE 7889.311
AT ITER 2829 NEW BEST:: SOT 34300 SOS 22305 HAS SOPS 20842 HAS SOUS 8015 HAS SOUPS 7866 WITH SCORE 7888.305
AT ITER 2845 NEW BEST:: SOT 34272 SOS 22340 HAS SOPS 20877 HAS SOUS 7999 HAS SOUPS 7850 WITH SCORE 7872.34
AT ITER 2884 NEW BEST:: SOT 34265 SOS 22333 HAS SOPS 20870 HAS SOUS 7992 HAS SOUPS 7843 WITH SCORE 7865.333
AT ITER 2898 NEW BEST:: SOT 34227 SOS 22219 HAS SOPS 20756 HAS SOUS 7943 HAS SOUPS 7794 WITH SCORE 7816.219
AT ITER 2940 NEW BEST:: SOT 34227 SOS 22187 HAS SOPS 20724 HAS SOUS 7943 HAS SOUPS 7794 WITH SCORE 7816.187
AT ITER 2943 NEW BEST:: SOT 34227 SOS 22183 HAS SOPS 20720 HAS SOUS 7942 HAS SOUPS 7793 WITH SCORE 7815.183
AT ITER 3001 NEW BEST:: SOT 34227 SOS 22016 HAS SOPS 20693 HAS SOUS 7941 HAS SOUPS 7793 WITH SCORE 7815.016
AT ITER 3026 NEW BEST:: SOT 34227 SOS 22020 HAS SOPS 20697 HAS SOUS 7917 HAS SOUPS 7769 WITH SCORE 7791.02
AT ITER 3065 NEW BEST:: SOT 34227 SOS 22012 HAS SOPS 20689 HAS SOUS 7917 HAS SOUPS 7769 WITH SCORE 7791.012
AT ITER 3089 NEW BEST:: SOT 34227 SOS 22016 HAS SOPS 20677 HAS SOUS 7915 HAS SOUPS 7767 WITH SCORE 7789.016
AT ITER 3136 NEW BEST:: SOT 34207 SOS 22001 HAS SOPS 20662 HAS SOUS 7895 HAS SOUPS 7747 WITH SCORE 7769.001
AT ITER 3148 NEW BEST:: SOT 34207 SOS 21987 HAS SOPS 20648 HAS SOUS 7895 HAS SOUPS 7747 WITH SCORE 7768.987
AT ITER 3166 NEW BEST:: SOT 34197 SOS 21970 HAS SOPS 20631 HAS SOUS 7848 HAS SOUPS 7700 WITH SCORE 7721.97
AT ITER 3175 NEW BEST:: SOT 34194 SOS 21967 HAS SOPS 20628 HAS SOUS 7845 HAS SOUPS 7697 WITH SCORE 7718.967
AT ITER 3234 NEW BEST:: SOT 34194 SOS 21991 HAS SOPS 20652 HAS SOUS 7844 HAS SOUPS 7696 WITH SCORE 7717.991
AT ITER 3260 NEW BEST:: SOT 34198 SOS 21995 HAS SOPS 20654 HAS SOUS 7844 HAS SOUPS 7694 WITH SCORE 7715.995
AT ITER 3261 NEW BEST:: SOT 34198 SOS 21993 HAS SOPS 20652 HAS SOUS 7844 HAS SOUPS 7694 WITH SCORE 7715.993
AT ITER 3284 NEW BEST:: SOT 34198 SOS 21993 HAS SOPS 20664 HAS SOUS 7842 HAS SOUPS 7692 WITH SCORE 7713.993
AT ITER 3355 NEW BEST:: SOT 34193 SOS 21988 HAS SOPS 20659 HAS SOUS 7813 HAS SOUPS 7663 WITH SCORE 7684.988
AT ITER 3366 NEW BEST:: SOT 34192 SOS 21903 HAS SOPS 20573 HAS SOUS 7809 HAS SOUPS 7658 WITH SCORE 7679.903
AT ITER 3383 NEW BEST:: SOT 34192 SOS 21901 HAS SOPS 20571 HAS SOUS 7808 HAS SOUPS 7657 WITH SCORE 7678.901
AT ITER 3397 NEW BEST:: SOT 34186 SOS 21885 HAS SOPS 20570 HAS SOUS 7773 HAS SOUPS 7637 WITH SCORE 7658.885
AT ITER 3424 NEW BEST:: SOT 34136 SOS 21838 HAS SOPS 20513 HAS SOUS 7778 HAS SOUPS 7632 WITH SCORE 7653.838
AT ITER 3439 NEW BEST:: SOT 34136 SOS 21836 HAS SOPS 20511 HAS SOUS 7778 HAS SOUPS 7632 WITH SCORE 7653.836
AT ITER 3454 NEW BEST:: SOT 34128 SOS 21830 HAS SOPS 20505 HAS SOUS 7776 HAS SOUPS 7630 WITH SCORE 7651.83
AT ITER 3535 NEW BEST:: SOT 34128 SOS 21828 HAS SOPS 20503 HAS SOUS 7776 HAS SOUPS 7630 WITH SCORE 7651.828
AT ITER 3591 NEW BEST:: SOT 34027 SOS 21697 HAS SOPS 20372 HAS SOUS 7666 HAS SOUPS 7520 WITH SCORE 7541.697
AT ITER 3617 NEW BEST:: SOT 34037 SOS 21702 HAS SOPS 20382 HAS SOUS 7660 HAS SOUPS 7519 WITH SCORE 7540.702
AT ITER 3620 NEW BEST:: SOT 34018 SOS 21683 HAS SOPS 20363 HAS SOUS 7657 HAS SOUPS 7516 WITH SCORE 7537.683
AT ITER 3633 NEW BEST:: SOT 34018 SOS 21673 HAS SOPS 20353 HAS SOUS 7657 HAS SOUPS 7516 WITH SCORE 7537.673
AT ITER 3645 NEW BEST:: SOT 33988 SOS 21649 HAS SOPS 20323 HAS SOUS 7663 HAS SOUPS 7516 WITH SCORE 7537.649
AT ITER 3650 NEW BEST:: SOT 33988 SOS 21635 HAS SOPS 20349 HAS SOUS 7621 HAS SOUPS 7476 WITH SCORE 7497.635
AT ITER 3658 NEW BEST:: SOT 33986 SOS 21621 HAS SOPS 20334 HAS SOUS 7621 HAS SOUPS 7475 WITH SCORE 7496.621
AT ITER 3661 NEW BEST:: SOT 33986 SOS 21567 HAS SOPS 20350 HAS SOUS 7617 HAS SOUPS 7471 WITH SCORE 7492.567
AT ITER 3688 NEW BEST:: SOT 33981 SOS 21562 HAS SOPS 20349 HAS SOUS 7611 HAS SOUPS 7469 WITH SCORE 7490.562
AT ITER 3689 NEW BEST:: SOT 33981 SOS 21560 HAS SOPS 20353 HAS SOUS 7610 HAS SOUPS 7468 WITH SCORE 7489.56
AT ITER 3695 NEW BEST:: SOT 33981 SOS 21558 HAS SOPS 20351 HAS SOUS 7610 HAS SOUPS 7468 WITH SCORE 7489.558
AT ITER 3711 NEW BEST:: SOT 33981 SOS 21540 HAS SOPS 20340 HAS SOUS 7610 HAS SOUPS 7468 WITH SCORE 7489.54
AT ITER 3728 NEW BEST:: SOT 33993 SOS 21550 HAS SOPS 20350 HAS SOUS 7608 HAS SOUPS 7466 WITH SCORE 7487.55
AT ITER 3748 NEW BEST:: SOT 33976 SOS 21533 HAS SOPS 20333 HAS SOUS 7585 HAS SOUPS 7443 WITH SCORE 7464.533
AT ITER 3767 NEW BEST:: SOT 33976 SOS 21463 HAS SOPS 20263 HAS SOUS 7584 HAS SOUPS 7442 WITH SCORE 7463.463
AT ITER 3769 NEW BEST:: SOT 33976 SOS 22400 HAS SOPS 21421 HAS SOUS 7579 HAS SOUPS 7437 WITH SCORE 7459.4
AT ITER 3775 NEW BEST:: SOT 33930 SOS 22394 HAS SOPS 21415 HAS SOUS 7541 HAS SOUPS 7399 WITH SCORE 7421.394
AT ITER 3790 NEW BEST:: SOT 33930 SOS 22344 HAS SOPS 21288 HAS SOUS 7541 HAS SOUPS 7399 WITH SCORE 7421.344
AT ITER 3851 NEW BEST:: SOT 33930 SOS 22328 HAS SOPS 21272 HAS SOUS 7531 HAS SOUPS 7389 WITH SCORE 7411.328
AT ITER 3854 NEW BEST:: SOT 33930 SOS 22314 HAS SOPS 21244 HAS SOUS 7531 HAS SOUPS 7389 WITH SCORE 7411.314
AT ITER 3858 NEW BEST:: SOT 33951 SOS 22331 HAS SOPS 21250 HAS SOUS 7525 HAS SOUPS 7372 WITH SCORE 7394.331
AT ITER 3867 NEW BEST:: SOT 33951 SOS 21529 HAS SOPS 20448 HAS SOUS 7525 HAS SOUPS 7372 WITH SCORE 7393.529
AT ITER 3897 NEW BEST:: SOT 33939 SOS 21517 HAS SOPS 20436 HAS SOUS 7513 HAS SOUPS 7360 WITH SCORE 7381.517
AT ITER 3923 NEW BEST:: SOT 33931 SOS 21509 HAS SOPS 20428 HAS SOUS 7505 HAS SOUPS 7352 WITH SCORE 7373.509
AT ITER 3950 NEW BEST:: SOT 33935 SOS 21251 HAS SOPS 20142 HAS SOUS 7525 HAS SOUPS 7344 WITH SCORE 7365.251
AT ITER 3959 NEW BEST:: SOT 33935 SOS 21231 HAS SOPS 20122 HAS SOUS 7525 HAS SOUPS 7344 WITH SCORE 7365.231
AT ITER 3978 NEW BEST:: SOT 33935 SOS 20038 HAS SOPS 19832 HAS SOUS 7500 HAS SOUPS 7333 WITH SCORE 7353.038
AT ITER 4008 NEW BEST:: SOT 33935 SOS 20003 HAS SOPS 19797 HAS SOUS 7463 HAS SOUPS 7296 WITH SCORE 7316.003
AT ITER 4011 NEW BEST:: SOT 33935 SOS 19968 HAS SOPS 19762 HAS SOUS 7456 HAS SOUPS 7289 WITH SCORE 7308.968
AT ITER 4020 NEW BEST:: SOT 33933 SOS 19966 HAS SOPS 19760 HAS SOUS 7454 HAS SOUPS 7287 WITH SCORE 7306.966
AT ITER 4022 NEW BEST:: SOT 33927 SOS 19975 HAS SOPS 19769 HAS SOUS 7451 HAS SOUPS 7284 WITH SCORE 7303.975
AT ITER 4041 NEW BEST:: SOT 33914 SOS 19965 HAS SOPS 19759 HAS SOUS 7441 HAS SOUPS 7274 WITH SCORE 7293.965
AT ITER 4050 NEW BEST:: SOT 33906 SOS 19957 HAS SOPS 19751 HAS SOUS 7438 HAS SOUPS 7271 WITH SCORE 7290.957
AT ITER 4061 NEW BEST:: SOT 33928 SOS 19979 HAS SOPS 19773 HAS SOUS 7436 HAS SOUPS 7269 WITH SCORE 7288.979
AT ITER 4120 NEW BEST:: SOT 33928 SOS 19994 HAS SOPS 19788 HAS SOUS 7434 HAS SOUPS 7267 WITH SCORE 7286.994
AT ITER 4148 NEW BEST:: SOT 33921 SOS 19972 HAS SOPS 19766 HAS SOUS 7424 HAS SOUPS 7257 WITH SCORE 7276.972
AT ITER 4188 NEW BEST:: SOT 33921 SOS 19973 HAS SOPS 19767 HAS SOUS 7419 HAS SOUPS 7252 WITH SCORE 7271.973
AT ITER 4190 NEW BEST:: SOT 33921 SOS 20352 HAS SOPS 20146 HAS SOUS 7414 HAS SOUPS 7247 WITH SCORE 7267.352
AT ITER 4191 NEW BEST:: SOT 33917 SOS 20346 HAS SOPS 20142 HAS SOUS 7407 HAS SOUPS 7242 WITH SCORE 7262.346
AT ITER 4209 NEW BEST:: SOT 33928 SOS 20356 HAS SOPS 20153 HAS SOUS 7393 HAS SOUPS 7229 WITH SCORE 7249.356
AT ITER 4229 NEW BEST:: SOT 33928 SOS 20328 HAS SOPS 20125 HAS SOUS 7392 HAS SOUPS 7228 WITH SCORE 7248.328
AT ITER 4246 NEW BEST:: SOT 33928 SOS 20328 HAS SOPS 20125 HAS SOUS 7371 HAS SOUPS 7207 WITH SCORE 7227.328
AT ITER 4264 NEW BEST:: SOT 33927 SOS 20327 HAS SOPS 20124 HAS SOUS 7370 HAS SOUPS 7206 WITH SCORE 7226.327
AT ITER 4266 NEW BEST:: SOT 33927 SOS 20278 HAS SOPS 20075 HAS SOUS 7370 HAS SOUPS 7206 WITH SCORE 7226.278
AT ITER 4311 NEW BEST:: SOT 33907 SOS 20276 HAS SOPS 20055 HAS SOUS 7386 HAS SOUPS 7204 WITH SCORE 7224.276
AT ITER 4325 NEW BEST:: SOT 33884 SOS 20253 HAS SOPS 20032 HAS SOUS 7363 HAS SOUPS 7181 WITH SCORE 7201.253
AT ITER 4374 NEW BEST:: SOT 33884 SOS 20251 HAS SOPS 20030 HAS SOUS 7363 HAS SOUPS 7181 WITH SCORE 7201.251
AT ITER 4401 NEW BEST:: SOT 33884 SOS 20755 HAS SOPS 20534 HAS SOUS 7358 HAS SOUPS 7176 WITH SCORE 7196.755
AT ITER 4512 NEW BEST:: SOT 33884 SOS 21407 HAS SOPS 21186 HAS SOUS 7349 HAS SOUPS 7167 WITH SCORE 7188.407
AT ITER 4515 NEW BEST:: SOT 33884 SOS 21407 HAS SOPS 21186 HAS SOUS 7343 HAS SOUPS 7161 WITH SCORE 7182.407
AT ITER 4520 NEW BEST:: SOT 33884 SOS 21393 HAS SOPS 21172 HAS SOUS 7343 HAS SOUPS 7161 WITH SCORE 7182.393
AT ITER 4523 NEW BEST:: SOT 33884 SOS 21393 HAS SOPS 21172 HAS SOUS 7342 HAS SOUPS 7160 WITH SCORE 7181.393
AT ITER 4528 NEW BEST:: SOT 33884 SOS 21393 HAS SOPS 21172 HAS SOUS 7339 HAS SOUPS 7157 WITH SCORE 7178.393
AT ITER 4548 NEW BEST:: SOT 33884 SOS 21383 HAS SOPS 21162 HAS SOUS 7339 HAS SOUPS 7157 WITH SCORE 7178.383
AT ITER 4554 NEW BEST:: SOT 33884 SOS 21382 HAS SOPS 21162 HAS SOUS 7338 HAS SOUPS 7157 WITH SCORE 7178.382
AT ITER 4569 NEW BEST:: SOT 33882 SOS 21380 HAS SOPS 21160 HAS SOUS 7338 HAS SOUPS 7157 WITH SCORE 7178.38
AT ITER 4631 NEW BEST:: SOT 33882 SOS 21380 HAS SOPS 21160 HAS SOUS 7335 HAS SOUPS 7154 WITH SCORE 7175.38
AT ITER 4665 NEW BEST:: SOT 33882 SOS 21380 HAS SOPS 21157 HAS SOUS 7335 HAS SOUPS 7151 WITH SCORE 7172.38
AT ITER 4675 NEW BEST:: SOT 33882 SOS 21325 HAS SOPS 21102 HAS SOUS 7335 HAS SOUPS 7151 WITH SCORE 7172.325
AT ITER 4707 NEW BEST:: SOT 33882 SOS 21363 HAS SOPS 21140 HAS SOUS 7291 HAS SOUPS 7107 WITH SCORE 7128.363
AT ITER 4782 NEW BEST:: SOT 33882 SOS 21366 HAS SOPS 21143 HAS SOUS 7246 HAS SOUPS 7062 WITH SCORE 7083.366
AT ITER 4838 NEW BEST:: SOT 33870 SOS 21364 HAS SOPS 21141 HAS SOUS 7236 HAS SOUPS 7052 WITH SCORE 7073.364
AT ITER 4860 NEW BEST:: SOT 33874 SOS 21348 HAS SOPS 21125 HAS SOUS 7232 HAS SOUPS 7048 WITH SCORE 7069.348
AT ITER 4898 NEW BEST:: SOT 33874 SOS 21426 HAS SOPS 21203 HAS SOUS 7229 HAS SOUPS 7045 WITH SCORE 7066.426
AT ITER 4924 NEW BEST:: SOT 33839 SOS 21398 HAS SOPS 21168 HAS SOUS 7219 HAS SOUPS 7028 WITH SCORE 7049.398
AT ITER 4926 NEW BEST:: SOT 33839 SOS 21398 HAS SOPS 21168 HAS SOUS 7218 HAS SOUPS 7027 WITH SCORE 7048.398
AT ITER 4932 NEW BEST:: SOT 33836 SOS 21347 HAS SOPS 21113 HAS SOUS 7207 HAS SOUPS 7012 WITH SCORE 7033.347
AT ITER 4935 NEW BEST:: SOT 33835 SOS 21346 HAS SOPS 21112 HAS SOUS 7206 HAS SOUPS 7011 WITH SCORE 7032.346
AT ITER 4939 NEW BEST:: SOT 33807 SOS 21325 HAS SOPS 21084 HAS SOUS 7190 HAS SOUPS 6988 WITH SCORE 7009.325
AT ITER 4943 NEW BEST:: SOT 33775 SOS 21277 HAS SOPS 21033 HAS SOUS 7191 HAS SOUPS 6986 WITH SCORE 7007.277
AT ITER 4966 NEW BEST:: SOT 33767 SOS 21269 HAS SOPS 21025 HAS SOUS 7187 HAS SOUPS 6982 WITH SCORE 7003.269
AT ITER 4986 NEW BEST:: SOT 33767 SOS 22095 HAS SOPS 21893 HAS SOUS 7160 HAS SOUPS 6958 WITH SCORE 6980.095
AT ITER 5022 NEW BEST:: SOT 33752 SOS 22095 HAS SOPS 21893 HAS SOUS 7148 HAS SOUPS 6946 WITH SCORE 6968.095
AT ITER 5061 NEW BEST:: SOT 33752 SOS 22017 HAS SOPS 21815 HAS SOUS 7148 HAS SOUPS 6946 WITH SCORE 6968.017
AT ITER 5065 NEW BEST:: SOT 33752 SOS 22001 HAS SOPS 21799 HAS SOUS 7148 HAS SOUPS 6946 WITH SCORE 6968.001
AT ITER 5127 NEW BEST:: SOT 33752 SOS 21967 HAS SOPS 21765 HAS SOUS 7148 HAS SOUPS 6946 WITH SCORE 6967.967
AT ITER 5144 NEW BEST:: SOT 33734 SOS 21952 HAS SOPS 21747 HAS SOUS 7136 HAS SOUPS 6931 WITH SCORE 6952.952
AT ITER 5160 NEW BEST:: SOT 33734 SOS 21994 HAS SOPS 21789 HAS SOUS 7131 HAS SOUPS 6926 WITH SCORE 6947.994
AT ITER 5199 NEW BEST:: SOT 33731 SOS 21988 HAS SOPS 21786 HAS SOUS 7119 HAS SOUPS 6917 WITH SCORE 6938.988
AT ITER 5292 NEW BEST:: SOT 33719 SOS 21978 HAS SOPS 21776 HAS SOUS 7109 HAS SOUPS 6907 WITH SCORE 6928.978
AT ITER 5317 NEW BEST:: SOT 33714 SOS 21974 HAS SOPS 21772 HAS SOUS 7105 HAS SOUPS 6903 WITH SCORE 6924.974
AT ITER 5370 NEW BEST:: SOT 33714 SOS 22093 HAS SOPS 21891 HAS SOUS 7104 HAS SOUPS 6902 WITH SCORE 6924.093
AT ITER 5433 NEW BEST:: SOT 33735 SOS 22066 HAS SOPS 21864 HAS SOUS 7084 HAS SOUPS 6882 WITH SCORE 6904.066
AT ITER 5504 NEW BEST:: SOT 33735 SOS 22066 HAS SOPS 21864 HAS SOUS 7082 HAS SOUPS 6880 WITH SCORE 6902.066
AT ITER 5577 NEW BEST:: SOT 33711 SOS 22002 HAS SOPS 21792 HAS SOUS 7054 HAS SOUPS 6844 WITH SCORE 6866.002
AT ITER 5718 NEW BEST:: SOT 33705 SOS 21996 HAS SOPS 21786 HAS SOUS 7054 HAS SOUPS 6844 WITH SCORE 6865.996
AT ITER 5755 NEW BEST:: SOT 33700 SOS 21991 HAS SOPS 21781 HAS SOUS 7041 HAS SOUPS 6831 WITH SCORE 6852.991
AT ITER 5791 NEW BEST:: SOT 33700 SOS 22021 HAS SOPS 21811 HAS SOUS 7037 HAS SOUPS 6827 WITH SCORE 6849.021
AT ITER 5801 NEW BEST:: SOT 33696 SOS 22019 HAS SOPS 21807 HAS SOUS 7037 HAS SOUPS 6825 WITH SCORE 6847.019
AT ITER 5813 NEW BEST:: SOT 33696 SOS 22019 HAS SOPS 21807 HAS SOUS 7036 HAS SOUPS 6824 WITH SCORE 6846.019
AT ITER 5816 NEW BEST:: SOT 33696 SOS 22277 HAS SOPS 22065 HAS SOUS 7035 HAS SOUPS 6823 WITH SCORE 6845.277
AT ITER 5845 NEW BEST:: SOT 33696 SOS 22275 HAS SOPS 22063 HAS SOUS 7035 HAS SOUPS 6823 WITH SCORE 6845.275
AT ITER 5862 NEW BEST:: SOT 33692 SOS 22271 HAS SOPS 22059 HAS SOUS 7035 HAS SOUPS 6823 WITH SCORE 6845.271
AT ITER 6010 NEW BEST:: SOT 33691 SOS 22261 HAS SOPS 22060 HAS SOUS 7013 HAS SOUPS 6812 WITH SCORE 6834.261
AT ITER 6018 NEW BEST:: SOT 33691 SOS 22229 HAS SOPS 22028 HAS SOUS 6981 HAS SOUPS 6780 WITH SCORE 6802.229
AT ITER 6023 NEW BEST:: SOT 33691 SOS 22299 HAS SOPS 22098 HAS SOUS 6976 HAS SOUPS 6775 WITH SCORE 6797.299
AT ITER 6209 NEW BEST:: SOT 33691 SOS 22299 HAS SOPS 22098 HAS SOUS 6974 HAS SOUPS 6773 WITH SCORE 6795.299
AT ITER 6251 NEW BEST:: SOT 33691 SOS 22649 HAS SOPS 22448 HAS SOUS 6959 HAS SOUPS 6758 WITH SCORE 6780.649
AT ITER 6300 NEW BEST:: SOT 33691 SOS 22679 HAS SOPS 22478 HAS SOUS 6957 HAS SOUPS 6756 WITH SCORE 6778.679
AT ITER 6431 NEW BEST:: SOT 33691 SOS 22681 HAS SOPS 22480 HAS SOUS 6947 HAS SOUPS 6746 WITH SCORE 6768.681
AT ITER 6436 NEW BEST:: SOT 33683 SOS 22676 HAS SOPS 22472 HAS SOUS 6945 HAS SOUPS 6741 WITH SCORE 6763.676
AT ITER 6452 NEW BEST:: SOT 33677 SOS 22671 HAS SOPS 22466 HAS SOUS 6946 HAS SOUPS 6741 WITH SCORE 6763.671
AT ITER 6707 NEW BEST:: SOT 33677 SOS 22734 HAS SOPS 22529 HAS SOUS 6944 HAS SOUPS 6739 WITH SCORE 6761.734
AT ITER 6750 NEW BEST:: SOT 33677 SOS 22732 HAS SOPS 22527 HAS SOUS 6943 HAS SOUPS 6738 WITH SCORE 6760.732
AT ITER 6765 NEW BEST:: SOT 33677 SOS 22732 HAS SOPS 22527 HAS SOUS 6941 HAS SOUPS 6736 WITH SCORE 6758.732
AT ITER 6966 NEW BEST:: SOT 33673 SOS 22728 HAS SOPS 22523 HAS SOUS 6937 HAS SOUPS 6732 WITH SCORE 6754.728
AT ITER 7069 NEW BEST:: SOT 33670 SOS 22722 HAS SOPS 22520 HAS SOUS 6925 HAS SOUPS 6723 WITH SCORE 6745.722
AT ITER 7232 NEW BEST:: SOT 33670 SOS 22788 HAS SOPS 22586 HAS SOUS 6923 HAS SOUPS 6721 WITH SCORE 6743.788
AT ITER 7320 NEW BEST:: SOT 33670 SOS 22788 HAS SOPS 22586 HAS SOUS 6913 HAS SOUPS 6711 WITH SCORE 6733.788
AT ITER 7362 NEW BEST:: SOT 33670 SOS 22924 HAS SOPS 22722 HAS SOUS 6909 HAS SOUPS 6707 WITH SCORE 6729.924
AT ITER 7394 NEW BEST:: SOT 33670 SOS 22890 HAS SOPS 22688 HAS SOUS 6909 HAS SOUPS 6707 WITH SCORE 6729.89
AT ITER 7462 NEW BEST:: SOT 33670 SOS 22834 HAS SOPS 22632 HAS SOUS 6909 HAS SOUPS 6707 WITH SCORE 6729.834
AT ITER 7539 NEW BEST:: SOT 33667 SOS 22831 HAS SOPS 22629 HAS SOUS 6908 HAS SOUPS 6706 WITH SCORE 6728.831
AT ITER 7570 NEW BEST:: SOT 33666 SOS 22830 HAS SOPS 22628 HAS SOUS 6907 HAS SOUPS 6705 WITH SCORE 6727.83
AT ITER 7639 NEW BEST:: SOT 33662 SOS 22828 HAS SOPS 22626 HAS SOUS 6904 HAS SOUPS 6702 WITH SCORE 6724.828
AT ITER 7645 NEW BEST:: SOT 33656 SOS 22822 HAS SOPS 22620 HAS SOUS 6897 HAS SOUPS 6695 WITH SCORE 6717.822
AT ITER 7657 NEW BEST:: SOT 33659 SOS 22825 HAS SOPS 22623 HAS SOUS 6894 HAS SOUPS 6692 WITH SCORE 6714.825
AT ITER 7688 NEW BEST:: SOT 33653 SOS 22822 HAS SOPS 22617 HAS SOUS 6894 HAS SOUPS 6689 WITH SCORE 6711.822
AT ITER 7767 NEW BEST:: SOT 33653 SOS 22816 HAS SOPS 22611 HAS SOUS 6892 HAS SOUPS 6687 WITH SCORE 6709.816
AT ITER 7836 NEW BEST:: SOT 33657 SOS 22820 HAS SOPS 22615 HAS SOUS 6891 HAS SOUPS 6686 WITH SCORE 6708.82
AT ITER 7860 NEW BEST:: SOT 33657 SOS 22853 HAS SOPS 22648 HAS SOUS 6890 HAS SOUPS 6685 WITH SCORE 6707.853
AT ITER 7861 NEW BEST:: SOT 33657 SOS 22853 HAS SOPS 22648 HAS SOUS 6889 HAS SOUPS 6684 WITH SCORE 6706.853
AT ITER 7981 NEW BEST:: SOT 33657 SOS 22826 HAS SOPS 22621 HAS SOUS 6886 HAS SOUPS 6681 WITH SCORE 6703.826
AT ITER 8136 NEW BEST:: SOT 33657 SOS 22819 HAS SOPS 22614 HAS SOUS 6886 HAS SOUPS 6681 WITH SCORE 6703.819
AT ITER 8141 NEW BEST:: SOT 33657 SOS 22807 HAS SOPS 22602 HAS SOUS 6886 HAS SOUPS 6681 WITH SCORE 6703.807
AT ITER 8223 NEW BEST:: SOT 33645 SOS 22805 HAS SOPS 22600 HAS SOUS 6876 HAS SOUPS 6671 WITH SCORE 6693.805
AT ITER 8227 NEW BEST:: SOT 33647 SOS 22802 HAS SOPS 22602 HAS SOUS 6870 HAS SOUPS 6670 WITH SCORE 6692.802
AT ITER 8242 NEW BEST:: SOT 33647 SOS 22799 HAS SOPS 22599 HAS SOUS 6870 HAS SOUPS 6670 WITH SCORE 6692.799
AT ITER 8269 NEW BEST:: SOT 33647 SOS 22799 HAS SOPS 22599 HAS SOUS 6868 HAS SOUPS 6668 WITH SCORE 6690.799
AT ITER 8307 NEW BEST:: SOT 33647 SOS 22799 HAS SOPS 22596 HAS SOUS 6870 HAS SOUPS 6667 WITH SCORE 6689.799
AT ITER 8328 NEW BEST:: SOT 33732 SOS 22889 HAS SOPS 22686 HAS SOUS 6836 HAS SOUPS 6633 WITH SCORE 6655.889
AT ITER 8601 NEW BEST:: SOT 33726 SOS 22888 HAS SOPS 22685 HAS SOUS 6831 HAS SOUPS 6628 WITH SCORE 6650.888
AT ITER 8708 NEW BEST:: SOT 33728 SOS 22890 HAS SOPS 22687 HAS SOUS 6825 HAS SOUPS 6622 WITH SCORE 6644.89
AT ITER 8893 NEW BEST:: SOT 33726 SOS 22888 HAS SOPS 22685 HAS SOUS 6823 HAS SOUPS 6620 WITH SCORE 6642.888
AT ITER 8927 NEW BEST:: SOT 33721 SOS 22884 HAS SOPS 22680 HAS SOUS 6820 HAS SOUPS 6616 WITH SCORE 6638.884
AT ITER 8934 NEW BEST:: SOT 33721 SOS 22876 HAS SOPS 22672 HAS SOUS 6816 HAS SOUPS 6612 WITH SCORE 6634.876
AT ITER 9011 NEW BEST:: SOT 33747 SOS 22903 HAS SOPS 22699 HAS SOUS 6812 HAS SOUPS 6608 WITH SCORE 6630.903
AT ITER 9193 NEW BEST:: SOT 33747 SOS 22835 HAS SOPS 22631 HAS SOUS 6812 HAS SOUPS 6608 WITH SCORE 6630.835
AT ITER 9227 NEW BEST:: SOT 33747 SOS 22835 HAS SOPS 22631 HAS SOUS 6804 HAS SOUPS 6600 WITH SCORE 6622.835
AT ITER 9377 NEW BEST:: SOT 33747 SOS 22835 HAS SOPS 22631 HAS SOUS 6802 HAS SOUPS 6598 WITH SCORE 6620.835
AT ITER 9462 NEW BEST:: SOT 33736 SOS 22824 HAS SOPS 22620 HAS SOUS 6786 HAS SOUPS 6582 WITH SCORE 6604.824
AT ITER 9493 NEW BEST:: SOT 33735 SOS 22822 HAS SOPS 22619 HAS SOUS 6782 HAS SOUPS 6579 WITH SCORE 6601.822
AT ITER 9495 NEW BEST:: SOT 33735 SOS 22822 HAS SOPS 22619 HAS SOUS 6776 HAS SOUPS 6573 WITH SCORE 6595.822
AT ITER 9547 NEW BEST:: SOT 33735 SOS 22822 HAS SOPS 22619 HAS SOUS 6774 HAS SOUPS 6571 WITH SCORE 6593.822
AT ITER 9559 NEW BEST:: SOT 33735 SOS 22822 HAS SOPS 22619 HAS SOUS 6766 HAS SOUPS 6563 WITH SCORE 6585.822
AT ITER 9580 NEW BEST:: SOT 33735 SOS 22822 HAS SOPS 22619 HAS SOUS 6765 HAS SOUPS 6562 WITH SCORE 6584.822
AT ITER 9647 NEW BEST:: SOT 33720 SOS 22807 HAS SOPS 22607 HAS SOUS 6755 HAS SOUPS 6555 WITH SCORE 6577.807
AT ITER 9678 NEW BEST:: SOT 33720 SOS 22807 HAS SOPS 22607 HAS SOUS 6751 HAS SOUPS 6551 WITH SCORE 6573.807
AT ITER 9876 NEW BEST:: SOT 33720 SOS 22807 HAS SOPS 22607 HAS SOUS 6750 HAS SOUPS 6550 WITH SCORE 6572.807
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 157888 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16288016 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="SafeBus-PT-06"
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 SafeBus-PT-06, 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 r363-smll-167891814000272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-PT-06.tgz
mv SafeBus-PT-06 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 ;