About the Execution of Smart+red for GPUForwardProgress-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11527.140 | 3600000.00 | 3628273.00 | 11886.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349000048.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 GPUForwardProgress-PT-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349000048
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 25 14:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 65K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678521158237
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=GPUForwardProgress-PT-12b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 07:52:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 07:52:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 07:52:42] [INFO ] Load time of PNML (sax parser for PT used): 131 ms
[2023-03-11 07:52:42] [INFO ] Transformed 264 places.
[2023-03-11 07:52:42] [INFO ] Transformed 277 transitions.
[2023-03-11 07:52:42] [INFO ] Found NUPN structural information;
[2023-03-11 07:52:42] [INFO ] Parsed PT model containing 264 places and 277 transitions and 677 arcs in 317 ms.
[2023-03-11 07:52:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 264 places, 277 transitions and 677 arcs took 12 ms.
Total runtime 404 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 12b
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: 264 places, 277 transitions, 677 arcs.
AT ITER 0 NEW BEST:: SOT 41092 SOS 12326 HAS SOPS 12326 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11273.326
AT ITER 2 NEW BEST:: SOT 41092 SOS 12302 HAS SOPS 12302 HAS SOUS 11260 HAS SOUPS 11260 WITH SCORE 11272.302
AT ITER 9 NEW BEST:: SOT 41092 SOS 12460 HAS SOPS 12460 HAS SOUS 11258 HAS SOUPS 11258 WITH SCORE 11270.46
AT ITER 10 NEW BEST:: SOT 41092 SOS 12458 HAS SOPS 12458 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11268.458
AT ITER 13 NEW BEST:: SOT 41092 SOS 12458 HAS SOPS 12458 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11267.458
AT ITER 14 NEW BEST:: SOT 41092 SOS 12458 HAS SOPS 12458 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11258.458
AT ITER 18 NEW BEST:: SOT 41092 SOS 12452 HAS SOPS 12452 HAS SOUS 11230 HAS SOUPS 11230 WITH SCORE 11242.452
AT ITER 37 NEW BEST:: SOT 41078 SOS 12472 HAS SOPS 12472 HAS SOUS 11216 HAS SOUPS 11216 WITH SCORE 11228.472
AT ITER 42 NEW BEST:: SOT 41058 SOS 12477 HAS SOPS 12477 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11227.477
AT ITER 47 NEW BEST:: SOT 41058 SOS 12459 HAS SOPS 12459 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11218.459
AT ITER 92 NEW BEST:: SOT 41058 SOS 12459 HAS SOPS 12459 HAS SOUS 11201 HAS SOUPS 11201 WITH SCORE 11213.459
AT ITER 124 NEW BEST:: SOT 41036 SOS 12444 HAS SOPS 12444 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11193.444
AT ITER 153 NEW BEST:: SOT 41016 SOS 12363 HAS SOPS 12363 HAS SOUS 11161 HAS SOUPS 11161 WITH SCORE 11173.363
AT ITER 160 NEW BEST:: SOT 41020 SOS 12357 HAS SOPS 12357 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11167.357
AT ITER 165 NEW BEST:: SOT 41020 SOS 12357 HAS SOPS 12357 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11166.357
AT ITER 171 NEW BEST:: SOT 40984 SOS 12321 HAS SOPS 12321 HAS SOUS 11118 HAS SOUPS 11118 WITH SCORE 11130.321
AT ITER 172 NEW BEST:: SOT 41016 SOS 12314 HAS SOPS 12314 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11123.314
AT ITER 178 NEW BEST:: SOT 41016 SOS 12314 HAS SOPS 12314 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11121.314
AT ITER 192 NEW BEST:: SOT 40968 SOS 12218 HAS SOPS 12218 HAS SOUS 11013 HAS SOUPS 11013 WITH SCORE 11025.218
AT ITER 193 NEW BEST:: SOT 40977 SOS 12236 HAS SOPS 12236 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11016.236
AT ITER 195 NEW BEST:: SOT 40951 SOS 12203 HAS SOPS 12203 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10990.203
AT ITER 200 NEW BEST:: SOT 40901 SOS 12157 HAS SOPS 12157 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10946.157
AT ITER 210 NEW BEST:: SOT 40895 SOS 12145 HAS SOPS 12145 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.145
AT ITER 223 NEW BEST:: SOT 40885 SOS 12105 HAS SOPS 12105 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10928.105
AT ITER 233 NEW BEST:: SOT 40885 SOS 12105 HAS SOPS 12105 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10920.105
AT ITER 234 NEW BEST:: SOT 40873 SOS 12093 HAS SOPS 12093 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10920.093
AT ITER 237 NEW BEST:: SOT 40873 SOS 12082 HAS SOPS 12082 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10920.082
AT ITER 241 NEW BEST:: SOT 40873 SOS 12041 HAS SOPS 12041 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10879.041
AT ITER 263 NEW BEST:: SOT 40898 SOS 11977 HAS SOPS 11977 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10854.977
AT ITER 266 NEW BEST:: SOT 40897 SOS 11969 HAS SOPS 11969 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10851.969
AT ITER 284 NEW BEST:: SOT 40884 SOS 11951 HAS SOPS 11951 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10838.951
AT ITER 301 NEW BEST:: SOT 40776 SOS 11890 HAS SOPS 11890 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10777.89
AT ITER 314 NEW BEST:: SOT 40754 SOS 11868 HAS SOPS 11868 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10755.868
AT ITER 335 NEW BEST:: SOT 40747 SOS 11835 HAS SOPS 11835 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10741.835
AT ITER 341 NEW BEST:: SOT 40747 SOS 11818 HAS SOPS 11818 HAS SOUS 10717 HAS SOUPS 10717 WITH SCORE 10728.818
AT ITER 342 NEW BEST:: SOT 40757 SOS 11810 HAS SOPS 11810 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10720.81
AT ITER 350 NEW BEST:: SOT 40757 SOS 11810 HAS SOPS 11810 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10719.81
AT ITER 355 NEW BEST:: SOT 40732 SOS 11810 HAS SOPS 11810 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10702.81
AT ITER 398 NEW BEST:: SOT 40705 SOS 11804 HAS SOPS 11804 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10696.804
AT ITER 425 NEW BEST:: SOT 40705 SOS 11800 HAS SOPS 11800 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10696.8
AT ITER 435 NEW BEST:: SOT 40705 SOS 11800 HAS SOPS 11800 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10695.8
AT ITER 437 NEW BEST:: SOT 40701 SOS 11792 HAS SOPS 11792 HAS SOUS 10676 HAS SOUPS 10676 WITH SCORE 10687.792
AT ITER 462 NEW BEST:: SOT 40701 SOS 11792 HAS SOPS 11792 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10679.792
AT ITER 471 NEW BEST:: SOT 40706 SOS 11764 HAS SOPS 11764 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10651.764
AT ITER 533 NEW BEST:: SOT 40667 SOS 11724 HAS SOPS 11724 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10614.724
AT ITER 544 NEW BEST:: SOT 40662 SOS 11714 HAS SOPS 11714 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10604.714
AT ITER 555 NEW BEST:: SOT 40654 SOS 11702 HAS SOPS 11702 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10596.702
AT ITER 556 NEW BEST:: SOT 40654 SOS 11702 HAS SOPS 11702 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10595.702
AT ITER 560 NEW BEST:: SOT 40654 SOS 11702 HAS SOPS 11702 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10580.702
AT ITER 569 NEW BEST:: SOT 40640 SOS 11674 HAS SOPS 11674 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10535.674
AT ITER 578 NEW BEST:: SOT 40640 SOS 11632 HAS SOPS 11632 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10514.632
AT ITER 614 NEW BEST:: SOT 40639 SOS 11628 HAS SOPS 11628 HAS SOUS 10501 HAS SOUPS 10501 WITH SCORE 10512.628
AT ITER 618 NEW BEST:: SOT 40639 SOS 11625 HAS SOPS 11625 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10509.625
AT ITER 633 NEW BEST:: SOT 40638 SOS 11623 HAS SOPS 11623 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10497.623
AT ITER 641 NEW BEST:: SOT 40630 SOS 11615 HAS SOPS 11615 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10489.615
AT ITER 661 NEW BEST:: SOT 40630 SOS 11609 HAS SOPS 11609 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10483.609
AT ITER 662 NEW BEST:: SOT 40630 SOS 11609 HAS SOPS 11609 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10482.609
AT ITER 669 NEW BEST:: SOT 40629 SOS 11607 HAS SOPS 11607 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10480.607
AT ITER 696 NEW BEST:: SOT 40612 SOS 11591 HAS SOPS 11591 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10476.591
AT ITER 700 NEW BEST:: SOT 40616 SOS 11599 HAS SOPS 11599 HAS SOUS 10455 HAS SOUPS 10455 WITH SCORE 10466.599
AT ITER 704 NEW BEST:: SOT 40616 SOS 11582 HAS SOPS 11582 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10460.582
AT ITER 713 NEW BEST:: SOT 40616 SOS 11582 HAS SOPS 11582 HAS SOUS 10429 HAS SOUPS 10429 WITH SCORE 10440.582
AT ITER 732 NEW BEST:: SOT 40616 SOS 11541 HAS SOPS 11541 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10399.541
AT ITER 744 NEW BEST:: SOT 40616 SOS 11541 HAS SOPS 11541 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10396.541
AT ITER 746 NEW BEST:: SOT 40601 SOS 11530 HAS SOPS 11530 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10386.53
AT ITER 753 NEW BEST:: SOT 40586 SOS 11469 HAS SOPS 11469 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10374.469
AT ITER 761 NEW BEST:: SOT 40583 SOS 11457 HAS SOPS 11457 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10368.457
AT ITER 791 NEW BEST:: SOT 40582 SOS 11451 HAS SOPS 11451 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10363.451
AT ITER 798 NEW BEST:: SOT 40582 SOS 11425 HAS SOPS 11425 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10363.425
AT ITER 808 NEW BEST:: SOT 40581 SOS 11423 HAS SOPS 11423 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10361.423
AT ITER 822 NEW BEST:: SOT 40581 SOS 11417 HAS SOPS 11417 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10361.417
AT ITER 825 NEW BEST:: SOT 40581 SOS 11414 HAS SOPS 11414 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10358.414
AT ITER 826 NEW BEST:: SOT 40575 SOS 11405 HAS SOPS 11405 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10349.405
AT ITER 834 NEW BEST:: SOT 40575 SOS 11383 HAS SOPS 11383 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10349.383
AT ITER 839 NEW BEST:: SOT 40578 SOS 11375 HAS SOPS 11375 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10341.375
AT ITER 885 NEW BEST:: SOT 40575 SOS 11369 HAS SOPS 11369 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10335.369
AT ITER 886 NEW BEST:: SOT 40604 SOS 11263 HAS SOPS 11263 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10308.263
AT ITER 901 NEW BEST:: SOT 40604 SOS 11262 HAS SOPS 11262 HAS SOUS 10296 HAS SOUPS 10296 WITH SCORE 10307.262
AT ITER 906 NEW BEST:: SOT 40605 SOS 11257 HAS SOPS 11257 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10302.257
AT ITER 918 NEW BEST:: SOT 40584 SOS 11215 HAS SOPS 11215 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10208.215
AT ITER 958 NEW BEST:: SOT 40581 SOS 11195 HAS SOPS 11195 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10191.195
AT ITER 991 NEW BEST:: SOT 40563 SOS 11159 HAS SOPS 11159 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10173.159
AT ITER 1028 NEW BEST:: SOT 40544 SOS 11121 HAS SOPS 11121 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10154.121
AT ITER 1061 NEW BEST:: SOT 40533 SOS 11099 HAS SOPS 11099 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10131.099
AT ITER 1075 NEW BEST:: SOT 40539 SOS 11065 HAS SOPS 11065 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10125.065
AT ITER 1079 NEW BEST:: SOT 40539 SOS 11065 HAS SOPS 11065 HAS SOUS 10095 HAS SOUPS 10095 WITH SCORE 10106.065
AT ITER 1080 NEW BEST:: SOT 40543 SOS 11073 HAS SOPS 11073 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10063.073
AT ITER 1091 NEW BEST:: SOT 40543 SOS 11073 HAS SOPS 11073 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10058.073
AT ITER 1102 NEW BEST:: SOT 40543 SOS 11070 HAS SOPS 11070 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10055.07
AT ITER 1107 NEW BEST:: SOT 40540 SOS 11056 HAS SOPS 11056 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10049.056
AT ITER 1119 NEW BEST:: SOT 40493 SOS 11000 HAS SOPS 11000 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9993.0
AT ITER 1120 NEW BEST:: SOT 40490 SOS 10994 HAS SOPS 10994 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9986.994
AT ITER 1127 NEW BEST:: SOT 40490 SOS 10978 HAS SOPS 10978 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9986.978
AT ITER 1134 NEW BEST:: SOT 40490 SOS 10960 HAS SOPS 10960 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9968.96
AT ITER 1135 NEW BEST:: SOT 40382 SOS 10933 HAS SOPS 10933 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9916.933
AT ITER 1164 NEW BEST:: SOT 40384 SOS 10937 HAS SOPS 10937 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9885.937
AT ITER 1173 NEW BEST:: SOT 40384 SOS 10933 HAS SOPS 10933 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9885.933
AT ITER 1178 NEW BEST:: SOT 40367 SOS 10899 HAS SOPS 10899 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9819.899
AT ITER 1186 NEW BEST:: SOT 40367 SOS 10863 HAS SOPS 10863 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9801.863
AT ITER 1195 NEW BEST:: SOT 40376 SOS 10847 HAS SOPS 10847 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9785.847
AT ITER 1204 NEW BEST:: SOT 40395 SOS 10839 HAS SOPS 10839 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9777.839
AT ITER 1220 NEW BEST:: SOT 40395 SOS 10834 HAS SOPS 10834 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9772.834
AT ITER 1222 NEW BEST:: SOT 40385 SOS 10814 HAS SOPS 10814 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9752.814
AT ITER 1223 NEW BEST:: SOT 40372 SOS 10801 HAS SOPS 10801 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9739.801
AT ITER 1226 NEW BEST:: SOT 40372 SOS 10767 HAS SOPS 10767 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9722.767
AT ITER 1229 NEW BEST:: SOT 40354 SOS 10749 HAS SOPS 10749 HAS SOUS 9694 HAS SOUPS 9694 WITH SCORE 9704.749
AT ITER 1232 NEW BEST:: SOT 40338 SOS 10717 HAS SOPS 10717 HAS SOUS 9662 HAS SOUPS 9662 WITH SCORE 9672.717
AT ITER 1234 NEW BEST:: SOT 40332 SOS 10705 HAS SOPS 10705 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9660.705
AT ITER 1264 NEW BEST:: SOT 39876 SOS 10647 HAS SOPS 10647 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9306.647
AT ITER 1273 NEW BEST:: SOT 39863 SOS 10587 HAS SOPS 10587 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9280.587
AT ITER 1283 NEW BEST:: SOT 39828 SOS 10536 HAS SOPS 10536 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9229.536
AT ITER 1291 NEW BEST:: SOT 39825 SOS 10530 HAS SOPS 10530 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9223.53
AT ITER 1298 NEW BEST:: SOT 39843 SOS 10513 HAS SOPS 10513 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9218.513
AT ITER 1311 NEW BEST:: SOT 39838 SOS 10512 HAS SOPS 10512 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9217.512
AT ITER 1322 NEW BEST:: SOT 39836 SOS 10508 HAS SOPS 10508 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9213.508
AT ITER 1338 NEW BEST:: SOT 39833 SOS 10502 HAS SOPS 10502 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9212.502
AT ITER 1344 NEW BEST:: SOT 39811 SOS 10348 HAS SOPS 10348 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9168.348
AT ITER 1369 NEW BEST:: SOT 39811 SOS 10348 HAS SOPS 10348 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9159.348
AT ITER 1370 NEW BEST:: SOT 39789 SOS 10306 HAS SOPS 10306 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9117.306
AT ITER 1389 NEW BEST:: SOT 39800 SOS 10328 HAS SOPS 10328 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9112.328
AT ITER 1396 NEW BEST:: SOT 39799 SOS 10326 HAS SOPS 10326 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9109.326
AT ITER 1423 NEW BEST:: SOT 39797 SOS 10322 HAS SOPS 10322 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9107.322
AT ITER 1434 NEW BEST:: SOT 39793 SOS 10306 HAS SOPS 10306 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9099.306
AT ITER 1476 NEW BEST:: SOT 39792 SOS 10302 HAS SOPS 10302 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9095.302
AT ITER 1490 NEW BEST:: SOT 39761 SOS 10240 HAS SOPS 10240 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9016.24
AT ITER 1501 NEW BEST:: SOT 39746 SOS 10197 HAS SOPS 10197 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8978.197
AT ITER 1502 NEW BEST:: SOT 39746 SOS 10177 HAS SOPS 10177 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8972.177
AT ITER 1505 NEW BEST:: SOT 39742 SOS 10169 HAS SOPS 10169 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8964.169
AT ITER 1522 NEW BEST:: SOT 39741 SOS 10167 HAS SOPS 10167 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8962.167
AT ITER 1533 NEW BEST:: SOT 39737 SOS 10159 HAS SOPS 10159 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8952.159
AT ITER 1552 NEW BEST:: SOT 39765 SOS 10122 HAS SOPS 10122 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8940.122
AT ITER 1563 NEW BEST:: SOT 39764 SOS 10121 HAS SOPS 10121 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8938.121
AT ITER 1603 NEW BEST:: SOT 39764 SOS 10121 HAS SOPS 10121 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8937.121
AT ITER 1649 NEW BEST:: SOT 39753 SOS 10099 HAS SOPS 10099 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8915.099
AT ITER 1659 NEW BEST:: SOT 39751 SOS 10095 HAS SOPS 10095 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.095
AT ITER 1664 NEW BEST:: SOT 39755 SOS 10069 HAS SOPS 10069 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8899.069
AT ITER 1665 NEW BEST:: SOT 39745 SOS 9947 HAS SOPS 9947 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8888.947
AT ITER 1699 NEW BEST:: SOT 39671 SOS 9938 HAS SOPS 9938 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8884.938
AT ITER 1724 NEW BEST:: SOT 39671 SOS 9927 HAS SOPS 9927 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.927
AT ITER 1735 NEW BEST:: SOT 39672 SOS 9911 HAS SOPS 9911 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8857.911
AT ITER 1748 NEW BEST:: SOT 39672 SOS 9743 HAS SOPS 9743 HAS SOUS 8832 HAS SOUPS 8832 WITH SCORE 8841.743
AT ITER 1751 NEW BEST:: SOT 39672 SOS 9735 HAS SOPS 9735 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8833.735
AT ITER 1774 NEW BEST:: SOT 39698 SOS 9731 HAS SOPS 9731 HAS SOUS 8820 HAS SOUPS 8820 WITH SCORE 8829.731
AT ITER 1776 NEW BEST:: SOT 39688 SOS 9731 HAS SOPS 9731 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8819.731
AT ITER 1798 NEW BEST:: SOT 39688 SOS 9718 HAS SOPS 9718 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8806.718
AT ITER 1799 NEW BEST:: SOT 39624 SOS 10555 HAS SOPS 10555 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.555
AT ITER 1806 NEW BEST:: SOT 39650 SOS 10607 HAS SOPS 10607 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8764.607
AT ITER 1823 NEW BEST:: SOT 39631 SOS 10569 HAS SOPS 10569 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8763.569
AT ITER 1848 NEW BEST:: SOT 39631 SOS 10563 HAS SOPS 10563 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8763.563
AT ITER 1850 NEW BEST:: SOT 39631 SOS 10560 HAS SOPS 10560 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8760.56
AT ITER 1858 NEW BEST:: SOT 39622 SOS 10542 HAS SOPS 10542 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8742.542
AT ITER 1859 NEW BEST:: SOT 39605 SOS 10540 HAS SOPS 10540 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8723.54
AT ITER 1865 NEW BEST:: SOT 39605 SOS 10540 HAS SOPS 10540 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8710.54
AT ITER 1872 NEW BEST:: SOT 39602 SOS 10534 HAS SOPS 10534 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8705.534
AT ITER 1877 NEW BEST:: SOT 39598 SOS 10530 HAS SOPS 10530 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8699.53
AT ITER 1961 NEW BEST:: SOT 39620 SOS 10518 HAS SOPS 10518 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8687.518
AT ITER 2002 NEW BEST:: SOT 39608 SOS 10524 HAS SOPS 10524 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8663.524
AT ITER 2003 NEW BEST:: SOT 39576 SOS 10490 HAS SOPS 10490 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8615.49
AT ITER 2008 NEW BEST:: SOT 39568 SOS 10455 HAS SOPS 10455 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8599.455
AT ITER 2020 NEW BEST:: SOT 39543 SOS 10341 HAS SOPS 10341 HAS SOUS 8564 HAS SOUPS 8564 WITH SCORE 8574.341
AT ITER 2027 NEW BEST:: SOT 39542 SOS 10339 HAS SOPS 10339 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8572.339
AT ITER 2029 NEW BEST:: SOT 39536 SOS 10333 HAS SOPS 10333 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8572.333
AT ITER 2034 NEW BEST:: SOT 39536 SOS 10318 HAS SOPS 10318 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8572.318
AT ITER 2048 NEW BEST:: SOT 39525 SOS 10114 HAS SOPS 10114 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8478.114
AT ITER 2049 NEW BEST:: SOT 39525 SOS 10113 HAS SOPS 10113 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8477.113
AT ITER 2066 NEW BEST:: SOT 39525 SOS 10105 HAS SOPS 10105 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8477.105
AT ITER 2068 NEW BEST:: SOT 39527 SOS 10109 HAS SOPS 10109 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8466.109
AT ITER 2074 NEW BEST:: SOT 39527 SOS 10109 HAS SOPS 10109 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8436.109
AT ITER 2083 NEW BEST:: SOT 39511 SOS 10093 HAS SOPS 10093 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8420.093
AT ITER 2085 NEW BEST:: SOT 39533 SOS 10137 HAS SOPS 10137 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8398.137
AT ITER 2152 NEW BEST:: SOT 39614 SOS 10299 HAS SOPS 10299 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8368.299
AT ITER 2206 NEW BEST:: SOT 39634 SOS 10319 HAS SOPS 10319 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8350.319
AT ITER 2212 NEW BEST:: SOT 39635 SOS 10315 HAS SOPS 10315 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8346.315
AT ITER 2225 NEW BEST:: SOT 39635 SOS 10315 HAS SOPS 10315 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8287.315
AT ITER 2262 NEW BEST:: SOT 39702 SOS 10313 HAS SOPS 10313 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8285.313
AT ITER 2269 NEW BEST:: SOT 39694 SOS 10245 HAS SOPS 10245 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8243.245
AT ITER 2281 NEW BEST:: SOT 39709 SOS 10242 HAS SOPS 10242 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8240.242
AT ITER 2319 NEW BEST:: SOT 39708 SOS 10240 HAS SOPS 10240 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8238.24
AT ITER 2344 NEW BEST:: SOT 39704 SOS 10232 HAS SOPS 10232 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8230.232
AT ITER 2374 NEW BEST:: SOT 39650 SOS 10124 HAS SOPS 10124 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8157.124
AT ITER 2376 NEW BEST:: SOT 39650 SOS 10045 HAS SOPS 10045 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8157.045
AT ITER 2390 NEW BEST:: SOT 39648 SOS 10043 HAS SOPS 10043 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8153.043
AT ITER 2399 NEW BEST:: SOT 39640 SOS 10051 HAS SOPS 10051 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8144.051
AT ITER 2413 NEW BEST:: SOT 39639 SOS 10049 HAS SOPS 10049 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8142.049
AT ITER 2430 NEW BEST:: SOT 39639 SOS 10033 HAS SOPS 10033 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8134.033
AT ITER 2439 NEW BEST:: SOT 39639 SOS 10022 HAS SOPS 10022 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8123.022
AT ITER 2453 NEW BEST:: SOT 39636 SOS 10016 HAS SOPS 10016 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8121.016
AT ITER 2499 NEW BEST:: SOT 39638 SOS 10012 HAS SOPS 10012 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8114.012
AT ITER 2509 NEW BEST:: SOT 39593 SOS 9503 HAS SOPS 9503 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8068.503
AT ITER 2513 NEW BEST:: SOT 39523 SOS 9763 HAS SOPS 9763 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8036.763
AT ITER 2536 NEW BEST:: SOT 39521 SOS 9765 HAS SOPS 9765 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.765
AT ITER 2537 NEW BEST:: SOT 39516 SOS 9758 HAS SOPS 9758 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8028.758
AT ITER 2558 NEW BEST:: SOT 39517 SOS 9752 HAS SOPS 9752 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8026.752
AT ITER 2653 NEW BEST:: SOT 39525 SOS 9728 HAS SOPS 9728 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8002.728
AT ITER 2654 NEW BEST:: SOT 39523 SOS 9726 HAS SOPS 9726 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8000.726
AT ITER 2671 NEW BEST:: SOT 39519 SOS 9691 HAS SOPS 9691 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7965.691
AT ITER 2725 NEW BEST:: SOT 39515 SOS 9689 HAS SOPS 9689 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7962.689
AT ITER 2733 NEW BEST:: SOT 39515 SOS 9686 HAS SOPS 9686 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7959.686
AT ITER 2735 NEW BEST:: SOT 39515 SOS 9676 HAS SOPS 9676 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7954.676
AT ITER 2761 NEW BEST:: SOT 39515 SOS 9670 HAS SOPS 9670 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7948.67
AT ITER 2772 NEW BEST:: SOT 39508 SOS 9656 HAS SOPS 9656 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7934.656
AT ITER 2782 NEW BEST:: SOT 39502 SOS 9650 HAS SOPS 9650 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7928.65
AT ITER 2791 NEW BEST:: SOT 39503 SOS 9644 HAS SOPS 9644 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7926.644
AT ITER 2819 NEW BEST:: SOT 39503 SOS 9644 HAS SOPS 9644 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7923.644
AT ITER 2831 NEW BEST:: SOT 39503 SOS 9644 HAS SOPS 9644 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7901.644
AT ITER 2865 NEW BEST:: SOT 39500 SOS 9638 HAS SOPS 9638 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7895.638
AT ITER 2872 NEW BEST:: SOT 39479 SOS 9620 HAS SOPS 9620 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7890.62
AT ITER 2936 NEW BEST:: SOT 39543 SOS 9716 HAS SOPS 9716 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7889.716
AT ITER 2943 NEW BEST:: SOT 39542 SOS 9714 HAS SOPS 9714 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7887.714
AT ITER 2973 NEW BEST:: SOT 39541 SOS 9712 HAS SOPS 9712 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7885.712
AT ITER 2982 NEW BEST:: SOT 39541 SOS 9711 HAS SOPS 9711 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7883.711
AT ITER 3026 NEW BEST:: SOT 39540 SOS 9709 HAS SOPS 9709 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7881.709
AT ITER 3044 NEW BEST:: SOT 39540 SOS 9701 HAS SOPS 9701 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7877.701
AT ITER 3050 NEW BEST:: SOT 39507 SOS 9635 HAS SOPS 9635 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7812.635
AT ITER 3054 NEW BEST:: SOT 39455 SOS 9531 HAS SOPS 9531 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7812.531
AT ITER 3069 NEW BEST:: SOT 39415 SOS 9531 HAS SOPS 9531 HAS SOUS 7763 HAS SOUPS 7763 WITH SCORE 7772.531
AT ITER 3093 NEW BEST:: SOT 39418 SOS 9528 HAS SOPS 9528 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7769.528
AT ITER 3136 NEW BEST:: SOT 39418 SOS 9521 HAS SOPS 9521 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7762.521
AT ITER 3153 NEW BEST:: SOT 39421 SOS 9527 HAS SOPS 9527 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7760.527
AT ITER 3156 NEW BEST:: SOT 39398 SOS 9439 HAS SOPS 9439 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7723.439
AT ITER 3179 NEW BEST:: SOT 39397 SOS 9438 HAS SOPS 9438 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7723.438
AT ITER 3205 NEW BEST:: SOT 39396 SOS 9436 HAS SOPS 9436 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7723.436
AT ITER 3239 NEW BEST:: SOT 39403 SOS 9450 HAS SOPS 9450 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7706.45
AT ITER 3248 NEW BEST:: SOT 39395 SOS 9439 HAS SOPS 9439 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7687.439
AT ITER 3255 NEW BEST:: SOT 39368 SOS 9358 HAS SOPS 9358 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7660.358
AT ITER 3278 NEW BEST:: SOT 39352 SOS 9326 HAS SOPS 9326 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7659.326
AT ITER 3300 NEW BEST:: SOT 39350 SOS 9298 HAS SOPS 9298 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7629.298
AT ITER 3359 NEW BEST:: SOT 39350 SOS 9298 HAS SOPS 9298 HAS SOUS 7619 HAS SOUPS 7619 WITH SCORE 7628.298
AT ITER 3440 NEW BEST:: SOT 39350 SOS 9298 HAS SOPS 9298 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7609.298
AT ITER 3481 NEW BEST:: SOT 39297 SOS 9254 HAS SOPS 9254 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7607.254
AT ITER 3548 NEW BEST:: SOT 39294 SOS 9248 HAS SOPS 9248 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7604.248
AT ITER 3562 NEW BEST:: SOT 39293 SOS 9238 HAS SOPS 9238 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7591.238
AT ITER 3564 NEW BEST:: SOT 39275 SOS 9166 HAS SOPS 9166 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7555.166
AT ITER 3571 NEW BEST:: SOT 39274 SOS 9164 HAS SOPS 9164 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7553.164
AT ITER 3621 NEW BEST:: SOT 39271 SOS 9158 HAS SOPS 9158 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7552.158
AT ITER 3687 NEW BEST:: SOT 39267 SOS 9150 HAS SOPS 9150 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7552.15
AT ITER 3700 NEW BEST:: SOT 39267 SOS 9142 HAS SOPS 9142 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7552.142
AT ITER 3703 NEW BEST:: SOT 39281 SOS 9062 HAS SOPS 9062 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7500.062
AT ITER 3721 NEW BEST:: SOT 39278 SOS 9042 HAS SOPS 9042 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7490.042
AT ITER 3822 NEW BEST:: SOT 39251 SOS 9035 HAS SOPS 9035 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7486.035
AT ITER 3829 NEW BEST:: SOT 39250 SOS 9034 HAS SOPS 9034 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7484.034
AT ITER 3844 NEW BEST:: SOT 39248 SOS 9035 HAS SOPS 9035 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7480.035
AT ITER 3850 NEW BEST:: SOT 39248 SOS 9034 HAS SOPS 9034 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7479.034
AT ITER 3871 NEW BEST:: SOT 39235 SOS 9008 HAS SOPS 9008 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7470.008
AT ITER 3873 NEW BEST:: SOT 39231 SOS 9004 HAS SOPS 9004 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7466.004
AT ITER 3901 NEW BEST:: SOT 39230 SOS 9003 HAS SOPS 9003 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7465.003
AT ITER 3928 NEW BEST:: SOT 39230 SOS 8997 HAS SOPS 8997 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7461.997
AT ITER 3957 NEW BEST:: SOT 39228 SOS 8995 HAS SOPS 8995 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7457.995
AT ITER 4063 NEW BEST:: SOT 39230 SOS 8993 HAS SOPS 8993 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7455.993
AT ITER 4129 NEW BEST:: SOT 39228 SOS 8970 HAS SOPS 8970 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.97
AT ITER 4134 NEW BEST:: SOT 39224 SOS 8949 HAS SOPS 8949 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7430.949
AT ITER 4198 NEW BEST:: SOT 39224 SOS 8948 HAS SOPS 8948 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.948
AT ITER 4208 NEW BEST:: SOT 39229 SOS 8907 HAS SOPS 8907 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.907
AT ITER 4231 NEW BEST:: SOT 39230 SOS 8849 HAS SOPS 8849 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7401.849
AT ITER 4274 NEW BEST:: SOT 39229 SOS 8847 HAS SOPS 8847 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7400.847
AT ITER 4370 NEW BEST:: SOT 39231 SOS 8851 HAS SOPS 8851 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7399.851
AT ITER 4373 NEW BEST:: SOT 39229 SOS 8845 HAS SOPS 8845 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7396.845
AT ITER 4428 NEW BEST:: SOT 39211 SOS 8827 HAS SOPS 8827 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7379.827
AT ITER 4432 NEW BEST:: SOT 39212 SOS 8824 HAS SOPS 8824 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.824
AT ITER 4449 NEW BEST:: SOT 39209 SOS 8805 HAS SOPS 8805 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.805
AT ITER 4495 NEW BEST:: SOT 39207 SOS 8803 HAS SOPS 8803 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7368.803
AT ITER 4516 NEW BEST:: SOT 39200 SOS 8797 HAS SOPS 8797 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7362.797
AT ITER 4533 NEW BEST:: SOT 39196 SOS 8789 HAS SOPS 8789 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7354.789
AT ITER 4535 NEW BEST:: SOT 39196 SOS 8786 HAS SOPS 8786 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7351.786
AT ITER 4616 NEW BEST:: SOT 39113 SOS 8770 HAS SOPS 8770 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7335.77
AT ITER 4714 NEW BEST:: SOT 39151 SOS 8635 HAS SOPS 8635 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7289.635
AT ITER 4745 NEW BEST:: SOT 39151 SOS 8615 HAS SOPS 8615 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7289.615
AT ITER 4763 NEW BEST:: SOT 39134 SOS 8594 HAS SOPS 8594 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7268.594
AT ITER 4776 NEW BEST:: SOT 39128 SOS 8582 HAS SOPS 8582 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7258.582
AT ITER 4818 NEW BEST:: SOT 39132 SOS 8570 HAS SOPS 8570 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7250.57
AT ITER 4829 NEW BEST:: SOT 39131 SOS 8568 HAS SOPS 8568 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7248.568
AT ITER 4850 NEW BEST:: SOT 39101 SOS 8538 HAS SOPS 8538 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7218.538
AT ITER 4887 NEW BEST:: SOT 39096 SOS 8516 HAS SOPS 8516 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.516
AT ITER 4897 NEW BEST:: SOT 39092 SOS 8508 HAS SOPS 8508 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7194.508
AT ITER 4927 NEW BEST:: SOT 39087 SOS 8498 HAS SOPS 8498 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7184.498
AT ITER 5051 NEW BEST:: SOT 39088 SOS 8500 HAS SOPS 8500 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7181.5
AT ITER 5090 NEW BEST:: SOT 39087 SOS 8498 HAS SOPS 8498 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7179.498
AT ITER 5121 NEW BEST:: SOT 39110 SOS 8451 HAS SOPS 8451 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7174.451
AT ITER 5187 NEW BEST:: SOT 39109 SOS 8449 HAS SOPS 8449 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7171.449
AT ITER 5237 NEW BEST:: SOT 39084 SOS 8444 HAS SOPS 8444 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7166.444
AT ITER 5287 NEW BEST:: SOT 39083 SOS 8442 HAS SOPS 8442 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7165.442
AT ITER 5348 NEW BEST:: SOT 39083 SOS 8440 HAS SOPS 8440 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.44
AT ITER 5398 NEW BEST:: SOT 39066 SOS 8423 HAS SOPS 8423 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.423
AT ITER 5405 NEW BEST:: SOT 39066 SOS 8416 HAS SOPS 8416 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.416
AT ITER 5408 NEW BEST:: SOT 39079 SOS 8396 HAS SOPS 8396 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.396
AT ITER 5413 NEW BEST:: SOT 39095 SOS 8218 HAS SOPS 8218 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7136.218
AT ITER 5457 NEW BEST:: SOT 39095 SOS 8217 HAS SOPS 8217 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7135.217
AT ITER 5462 NEW BEST:: SOT 39095 SOS 8213 HAS SOPS 8213 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7131.213
AT ITER 5518 NEW BEST:: SOT 39069 SOS 8217 HAS SOPS 8217 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7109.217
AT ITER 5561 NEW BEST:: SOT 39069 SOS 8199 HAS SOPS 8199 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7060.199
AT ITER 5616 NEW BEST:: SOT 39069 SOS 8197 HAS SOPS 8197 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7060.197
AT ITER 5640 NEW BEST:: SOT 39070 SOS 8185 HAS SOPS 8185 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7054.185
AT ITER 5678 NEW BEST:: SOT 39067 SOS 8179 HAS SOPS 8179 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7051.179
AT ITER 5718 NEW BEST:: SOT 39061 SOS 8151 HAS SOPS 8151 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.151
AT ITER 5752 NEW BEST:: SOT 39058 SOS 8145 HAS SOPS 8145 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7017.145
AT ITER 5829 NEW BEST:: SOT 39055 SOS 8139 HAS SOPS 8139 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7011.139
AT ITER 5832 NEW BEST:: SOT 39050 SOS 8129 HAS SOPS 8129 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.129
AT ITER 5867 NEW BEST:: SOT 39043 SOS 8115 HAS SOPS 8115 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6960.115
AT ITER 6120 NEW BEST:: SOT 39042 SOS 8113 HAS SOPS 8113 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6959.113
AT ITER 6149 NEW BEST:: SOT 39045 SOS 8083 HAS SOPS 8083 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6947.083
AT ITER 6158 NEW BEST:: SOT 39038 SOS 8081 HAS SOPS 8081 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6937.081
AT ITER 6218 NEW BEST:: SOT 39036 SOS 8079 HAS SOPS 8079 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.079
AT ITER 6263 NEW BEST:: SOT 39035 SOS 7965 HAS SOPS 7965 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6932.965
AT ITER 6344 NEW BEST:: SOT 39026 SOS 7947 HAS SOPS 7947 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6923.947
AT ITER 6408 NEW BEST:: SOT 39024 SOS 7941 HAS SOPS 7941 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6921.941
AT ITER 6447 NEW BEST:: SOT 39024 SOS 7928 HAS SOPS 7928 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6908.928
AT ITER 6516 NEW BEST:: SOT 39008 SOS 7909 HAS SOPS 7909 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6892.909
AT ITER 6604 NEW BEST:: SOT 39007 SOS 7908 HAS SOPS 7908 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6891.908
AT ITER 6681 NEW BEST:: SOT 39005 SOS 7890 HAS SOPS 7890 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6883.89
AT ITER 6688 NEW BEST:: SOT 39004 SOS 7888 HAS SOPS 7888 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6881.888
AT ITER 6735 NEW BEST:: SOT 39005 SOS 7888 HAS SOPS 7888 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6880.888
AT ITER 6788 NEW BEST:: SOT 39014 SOS 7888 HAS SOPS 7888 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6876.888
AT ITER 6996 NEW BEST:: SOT 39014 SOS 7887 HAS SOPS 7887 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.887
AT ITER 7241 NEW BEST:: SOT 39006 SOS 7871 HAS SOPS 7871 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6859.871
AT ITER 7246 NEW BEST:: SOT 39007 SOS 7873 HAS SOPS 7873 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6851.873
AT ITER 7373 NEW BEST:: SOT 38991 SOS 7819 HAS SOPS 7819 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6797.819
AT ITER 7449 NEW BEST:: SOT 38987 SOS 7833 HAS SOPS 7833 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6789.833
AT ITER 7482 NEW BEST:: SOT 38985 SOS 7829 HAS SOPS 7829 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6785.829
AT ITER 7491 NEW BEST:: SOT 38985 SOS 7829 HAS SOPS 7829 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.829
AT ITER 7527 NEW BEST:: SOT 38984 SOS 7827 HAS SOPS 7827 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6782.827
AT ITER 7558 NEW BEST:: SOT 38984 SOS 7827 HAS SOPS 7827 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.827
AT ITER 7569 NEW BEST:: SOT 38982 SOS 7811 HAS SOPS 7811 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.811
AT ITER 7686 NEW BEST:: SOT 38973 SOS 7807 HAS SOPS 7807 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6758.807
AT ITER 7762 NEW BEST:: SOT 38971 SOS 7801 HAS SOPS 7801 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6754.801
AT ITER 7791 NEW BEST:: SOT 38964 SOS 7787 HAS SOPS 7787 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6740.787
AT ITER 7796 NEW BEST:: SOT 38951 SOS 7765 HAS SOPS 7765 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.765
AT ITER 7837 NEW BEST:: SOT 38944 SOS 7744 HAS SOPS 7744 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.744
AT ITER 7842 NEW BEST:: SOT 38942 SOS 7740 HAS SOPS 7740 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6700.74
AT ITER 7852 NEW BEST:: SOT 38938 SOS 7830 HAS SOPS 7830 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6692.83
AT ITER 7949 NEW BEST:: SOT 38938 SOS 7830 HAS SOPS 7830 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6687.83
AT ITER 7966 NEW BEST:: SOT 38937 SOS 7828 HAS SOPS 7828 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6685.828
AT ITER 7982 NEW BEST:: SOT 38937 SOS 7822 HAS SOPS 7822 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6676.822
AT ITER 8010 NEW BEST:: SOT 38938 SOS 7824 HAS SOPS 7824 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6664.824
AT ITER 8117 NEW BEST:: SOT 38938 SOS 7821 HAS SOPS 7821 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6661.821
AT ITER 8274 NEW BEST:: SOT 38917 SOS 7764 HAS SOPS 7764 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6616.764
AT ITER 8362 NEW BEST:: SOT 38914 SOS 7755 HAS SOPS 7755 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6610.755
AT ITER 8386 NEW BEST:: SOT 38925 SOS 7764 HAS SOPS 7764 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.764
AT ITER 8395 NEW BEST:: SOT 38922 SOS 7736 HAS SOPS 7736 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6602.736
AT ITER 8408 NEW BEST:: SOT 38902 SOS 7723 HAS SOPS 7723 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.723
AT ITER 8414 NEW BEST:: SOT 38898 SOS 7719 HAS SOPS 7719 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6585.719
AT ITER 8432 NEW BEST:: SOT 38897 SOS 7713 HAS SOPS 7713 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6583.713
AT ITER 8522 NEW BEST:: SOT 38897 SOS 7709 HAS SOPS 7709 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6579.709
AT ITER 8553 NEW BEST:: SOT 38895 SOS 7709 HAS SOPS 7709 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6578.709
AT ITER 8618 NEW BEST:: SOT 38877 SOS 7673 HAS SOPS 7673 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6542.673
AT ITER 8694 NEW BEST:: SOT 38876 SOS 7671 HAS SOPS 7671 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6540.671
AT ITER 8704 NEW BEST:: SOT 38875 SOS 7669 HAS SOPS 7669 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6538.669
AT ITER 8707 NEW BEST:: SOT 38873 SOS 7667 HAS SOPS 7667 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.667
AT ITER 8718 NEW BEST:: SOT 38866 SOS 7660 HAS SOPS 7660 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6530.66
AT ITER 8723 NEW BEST:: SOT 38863 SOS 7662 HAS SOPS 7662 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.662
AT ITER 8763 NEW BEST:: SOT 38860 SOS 7656 HAS SOPS 7656 HAS SOUS 6518 HAS SOUPS 6518 WITH SCORE 6525.656
AT ITER 8815 NEW BEST:: SOT 38854 SOS 7656 HAS SOPS 7656 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6519.656
AT ITER 9028 NEW BEST:: SOT 38854 SOS 7655 HAS SOPS 7655 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6518.655
AT ITER 9043 NEW BEST:: SOT 38864 SOS 7675 HAS SOPS 7675 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6514.675
AT ITER 9111 NEW BEST:: SOT 38865 SOS 7671 HAS SOPS 7671 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.671
AT ITER 9117 NEW BEST:: SOT 38861 SOS 7663 HAS SOPS 7663 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.663
AT ITER 9164 NEW BEST:: SOT 38858 SOS 7657 HAS SOPS 7657 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6487.657
AT ITER 9176 NEW BEST:: SOT 38858 SOS 7672 HAS SOPS 7672 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6479.672
AT ITER 9196 NEW BEST:: SOT 38857 SOS 7671 HAS SOPS 7671 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6477.671
AT ITER 9211 NEW BEST:: SOT 38844 SOS 7681 HAS SOPS 7681 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6469.681
AT ITER 9237 NEW BEST:: SOT 38844 SOS 7679 HAS SOPS 7679 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.679
AT ITER 9242 NEW BEST:: SOT 38841 SOS 7673 HAS SOPS 7673 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6461.673
AT ITER 9273 NEW BEST:: SOT 38839 SOS 7671 HAS SOPS 7671 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.671
AT ITER 9336 NEW BEST:: SOT 38835 SOS 7663 HAS SOPS 7663 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6449.663
AT ITER 9366 NEW BEST:: SOT 38834 SOS 7661 HAS SOPS 7661 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.661
AT ITER 9491 NEW BEST:: SOT 38832 SOS 7657 HAS SOPS 7657 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6444.657
AT ITER 9526 NEW BEST:: SOT 38830 SOS 7655 HAS SOPS 7655 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.655
AT ITER 9569 NEW BEST:: SOT 38827 SOS 7640 HAS SOPS 7640 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6427.64
AT ITER 9607 NEW BEST:: SOT 38825 SOS 7644 HAS SOPS 7644 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.644
AT ITER 9726 NEW BEST:: SOT 38825 SOS 7623 HAS SOPS 7623 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.623
AT ITER 9802 NEW BEST:: SOT 38825 SOS 7620 HAS SOPS 7620 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.62
AT ITER 9850 NEW BEST:: SOT 38822 SOS 7614 HAS SOPS 7614 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.614
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 4641856 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16123920 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="GPUForwardProgress-PT-12b"
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 GPUForwardProgress-PT-12b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349000048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-12b.tgz
mv GPUForwardProgress-PT-12b 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 ;