About the Execution of Smart+red for PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15866.943 | 3600000.00 | 3645008.00 | 8989.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r267-smll-167863542000536.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 PermAdmissibility-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542000536
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 8.9K Feb 26 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 26 01:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 246K Feb 26 01:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 01:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 163K Feb 26 01:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 847K Feb 26 01:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 340K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678917447613
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=PermAdmissibility-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 21:57:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 21:57:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 21:57:30] [INFO ] Load time of PNML (sax parser for PT used): 237 ms
[2023-03-15 21:57:30] [INFO ] Transformed 168 places.
[2023-03-15 21:57:30] [INFO ] Transformed 592 transitions.
[2023-03-15 21:57:31] [INFO ] Parsed PT model containing 168 places and 592 transitions and 3456 arcs in 480 ms.
[2023-03-15 21:57:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 592 transitions and 3456 arcs took 22 ms.
Total runtime 565 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 10
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25596.326
AT ITER 3 NEW BEST:: SOT 69830 SOS 43634 HAS SOPS 43634 HAS SOUS 25503 HAS SOUPS 25503 WITH SCORE 25546.634
AT ITER 5 NEW BEST:: SOT 69674 SOS 43442 HAS SOPS 43442 HAS SOUS 25422 HAS SOUPS 25422 WITH SCORE 25465.442
AT ITER 17 NEW BEST:: SOT 69612 SOS 44325 HAS SOPS 44325 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25124.325
AT ITER 30 NEW BEST:: SOT 69498 SOS 44721 HAS SOPS 44721 HAS SOUS 24807 HAS SOUPS 24807 WITH SCORE 24851.721
AT ITER 32 NEW BEST:: SOT 69498 SOS 44436 HAS SOPS 44436 HAS SOUS 24801 HAS SOUPS 24801 WITH SCORE 24845.436
AT ITER 38 NEW BEST:: SOT 69365 SOS 44626 HAS SOPS 44626 HAS SOUS 24783 HAS SOUPS 24783 WITH SCORE 24827.626
AT ITER 40 NEW BEST:: SOT 69323 SOS 44584 HAS SOPS 44584 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24780.584
AT ITER 50 NEW BEST:: SOT 69323 SOS 45325 HAS SOPS 45325 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24759.325
AT ITER 54 NEW BEST:: SOT 69267 SOS 45281 HAS SOPS 45281 HAS SOUS 24679 HAS SOUPS 24679 WITH SCORE 24724.281
AT ITER 60 NEW BEST:: SOT 69267 SOS 45281 HAS SOPS 45281 HAS SOUS 24647 HAS SOUPS 24647 WITH SCORE 24692.281
AT ITER 89 NEW BEST:: SOT 69267 SOS 46386 HAS SOPS 46386 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24628.386
AT ITER 91 NEW BEST:: SOT 69067 SOS 46107 HAS SOPS 46107 HAS SOUS 24489 HAS SOUPS 24489 WITH SCORE 24535.107
AT ITER 92 NEW BEST:: SOT 68952 SOS 46148 HAS SOPS 46148 HAS SOUS 24240 HAS SOUPS 24240 WITH SCORE 24286.148
AT ITER 95 NEW BEST:: SOT 68823 SOS 46831 HAS SOPS 46831 HAS SOUS 23886 HAS SOUPS 23886 WITH SCORE 23932.831
AT ITER 96 NEW BEST:: SOT 68823 SOS 46831 HAS SOPS 46831 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23906.831
AT ITER 100 NEW BEST:: SOT 68739 SOS 47033 HAS SOPS 47033 HAS SOUS 23710 HAS SOUPS 23710 WITH SCORE 23757.033
AT ITER 119 NEW BEST:: SOT 68738 SOS 47032 HAS SOPS 47032 HAS SOUS 23685 HAS SOUPS 23685 WITH SCORE 23732.032
AT ITER 122 NEW BEST:: SOT 68691 SOS 46989 HAS SOPS 46989 HAS SOUS 23642 HAS SOUPS 23642 WITH SCORE 23688.989
AT ITER 125 NEW BEST:: SOT 68467 SOS 46960 HAS SOPS 46960 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23644.96
AT ITER 126 NEW BEST:: SOT 68329 SOS 48163 HAS SOPS 48163 HAS SOUS 23364 HAS SOUPS 23364 WITH SCORE 23412.163
AT ITER 127 NEW BEST:: SOT 68329 SOS 48163 HAS SOPS 48163 HAS SOUS 23363 HAS SOUPS 23363 WITH SCORE 23411.163
AT ITER 139 NEW BEST:: SOT 68329 SOS 48163 HAS SOPS 48163 HAS SOUS 23326 HAS SOUPS 23326 WITH SCORE 23374.163
AT ITER 143 NEW BEST:: SOT 68329 SOS 48163 HAS SOPS 48163 HAS SOUS 23141 HAS SOUPS 23141 WITH SCORE 23189.163
AT ITER 157 NEW BEST:: SOT 68371 SOS 48205 HAS SOPS 48205 HAS SOUS 23117 HAS SOUPS 23117 WITH SCORE 23165.205
AT ITER 185 NEW BEST:: SOT 68371 SOS 48205 HAS SOPS 48205 HAS SOUS 23038 HAS SOUPS 23038 WITH SCORE 23086.205
AT ITER 191 NEW BEST:: SOT 68343 SOS 48177 HAS SOPS 48177 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23064.177
AT ITER 195 NEW BEST:: SOT 68156 SOS 47990 HAS SOPS 47990 HAS SOUS 22796 HAS SOUPS 22796 WITH SCORE 22843.99
AT ITER 209 NEW BEST:: SOT 68156 SOS 47990 HAS SOPS 47990 HAS SOUS 22781 HAS SOUPS 22781 WITH SCORE 22828.99
AT ITER 215 NEW BEST:: SOT 68156 SOS 47990 HAS SOPS 47990 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22811.99
AT ITER 228 NEW BEST:: SOT 68156 SOS 47990 HAS SOPS 47990 HAS SOUS 22762 HAS SOUPS 22762 WITH SCORE 22809.99
AT ITER 232 NEW BEST:: SOT 68027 SOS 47861 HAS SOPS 47861 HAS SOUS 22636 HAS SOUPS 22636 WITH SCORE 22683.861
AT ITER 242 NEW BEST:: SOT 68022 SOS 47838 HAS SOPS 47838 HAS SOUS 22626 HAS SOUPS 22626 WITH SCORE 22673.838
AT ITER 254 NEW BEST:: SOT 67994 SOS 47816 HAS SOPS 47816 HAS SOUS 22611 HAS SOUPS 22611 WITH SCORE 22658.816
AT ITER 262 NEW BEST:: SOT 67809 SOS 48072 HAS SOPS 48072 HAS SOUS 22524 HAS SOUPS 22524 WITH SCORE 22572.072
AT ITER 266 NEW BEST:: SOT 67812 SOS 48075 HAS SOPS 48075 HAS SOUS 22452 HAS SOUPS 22452 WITH SCORE 22500.075
AT ITER 267 NEW BEST:: SOT 67809 SOS 48072 HAS SOPS 48072 HAS SOUS 22289 HAS SOUPS 22289 WITH SCORE 22337.072
AT ITER 270 NEW BEST:: SOT 67770 SOS 48524 HAS SOPS 48524 HAS SOUS 22270 HAS SOUPS 22270 WITH SCORE 22318.524
AT ITER 274 NEW BEST:: SOT 67712 SOS 48466 HAS SOPS 48466 HAS SOUS 22241 HAS SOUPS 22241 WITH SCORE 22289.466
AT ITER 278 NEW BEST:: SOT 67712 SOS 48466 HAS SOPS 48466 HAS SOUS 22240 HAS SOUPS 22240 WITH SCORE 22288.466
AT ITER 280 NEW BEST:: SOT 67716 SOS 49245 HAS SOPS 49245 HAS SOUS 22162 HAS SOUPS 22162 WITH SCORE 22211.245
AT ITER 315 NEW BEST:: SOT 67618 SOS 49147 HAS SOPS 49147 HAS SOUS 21981 HAS SOUPS 21981 WITH SCORE 22030.147
AT ITER 360 NEW BEST:: SOT 67370 SOS 48801 HAS SOPS 48801 HAS SOUS 21854 HAS SOUPS 21854 WITH SCORE 21902.801
AT ITER 366 NEW BEST:: SOT 67370 SOS 48801 HAS SOPS 48801 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21881.801
AT ITER 368 NEW BEST:: SOT 67370 SOS 48801 HAS SOPS 48801 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21846.801
AT ITER 376 NEW BEST:: SOT 67350 SOS 48781 HAS SOPS 48781 HAS SOUS 21750 HAS SOUPS 21750 WITH SCORE 21798.781
AT ITER 380 NEW BEST:: SOT 67346 SOS 48777 HAS SOPS 48777 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21782.777
AT ITER 382 NEW BEST:: SOT 67346 SOS 48765 HAS SOPS 48765 HAS SOUS 21733 HAS SOUPS 21733 WITH SCORE 21781.765
AT ITER 388 NEW BEST:: SOT 67296 SOS 51275 HAS SOPS 51275 HAS SOUS 21620 HAS SOUPS 21620 WITH SCORE 21671.275
AT ITER 391 NEW BEST:: SOT 67286 SOS 51265 HAS SOPS 51265 HAS SOUS 21545 HAS SOUPS 21545 WITH SCORE 21596.265
AT ITER 392 NEW BEST:: SOT 67286 SOS 51265 HAS SOPS 51265 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21592.265
AT ITER 415 NEW BEST:: SOT 67286 SOS 51265 HAS SOPS 51265 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21588.265
AT ITER 416 NEW BEST:: SOT 67013 SOS 50992 HAS SOPS 50992 HAS SOUS 21437 HAS SOUPS 21437 WITH SCORE 21487.992
AT ITER 427 NEW BEST:: SOT 67013 SOS 50992 HAS SOPS 50992 HAS SOUS 21431 HAS SOUPS 21431 WITH SCORE 21481.992
AT ITER 430 NEW BEST:: SOT 66885 SOS 50864 HAS SOPS 50864 HAS SOUS 21294 HAS SOUPS 21294 WITH SCORE 21344.864
AT ITER 435 NEW BEST:: SOT 66880 SOS 50859 HAS SOPS 50859 HAS SOUS 21294 HAS SOUPS 21294 WITH SCORE 21344.859
AT ITER 463 NEW BEST:: SOT 66796 SOS 50789 HAS SOPS 50789 HAS SOUS 21202 HAS SOUPS 21202 WITH SCORE 21252.789
AT ITER 468 NEW BEST:: SOT 66784 SOS 50786 HAS SOPS 50786 HAS SOUS 21157 HAS SOUPS 21157 WITH SCORE 21207.786
AT ITER 506 NEW BEST:: SOT 66784 SOS 50786 HAS SOPS 50786 HAS SOUS 21154 HAS SOUPS 21154 WITH SCORE 21204.786
AT ITER 510 NEW BEST:: SOT 66784 SOS 50786 HAS SOPS 50786 HAS SOUS 21151 HAS SOUPS 21151 WITH SCORE 21201.786
AT ITER 527 NEW BEST:: SOT 66787 SOS 50778 HAS SOPS 50778 HAS SOUS 21150 HAS SOUPS 21150 WITH SCORE 21200.778
AT ITER 549 NEW BEST:: SOT 66762 SOS 50753 HAS SOPS 50753 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21167.753
AT ITER 556 NEW BEST:: SOT 66790 SOS 50781 HAS SOPS 50781 HAS SOUS 21078 HAS SOUPS 21078 WITH SCORE 21128.781
AT ITER 557 NEW BEST:: SOT 66790 SOS 50436 HAS SOPS 50436 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21118.436
AT ITER 574 NEW BEST:: SOT 66594 SOS 50283 HAS SOPS 50283 HAS SOUS 21033 HAS SOUPS 21033 WITH SCORE 21083.283
AT ITER 575 NEW BEST:: SOT 66594 SOS 50275 HAS SOPS 50275 HAS SOUS 21032 HAS SOUPS 21032 WITH SCORE 21082.275
AT ITER 577 NEW BEST:: SOT 66618 SOS 50211 HAS SOPS 50211 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21074.211
AT ITER 580 NEW BEST:: SOT 66552 SOS 50145 HAS SOPS 50145 HAS SOUS 20911 HAS SOUPS 20911 WITH SCORE 20961.145
AT ITER 592 NEW BEST:: SOT 66489 SOS 50175 HAS SOPS 50175 HAS SOUS 20881 HAS SOUPS 20881 WITH SCORE 20931.175
AT ITER 598 NEW BEST:: SOT 66413 SOS 50099 HAS SOPS 50099 HAS SOUS 20814 HAS SOUPS 20814 WITH SCORE 20864.099
AT ITER 600 NEW BEST:: SOT 66431 SOS 50045 HAS SOPS 50045 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20862.045
AT ITER 602 NEW BEST:: SOT 66434 SOS 50048 HAS SOPS 50048 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20846.048
AT ITER 611 NEW BEST:: SOT 66434 SOS 53754 HAS SOPS 53754 HAS SOUS 20761 HAS SOUPS 20761 WITH SCORE 20814.754
AT ITER 622 NEW BEST:: SOT 66392 SOS 53707 HAS SOPS 53707 HAS SOUS 20716 HAS SOUPS 20716 WITH SCORE 20769.707
AT ITER 626 NEW BEST:: SOT 66392 SOS 53707 HAS SOPS 53707 HAS SOUS 20712 HAS SOUPS 20712 WITH SCORE 20765.707
AT ITER 627 NEW BEST:: SOT 66392 SOS 53707 HAS SOPS 53707 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20726.707
AT ITER 643 NEW BEST:: SOT 66392 SOS 53707 HAS SOPS 53707 HAS SOUS 20563 HAS SOUPS 20563 WITH SCORE 20616.707
AT ITER 657 NEW BEST:: SOT 66415 SOS 53730 HAS SOPS 53730 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20596.73
AT ITER 659 NEW BEST:: SOT 66415 SOS 53730 HAS SOPS 53730 HAS SOUS 20532 HAS SOUPS 20532 WITH SCORE 20585.73
AT ITER 666 NEW BEST:: SOT 66390 SOS 53705 HAS SOPS 53705 HAS SOUS 20475 HAS SOUPS 20475 WITH SCORE 20528.705
AT ITER 690 NEW BEST:: SOT 66360 SOS 53675 HAS SOPS 53675 HAS SOUS 20412 HAS SOUPS 20412 WITH SCORE 20465.675
AT ITER 717 NEW BEST:: SOT 66360 SOS 53675 HAS SOPS 53675 HAS SOUS 20168 HAS SOUPS 20168 WITH SCORE 20221.675
AT ITER 747 NEW BEST:: SOT 66316 SOS 53631 HAS SOPS 53631 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20149.631
AT ITER 794 NEW BEST:: SOT 66316 SOS 53631 HAS SOPS 53631 HAS SOUS 20090 HAS SOUPS 20090 WITH SCORE 20143.631
AT ITER 824 NEW BEST:: SOT 66316 SOS 53631 HAS SOPS 53631 HAS SOUS 20063 HAS SOUPS 20063 WITH SCORE 20116.631
AT ITER 829 NEW BEST:: SOT 66515 SOS 55450 HAS SOPS 55450 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20114.45
AT ITER 830 NEW BEST:: SOT 66489 SOS 55433 HAS SOPS 55433 HAS SOUS 20039 HAS SOUPS 20039 WITH SCORE 20094.433
AT ITER 840 NEW BEST:: SOT 66489 SOS 55433 HAS SOPS 55433 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20086.433
AT ITER 848 NEW BEST:: SOT 66425 SOS 55369 HAS SOPS 55369 HAS SOUS 20018 HAS SOUPS 20018 WITH SCORE 20073.369
AT ITER 896 NEW BEST:: SOT 66425 SOS 55305 HAS SOPS 55305 HAS SOUS 20018 HAS SOUPS 20018 WITH SCORE 20073.305
AT ITER 916 NEW BEST:: SOT 66425 SOS 56201 HAS SOPS 56201 HAS SOUS 19914 HAS SOUPS 19914 WITH SCORE 19970.201
AT ITER 917 NEW BEST:: SOT 66425 SOS 56201 HAS SOPS 56201 HAS SOUS 19903 HAS SOUPS 19903 WITH SCORE 19959.201
AT ITER 939 NEW BEST:: SOT 66425 SOS 56201 HAS SOPS 56201 HAS SOUS 19871 HAS SOUPS 19871 WITH SCORE 19927.201
AT ITER 975 NEW BEST:: SOT 66425 SOS 56201 HAS SOPS 56201 HAS SOUS 19856 HAS SOUPS 19856 WITH SCORE 19912.201
AT ITER 981 NEW BEST:: SOT 66425 SOS 56137 HAS SOPS 56137 HAS SOUS 19856 HAS SOUPS 19856 WITH SCORE 19912.137
AT ITER 993 NEW BEST:: SOT 66201 SOS 55913 HAS SOPS 55913 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19831.913
AT ITER 1007 NEW BEST:: SOT 66201 SOS 55913 HAS SOPS 55913 HAS SOUS 19750 HAS SOUPS 19750 WITH SCORE 19805.913
AT ITER 1024 NEW BEST:: SOT 66179 SOS 55904 HAS SOPS 55904 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19790.904
AT ITER 1027 NEW BEST:: SOT 66179 SOS 55952 HAS SOPS 55952 HAS SOUS 19729 HAS SOUPS 19729 WITH SCORE 19784.952
AT ITER 1059 NEW BEST:: SOT 66127 SOS 55911 HAS SOPS 55911 HAS SOUS 19690 HAS SOUPS 19690 WITH SCORE 19745.911
AT ITER 1061 NEW BEST:: SOT 66001 SOS 55628 HAS SOPS 55628 HAS SOUS 19669 HAS SOUPS 19669 WITH SCORE 19724.628
AT ITER 1070 NEW BEST:: SOT 65933 SOS 55560 HAS SOPS 55560 HAS SOUS 19615 HAS SOUPS 19615 WITH SCORE 19670.56
AT ITER 1097 NEW BEST:: SOT 65923 SOS 55548 HAS SOPS 55548 HAS SOUS 19600 HAS SOUPS 19600 WITH SCORE 19655.548
AT ITER 1107 NEW BEST:: SOT 65899 SOS 55524 HAS SOPS 55524 HAS SOUS 19596 HAS SOUPS 19596 WITH SCORE 19651.524
AT ITER 1109 NEW BEST:: SOT 65857 SOS 55482 HAS SOPS 55482 HAS SOUS 19559 HAS SOUPS 19559 WITH SCORE 19614.482
AT ITER 1129 NEW BEST:: SOT 65845 SOS 55470 HAS SOPS 55470 HAS SOUS 19553 HAS SOUPS 19553 WITH SCORE 19608.47
AT ITER 1138 NEW BEST:: SOT 65845 SOS 55471 HAS SOPS 55471 HAS SOUS 19552 HAS SOUPS 19552 WITH SCORE 19607.471
AT ITER 1153 NEW BEST:: SOT 65845 SOS 55471 HAS SOPS 55471 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19597.471
AT ITER 1156 NEW BEST:: SOT 65821 SOS 55447 HAS SOPS 55447 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19565.447
AT ITER 1168 NEW BEST:: SOT 65803 SOS 55429 HAS SOPS 55429 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19547.429
AT ITER 1214 NEW BEST:: SOT 65803 SOS 55429 HAS SOPS 55429 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19535.429
AT ITER 1251 NEW BEST:: SOT 65803 SOS 55045 HAS SOPS 55045 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19534.045
AT ITER 1267 NEW BEST:: SOT 65829 SOS 55071 HAS SOPS 55071 HAS SOUS 19467 HAS SOUPS 19467 WITH SCORE 19522.071
AT ITER 1287 NEW BEST:: SOT 65829 SOS 55071 HAS SOPS 55071 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19517.071
AT ITER 1305 NEW BEST:: SOT 65829 SOS 54283 HAS SOPS 54283 HAS SOUS 19446 HAS SOUPS 19446 WITH SCORE 19500.283
AT ITER 1317 NEW BEST:: SOT 65794 SOS 54248 HAS SOPS 54248 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19484.248
AT ITER 1362 NEW BEST:: SOT 65778 SOS 54232 HAS SOPS 54232 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19468.232
AT ITER 1415 NEW BEST:: SOT 65923 SOS 54377 HAS SOPS 54377 HAS SOUS 19350 HAS SOUPS 19350 WITH SCORE 19404.377
AT ITER 1461 NEW BEST:: SOT 65883 SOS 54337 HAS SOPS 54337 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19340.337
AT ITER 1472 NEW BEST:: SOT 65850 SOS 54304 HAS SOPS 54304 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19327.304
AT ITER 1479 NEW BEST:: SOT 65837 SOS 54291 HAS SOPS 54291 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19280.291
AT ITER 1480 NEW BEST:: SOT 65829 SOS 54283 HAS SOPS 54283 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19255.283
AT ITER 1498 NEW BEST:: SOT 65829 SOS 53907 HAS SOPS 53907 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19254.907
AT ITER 1536 NEW BEST:: SOT 65807 SOS 53879 HAS SOPS 53879 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19235.879
AT ITER 1552 NEW BEST:: SOT 65801 SOS 53873 HAS SOPS 53873 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19205.873
AT ITER 1565 NEW BEST:: SOT 65801 SOS 53873 HAS SOPS 53873 HAS SOUS 19137 HAS SOUPS 19137 WITH SCORE 19190.873
AT ITER 1567 NEW BEST:: SOT 65795 SOS 53867 HAS SOPS 53867 HAS SOUS 19131 HAS SOUPS 19131 WITH SCORE 19184.867
AT ITER 1573 NEW BEST:: SOT 65789 SOS 53879 HAS SOPS 53879 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19160.879
AT ITER 1580 NEW BEST:: SOT 65792 SOS 53882 HAS SOPS 53882 HAS SOUS 19096 HAS SOUPS 19096 WITH SCORE 19149.882
AT ITER 1585 NEW BEST:: SOT 65768 SOS 53858 HAS SOPS 53858 HAS SOUS 19072 HAS SOUPS 19072 WITH SCORE 19125.858
AT ITER 1614 NEW BEST:: SOT 65752 SOS 53830 HAS SOPS 53830 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19104.83
AT ITER 1729 NEW BEST:: SOT 65678 SOS 53754 HAS SOPS 53754 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19048.754
AT ITER 1731 NEW BEST:: SOT 65680 SOS 53743 HAS SOPS 53743 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19048.743
AT ITER 1754 NEW BEST:: SOT 65671 SOS 53734 HAS SOPS 53734 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 19019.734
AT ITER 1766 NEW BEST:: SOT 65714 SOS 53777 HAS SOPS 53777 HAS SOUS 18957 HAS SOUPS 18957 WITH SCORE 19010.777
AT ITER 1769 NEW BEST:: SOT 65820 SOS 53883 HAS SOPS 53883 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18952.883
AT ITER 1788 NEW BEST:: SOT 65803 SOS 53866 HAS SOPS 53866 HAS SOUS 18850 HAS SOUPS 18850 WITH SCORE 18903.866
AT ITER 1792 NEW BEST:: SOT 65818 SOS 53881 HAS SOPS 53881 HAS SOUS 18844 HAS SOUPS 18844 WITH SCORE 18897.881
AT ITER 1796 NEW BEST:: SOT 65794 SOS 53857 HAS SOPS 53857 HAS SOUS 18814 HAS SOUPS 18814 WITH SCORE 18867.857
AT ITER 1852 NEW BEST:: SOT 65798 SOS 53861 HAS SOPS 53861 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18846.861
AT ITER 1868 NEW BEST:: SOT 65789 SOS 53852 HAS SOPS 53852 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18834.852
AT ITER 1902 NEW BEST:: SOT 65777 SOS 53840 HAS SOPS 53840 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18806.84
AT ITER 1909 NEW BEST:: SOT 65741 SOS 53804 HAS SOPS 53804 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18766.804
AT ITER 1939 NEW BEST:: SOT 65741 SOS 53996 HAS SOPS 53996 HAS SOUS 18707 HAS SOUPS 18707 WITH SCORE 18760.996
AT ITER 1960 NEW BEST:: SOT 65741 SOS 53996 HAS SOPS 53996 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18721.996
AT ITER 1983 NEW BEST:: SOT 65741 SOS 53996 HAS SOPS 53996 HAS SOUS 18660 HAS SOUPS 18660 WITH SCORE 18713.996
AT ITER 2014 NEW BEST:: SOT 65741 SOS 54052 HAS SOPS 54052 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18687.052
AT ITER 2017 NEW BEST:: SOT 65689 SOS 54000 HAS SOPS 54000 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18687.0
AT ITER 2019 NEW BEST:: SOT 65632 SOS 53943 HAS SOPS 53943 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18673.943
AT ITER 2023 NEW BEST:: SOT 65563 SOS 53874 HAS SOPS 53874 HAS SOUS 18592 HAS SOUPS 18592 WITH SCORE 18645.874
AT ITER 2075 NEW BEST:: SOT 65560 SOS 53871 HAS SOPS 53871 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18627.871
AT ITER 2160 NEW BEST:: SOT 65560 SOS 53871 HAS SOPS 53871 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18619.871
AT ITER 2166 NEW BEST:: SOT 65560 SOS 55704 HAS SOPS 55704 HAS SOUS 18540 HAS SOUPS 18540 WITH SCORE 18595.704
AT ITER 2197 NEW BEST:: SOT 65560 SOS 55424 HAS SOPS 55424 HAS SOUS 18540 HAS SOUPS 18540 WITH SCORE 18595.424
AT ITER 2214 NEW BEST:: SOT 65560 SOS 55424 HAS SOPS 55424 HAS SOUS 18532 HAS SOUPS 18532 WITH SCORE 18587.424
AT ITER 2218 NEW BEST:: SOT 65506 SOS 55370 HAS SOPS 55370 HAS SOUS 18342 HAS SOUPS 18342 WITH SCORE 18397.37
AT ITER 2254 NEW BEST:: SOT 65526 SOS 55390 HAS SOPS 55390 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18394.39
AT ITER 2261 NEW BEST:: SOT 65532 SOS 55396 HAS SOPS 55396 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18367.396
AT ITER 2265 NEW BEST:: SOT 65532 SOS 55396 HAS SOPS 55396 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18321.396
AT ITER 2270 NEW BEST:: SOT 65409 SOS 55273 HAS SOPS 55273 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18321.273
AT ITER 2427 NEW BEST:: SOT 65411 SOS 55275 HAS SOPS 55275 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18297.275
AT ITER 2430 NEW BEST:: SOT 65411 SOS 55211 HAS SOPS 55211 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18297.211
AT ITER 2443 NEW BEST:: SOT 65405 SOS 55205 HAS SOPS 55205 HAS SOUS 18232 HAS SOUPS 18232 WITH SCORE 18287.205
AT ITER 2457 NEW BEST:: SOT 65395 SOS 55195 HAS SOPS 55195 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18261.195
AT ITER 2552 NEW BEST:: SOT 65395 SOS 55195 HAS SOPS 55195 HAS SOUS 18205 HAS SOUPS 18205 WITH SCORE 18260.195
AT ITER 2563 NEW BEST:: SOT 65391 SOS 55172 HAS SOPS 55172 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18246.172
AT ITER 2568 NEW BEST:: SOT 65374 SOS 55155 HAS SOPS 55155 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18222.155
AT ITER 2596 NEW BEST:: SOT 64973 SOS 53842 HAS SOPS 53842 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18141.842
AT ITER 2629 NEW BEST:: SOT 64967 SOS 53836 HAS SOPS 53836 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18131.836
AT ITER 2639 NEW BEST:: SOT 64967 SOS 53835 HAS SOPS 53835 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18127.835
AT ITER 2647 NEW BEST:: SOT 64967 SOS 53835 HAS SOPS 53835 HAS SOUS 18035 HAS SOUPS 18035 WITH SCORE 18088.835
AT ITER 2658 NEW BEST:: SOT 64940 SOS 53808 HAS SOPS 53808 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 18004.808
AT ITER 2668 NEW BEST:: SOT 64925 SOS 53793 HAS SOPS 53793 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17995.793
AT ITER 2750 NEW BEST:: SOT 64925 SOS 54273 HAS SOPS 54273 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17850.273
AT ITER 2771 NEW BEST:: SOT 64925 SOS 54273 HAS SOPS 54273 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17845.273
AT ITER 2822 NEW BEST:: SOT 64925 SOS 54248 HAS SOPS 54248 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17841.248
AT ITER 2853 NEW BEST:: SOT 65054 SOS 54377 HAS SOPS 54377 HAS SOUS 17769 HAS SOUPS 17769 WITH SCORE 17823.377
AT ITER 2866 NEW BEST:: SOT 65054 SOS 52916 HAS SOPS 52916 HAS SOUS 17755 HAS SOUPS 17755 WITH SCORE 17807.916
AT ITER 2894 NEW BEST:: SOT 65038 SOS 52900 HAS SOPS 52900 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17758.9
AT ITER 3077 NEW BEST:: SOT 65048 SOS 52910 HAS SOPS 52910 HAS SOUS 17677 HAS SOUPS 17677 WITH SCORE 17729.91
AT ITER 3106 NEW BEST:: SOT 65073 SOS 52935 HAS SOPS 52935 HAS SOUS 17670 HAS SOUPS 17670 WITH SCORE 17722.935
AT ITER 3190 NEW BEST:: SOT 65073 SOS 52935 HAS SOPS 52935 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17720.935
AT ITER 3227 NEW BEST:: SOT 65069 SOS 52932 HAS SOPS 52932 HAS SOUS 17666 HAS SOUPS 17666 WITH SCORE 17718.932
AT ITER 3234 NEW BEST:: SOT 65069 SOS 52932 HAS SOPS 52932 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17688.932
AT ITER 3319 NEW BEST:: SOT 65069 SOS 52935 HAS SOPS 52935 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17685.935
AT ITER 3344 NEW BEST:: SOT 65067 SOS 52937 HAS SOPS 52937 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17681.937
AT ITER 3452 NEW BEST:: SOT 65049 SOS 52913 HAS SOPS 52913 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17653.913
AT ITER 3484 NEW BEST:: SOT 65049 SOS 52913 HAS SOPS 52913 HAS SOUS 17585 HAS SOUPS 17585 WITH SCORE 17637.913
AT ITER 3511 NEW BEST:: SOT 65049 SOS 52913 HAS SOPS 52913 HAS SOUS 17583 HAS SOUPS 17583 WITH SCORE 17635.913
AT ITER 3536 NEW BEST:: SOT 65049 SOS 52457 HAS SOPS 52457 HAS SOUS 17579 HAS SOUPS 17579 WITH SCORE 17631.457
AT ITER 3537 NEW BEST:: SOT 64981 SOS 52389 HAS SOPS 52389 HAS SOUS 17462 HAS SOUPS 17462 WITH SCORE 17514.389
AT ITER 3573 NEW BEST:: SOT 64955 SOS 52363 HAS SOPS 52363 HAS SOUS 17437 HAS SOUPS 17437 WITH SCORE 17489.363
AT ITER 3605 NEW BEST:: SOT 64694 SOS 51606 HAS SOPS 51606 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17284.606
AT ITER 3672 NEW BEST:: SOT 64703 SOS 51615 HAS SOPS 51615 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17278.615
AT ITER 3687 NEW BEST:: SOT 64709 SOS 51621 HAS SOPS 51621 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17276.621
AT ITER 3723 NEW BEST:: SOT 64709 SOS 51621 HAS SOPS 51621 HAS SOUS 17221 HAS SOUPS 17221 WITH SCORE 17272.621
AT ITER 3772 NEW BEST:: SOT 64709 SOS 51621 HAS SOPS 51621 HAS SOUS 17215 HAS SOUPS 17215 WITH SCORE 17266.621
AT ITER 3784 NEW BEST:: SOT 64616 SOS 51528 HAS SOPS 51528 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17211.528
AT ITER 3806 NEW BEST:: SOT 64616 SOS 51568 HAS SOPS 51568 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17205.568
AT ITER 3833 NEW BEST:: SOT 64622 SOS 51499 HAS SOPS 51499 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17199.499
AT ITER 3840 NEW BEST:: SOT 64622 SOS 51499 HAS SOPS 51499 HAS SOUS 17141 HAS SOUPS 17141 WITH SCORE 17192.499
AT ITER 3850 NEW BEST:: SOT 64577 SOS 51454 HAS SOPS 51454 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17187.454
AT ITER 3865 NEW BEST:: SOT 64545 SOS 51422 HAS SOPS 51422 HAS SOUS 17098 HAS SOUPS 17098 WITH SCORE 17149.422
AT ITER 3878 NEW BEST:: SOT 64489 SOS 51366 HAS SOPS 51366 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17058.366
AT ITER 3901 NEW BEST:: SOT 64489 SOS 51364 HAS SOPS 51364 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17056.364
AT ITER 3919 NEW BEST:: SOT 64399 SOS 51256 HAS SOPS 51256 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16948.256
AT ITER 3934 NEW BEST:: SOT 64397 SOS 51247 HAS SOPS 51247 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16945.247
AT ITER 4034 NEW BEST:: SOT 64383 SOS 51233 HAS SOPS 51233 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16936.233
AT ITER 4135 NEW BEST:: SOT 64383 SOS 51697 HAS SOPS 51697 HAS SOUS 16742 HAS SOUPS 16742 WITH SCORE 16793.697
AT ITER 4260 NEW BEST:: SOT 64398 SOS 51712 HAS SOPS 51712 HAS SOUS 16737 HAS SOUPS 16737 WITH SCORE 16788.712
AT ITER 4302 NEW BEST:: SOT 64382 SOS 51696 HAS SOPS 51696 HAS SOUS 16721 HAS SOUPS 16721 WITH SCORE 16772.696
AT ITER 4335 NEW BEST:: SOT 64382 SOS 51808 HAS SOPS 51808 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16758.808
AT ITER 4396 NEW BEST:: SOT 64382 SOS 51808 HAS SOPS 51808 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16751.808
AT ITER 4410 NEW BEST:: SOT 64382 SOS 51808 HAS SOPS 51808 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16750.808
AT ITER 4415 NEW BEST:: SOT 64379 SOS 51805 HAS SOPS 51805 HAS SOUS 16693 HAS SOUPS 16693 WITH SCORE 16744.805
AT ITER 4420 NEW BEST:: SOT 64379 SOS 51789 HAS SOPS 51789 HAS SOUS 16693 HAS SOUPS 16693 WITH SCORE 16744.789
AT ITER 4441 NEW BEST:: SOT 64379 SOS 51789 HAS SOPS 51789 HAS SOUS 16685 HAS SOUPS 16685 WITH SCORE 16736.789
AT ITER 4473 NEW BEST:: SOT 64379 SOS 51791 HAS SOPS 51791 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16731.791
AT ITER 4546 NEW BEST:: SOT 64377 SOS 51793 HAS SOPS 51793 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16728.793
AT ITER 4601 NEW BEST:: SOT 64365 SOS 51781 HAS SOPS 51781 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16716.781
AT ITER 4629 NEW BEST:: SOT 64365 SOS 51781 HAS SOPS 51781 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16715.781
AT ITER 4782 NEW BEST:: SOT 64334 SOS 51750 HAS SOPS 51750 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16692.75
AT ITER 4848 NEW BEST:: SOT 64334 SOS 51750 HAS SOPS 51750 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16686.75
AT ITER 5101 NEW BEST:: SOT 64332 SOS 51748 HAS SOPS 51748 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16670.748
AT ITER 5128 NEW BEST:: SOT 64332 SOS 51748 HAS SOPS 51748 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16664.748
AT ITER 5164 NEW BEST:: SOT 64338 SOS 51754 HAS SOPS 51754 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16656.754
AT ITER 5173 NEW BEST:: SOT 64338 SOS 51754 HAS SOPS 51754 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16640.754
AT ITER 5207 NEW BEST:: SOT 64350 SOS 51794 HAS SOPS 51794 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16632.794
AT ITER 5277 NEW BEST:: SOT 64352 SOS 51791 HAS SOPS 51791 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16631.791
AT ITER 5324 NEW BEST:: SOT 64340 SOS 51775 HAS SOPS 51775 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16606.775
AT ITER 5349 NEW BEST:: SOT 64338 SOS 51773 HAS SOPS 51773 HAS SOUS 16549 HAS SOUPS 16549 WITH SCORE 16600.773
AT ITER 5426 NEW BEST:: SOT 64266 SOS 51744 HAS SOPS 51744 HAS SOUS 16531 HAS SOUPS 16531 WITH SCORE 16582.744
AT ITER 5427 NEW BEST:: SOT 64266 SOS 51744 HAS SOPS 51744 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16580.744
AT ITER 5442 NEW BEST:: SOT 64214 SOS 51671 HAS SOPS 51671 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16576.671
AT ITER 5479 NEW BEST:: SOT 64206 SOS 51663 HAS SOPS 51663 HAS SOUS 16522 HAS SOUPS 16522 WITH SCORE 16573.663
AT ITER 5480 NEW BEST:: SOT 64206 SOS 51663 HAS SOPS 51663 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16571.663
AT ITER 5520 NEW BEST:: SOT 64206 SOS 51657 HAS SOPS 51657 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16557.657
AT ITER 5529 NEW BEST:: SOT 64201 SOS 51652 HAS SOPS 51652 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16547.652
AT ITER 5535 NEW BEST:: SOT 64123 SOS 51544 HAS SOPS 51544 HAS SOUS 16347 HAS SOUPS 16347 WITH SCORE 16398.544
AT ITER 5621 NEW BEST:: SOT 64114 SOS 51535 HAS SOPS 51535 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16389.535
AT ITER 5695 NEW BEST:: SOT 64098 SOS 51519 HAS SOPS 51519 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16357.519
AT ITER 5732 NEW BEST:: SOT 64098 SOS 51543 HAS SOPS 51543 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16352.543
AT ITER 5783 NEW BEST:: SOT 64095 SOS 51540 HAS SOPS 51540 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16307.54
AT ITER 5796 NEW BEST:: SOT 64095 SOS 51540 HAS SOPS 51540 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16304.54
AT ITER 5812 NEW BEST:: SOT 64087 SOS 51538 HAS SOPS 51538 HAS SOUS 16251 HAS SOUPS 16251 WITH SCORE 16302.538
AT ITER 5829 NEW BEST:: SOT 64073 SOS 51524 HAS SOPS 51524 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16288.524
AT ITER 5912 NEW BEST:: SOT 64073 SOS 50985 HAS SOPS 50985 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16287.985
AT ITER 5918 NEW BEST:: SOT 64073 SOS 50985 HAS SOPS 50985 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16266.985
AT ITER 5960 NEW BEST:: SOT 64071 SOS 50996 HAS SOPS 50996 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16264.996
AT ITER 5985 NEW BEST:: SOT 64023 SOS 50948 HAS SOPS 50948 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16252.948
AT ITER 6000 NEW BEST:: SOT 64015 SOS 50940 HAS SOPS 50940 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16236.94
AT ITER 6025 NEW BEST:: SOT 64011 SOS 50936 HAS SOPS 50936 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16232.936
AT ITER 6055 NEW BEST:: SOT 64011 SOS 50936 HAS SOPS 50936 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16224.936
AT ITER 6070 NEW BEST:: SOT 64013 SOS 50938 HAS SOPS 50938 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16223.938
AT ITER 6098 NEW BEST:: SOT 64013 SOS 50898 HAS SOPS 50898 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16223.898
AT ITER 6194 NEW BEST:: SOT 64015 SOS 50903 HAS SOPS 50903 HAS SOUS 16162 HAS SOUPS 16162 WITH SCORE 16212.903
AT ITER 6262 NEW BEST:: SOT 64014 SOS 50902 HAS SOPS 50902 HAS SOUS 16161 HAS SOUPS 16161 WITH SCORE 16211.902
AT ITER 6333 NEW BEST:: SOT 64020 SOS 50908 HAS SOPS 50908 HAS SOUS 16151 HAS SOUPS 16151 WITH SCORE 16201.908
AT ITER 6342 NEW BEST:: SOT 64004 SOS 50880 HAS SOPS 50880 HAS SOUS 16132 HAS SOUPS 16132 WITH SCORE 16182.88
AT ITER 6351 NEW BEST:: SOT 64004 SOS 50720 HAS SOPS 50720 HAS SOUS 16132 HAS SOUPS 16132 WITH SCORE 16182.72
AT ITER 6377 NEW BEST:: SOT 63967 SOS 50683 HAS SOPS 50683 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16153.683
AT ITER 6381 NEW BEST:: SOT 63972 SOS 50688 HAS SOPS 50688 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16137.688
AT ITER 6449 NEW BEST:: SOT 63972 SOS 50688 HAS SOPS 50688 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16115.688
AT ITER 6661 NEW BEST:: SOT 63960 SOS 50676 HAS SOPS 50676 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16113.676
AT ITER 6732 NEW BEST:: SOT 63976 SOS 50692 HAS SOPS 50692 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16099.692
AT ITER 6738 NEW BEST:: SOT 63976 SOS 50692 HAS SOPS 50692 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16092.692
AT ITER 6964 NEW BEST:: SOT 63976 SOS 50698 HAS SOPS 50698 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16079.698
AT ITER 7039 NEW BEST:: SOT 63974 SOS 50696 HAS SOPS 50696 HAS SOUS 16027 HAS SOUPS 16027 WITH SCORE 16077.696
AT ITER 7184 NEW BEST:: SOT 63962 SOS 50684 HAS SOPS 50684 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16065.684
AT ITER 7244 NEW BEST:: SOT 63954 SOS 50676 HAS SOPS 50676 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16063.676
AT ITER 7273 NEW BEST:: SOT 63954 SOS 50436 HAS SOPS 50436 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16063.436
AT ITER 7296 NEW BEST:: SOT 63976 SOS 50458 HAS SOPS 50458 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16048.458
AT ITER 7302 NEW BEST:: SOT 63978 SOS 50464 HAS SOPS 50464 HAS SOUS 15994 HAS SOUPS 15994 WITH SCORE 16044.464
AT ITER 7380 NEW BEST:: SOT 63975 SOS 50461 HAS SOPS 50461 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16033.461
AT ITER 7469 NEW BEST:: SOT 63953 SOS 50439 HAS SOPS 50439 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16032.439
AT ITER 7528 NEW BEST:: SOT 63943 SOS 50429 HAS SOPS 50429 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 16021.429
AT ITER 7579 NEW BEST:: SOT 63952 SOS 50438 HAS SOPS 50438 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16008.438
AT ITER 7759 NEW BEST:: SOT 63946 SOS 50432 HAS SOPS 50432 HAS SOUS 15956 HAS SOUPS 15956 WITH SCORE 16006.432
AT ITER 7776 NEW BEST:: SOT 63946 SOS 50431 HAS SOPS 50431 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 16005.431
AT ITER 7777 NEW BEST:: SOT 63899 SOS 50384 HAS SOPS 50384 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 16005.384
AT ITER 7820 NEW BEST:: SOT 63903 SOS 50452 HAS SOPS 50452 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15996.452
AT ITER 7844 NEW BEST:: SOT 63899 SOS 50448 HAS SOPS 50448 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15996.448
AT ITER 7859 NEW BEST:: SOT 63887 SOS 50436 HAS SOPS 50436 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15984.436
AT ITER 7867 NEW BEST:: SOT 63887 SOS 50388 HAS SOPS 50388 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15984.388
AT ITER 8061 NEW BEST:: SOT 63847 SOS 50348 HAS SOPS 50348 HAS SOUS 15912 HAS SOUPS 15912 WITH SCORE 15962.348
AT ITER 8078 NEW BEST:: SOT 63823 SOS 50324 HAS SOPS 50324 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15920.324
AT ITER 8120 NEW BEST:: SOT 63823 SOS 50335 HAS SOPS 50335 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15890.335
AT ITER 8142 NEW BEST:: SOT 63793 SOS 50065 HAS SOPS 50065 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15857.065
AT ITER 8162 NEW BEST:: SOT 63781 SOS 50054 HAS SOPS 50054 HAS SOUS 15796 HAS SOUPS 15796 WITH SCORE 15846.054
AT ITER 8257 NEW BEST:: SOT 63781 SOS 50054 HAS SOPS 50054 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15834.054
AT ITER 8423 NEW BEST:: SOT 63751 SOS 50009 HAS SOPS 50009 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15807.009
AT ITER 8426 NEW BEST:: SOT 63695 SOS 49953 HAS SOPS 49953 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15766.953
AT ITER 8559 NEW BEST:: SOT 63735 SOS 49993 HAS SOPS 49993 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15762.993
AT ITER 8606 NEW BEST:: SOT 63705 SOS 49963 HAS SOPS 49963 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15752.963
AT ITER 8726 NEW BEST:: SOT 63680 SOS 49938 HAS SOPS 49938 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15724.938
AT ITER 8743 NEW BEST:: SOT 63674 SOS 49932 HAS SOPS 49932 HAS SOUS 15669 HAS SOUPS 15669 WITH SCORE 15718.932
AT ITER 8788 NEW BEST:: SOT 63672 SOS 49930 HAS SOPS 49930 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15716.93
AT ITER 8854 NEW BEST:: SOT 63672 SOS 49932 HAS SOPS 49932 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15714.932
AT ITER 8904 NEW BEST:: SOT 63678 SOS 49938 HAS SOPS 49938 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15706.938
AT ITER 8941 NEW BEST:: SOT 63670 SOS 49930 HAS SOPS 49930 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15660.93
AT ITER 8970 NEW BEST:: SOT 63654 SOS 49914 HAS SOPS 49914 HAS SOUS 15573 HAS SOUPS 15573 WITH SCORE 15622.914
AT ITER 9076 NEW BEST:: SOT 63652 SOS 49912 HAS SOPS 49912 HAS SOUS 15571 HAS SOUPS 15571 WITH SCORE 15620.912
AT ITER 9172 NEW BEST:: SOT 63658 SOS 49950 HAS SOPS 49950 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15618.95
AT ITER 9220 NEW BEST:: SOT 63648 SOS 49940 HAS SOPS 49940 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15592.94
AT ITER 9318 NEW BEST:: SOT 63648 SOS 49940 HAS SOPS 49940 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15590.94
AT ITER 9450 NEW BEST:: SOT 63648 SOS 49940 HAS SOPS 49940 HAS SOUS 15539 HAS SOUPS 15539 WITH SCORE 15588.94
AT ITER 9466 NEW BEST:: SOT 63634 SOS 49924 HAS SOPS 49924 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15573.924
AT ITER 9480 NEW BEST:: SOT 63634 SOS 49900 HAS SOPS 49900 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15573.9
AT ITER 9484 NEW BEST:: SOT 63618 SOS 49884 HAS SOPS 49884 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15572.884
AT ITER 9491 NEW BEST:: SOT 63618 SOS 49660 HAS SOPS 49660 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15572.66
AT ITER 9506 NEW BEST:: SOT 63571 SOS 49613 HAS SOPS 49613 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15547.613
AT ITER 9555 NEW BEST:: SOT 63429 SOS 49471 HAS SOPS 49471 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15539.471
AT ITER 9737 NEW BEST:: SOT 63429 SOS 49471 HAS SOPS 49471 HAS SOUS 15484 HAS SOUPS 15484 WITH SCORE 15533.471
AT ITER 9750 NEW BEST:: SOT 63427 SOS 49470 HAS SOPS 49470 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15531.47
AT ITER 9760 NEW BEST:: SOT 63425 SOS 49470 HAS SOPS 49470 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15528.47
AT ITER 9766 NEW BEST:: SOT 63425 SOS 49030 HAS SOPS 49030 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15528.03
AT ITER 9905 NEW BEST:: SOT 63432 SOS 49037 HAS SOPS 49037 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15520.037
AT ITER 9968 NEW BEST:: SOT 63430 SOS 49036 HAS SOPS 49036 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15518.036
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 299384 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119996 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="PermAdmissibility-PT-10"
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 PermAdmissibility-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863542000536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-10.tgz
mv PermAdmissibility-PT-10 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 ;