About the Execution of Smart+red for GPUForwardProgress-PT-32b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1448.552 | 3600000.00 | 3621724.00 | 13038.20 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349100128.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is GPUForwardProgress-PT-32b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100128
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 14:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 14:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 14:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 160K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678547505226
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=GPUForwardProgress-PT-32b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 15:11:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 15:11:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 15:11:49] [INFO ] Load time of PNML (sax parser for PT used): 125 ms
[2023-03-11 15:11:49] [INFO ] Transformed 644 places.
[2023-03-11 15:11:49] [INFO ] Transformed 677 transitions.
[2023-03-11 15:11:49] [INFO ] Found NUPN structural information;
[2023-03-11 15:11:49] [INFO ] Parsed PT model containing 644 places and 677 transitions and 1677 arcs in 257 ms.
[2023-03-11 15:11:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 644 places, 677 transitions and 1677 arcs took 13 ms.
Total runtime 324 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 32b
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: 644 places, 677 transitions, 1677 arcs.
AT ITER 0 NEW BEST:: SOT 246287 SOS 66507 HAS SOPS 66507 HAS SOUS 60464 HAS SOUPS 60464 WITH SCORE 60530.507
AT ITER 3 NEW BEST:: SOT 246250 SOS 66444 HAS SOPS 66444 HAS SOUS 60427 HAS SOUPS 60427 WITH SCORE 60493.444
AT ITER 4 NEW BEST:: SOT 246250 SOS 66444 HAS SOPS 66444 HAS SOUS 60426 HAS SOUPS 60426 WITH SCORE 60492.444
AT ITER 12 NEW BEST:: SOT 246250 SOS 66444 HAS SOPS 66444 HAS SOUS 60425 HAS SOUPS 60425 WITH SCORE 60491.444
AT ITER 16 NEW BEST:: SOT 246151 SOS 66357 HAS SOPS 66357 HAS SOUS 60339 HAS SOUPS 60339 WITH SCORE 60405.357
AT ITER 21 NEW BEST:: SOT 246151 SOS 66357 HAS SOPS 66357 HAS SOUS 60338 HAS SOUPS 60338 WITH SCORE 60404.357
AT ITER 32 NEW BEST:: SOT 246151 SOS 66259 HAS SOPS 66259 HAS SOUS 60338 HAS SOUPS 60338 WITH SCORE 60404.259
AT ITER 33 NEW BEST:: SOT 246151 SOS 66259 HAS SOPS 66259 HAS SOUS 60337 HAS SOUPS 60337 WITH SCORE 60403.259
AT ITER 95 NEW BEST:: SOT 246076 SOS 66190 HAS SOPS 66190 HAS SOUS 60267 HAS SOUPS 60267 WITH SCORE 60333.19
AT ITER 97 NEW BEST:: SOT 246076 SOS 66190 HAS SOPS 66190 HAS SOUS 60266 HAS SOUPS 60266 WITH SCORE 60332.19
AT ITER 100 NEW BEST:: SOT 246076 SOS 66144 HAS SOPS 66144 HAS SOUS 60243 HAS SOUPS 60243 WITH SCORE 60309.144
AT ITER 130 NEW BEST:: SOT 246076 SOS 66140 HAS SOPS 66140 HAS SOUS 60239 HAS SOUPS 60239 WITH SCORE 60305.14
AT ITER 133 NEW BEST:: SOT 246049 SOS 66051 HAS SOPS 66051 HAS SOUS 60237 HAS SOUPS 60237 WITH SCORE 60303.051
AT ITER 140 NEW BEST:: SOT 245945 SOS 65843 HAS SOPS 65843 HAS SOUS 60029 HAS SOUPS 60029 WITH SCORE 60094.843
AT ITER 144 NEW BEST:: SOT 245893 SOS 65791 HAS SOPS 65791 HAS SOUS 60029 HAS SOUPS 60029 WITH SCORE 60094.791
AT ITER 148 NEW BEST:: SOT 245893 SOS 65689 HAS SOPS 65689 HAS SOUS 60029 HAS SOUPS 60029 WITH SCORE 60094.689
AT ITER 172 NEW BEST:: SOT 245909 SOS 65646 HAS SOPS 65646 HAS SOUS 59986 HAS SOUPS 59986 WITH SCORE 60051.646
AT ITER 186 NEW BEST:: SOT 245938 SOS 65606 HAS SOPS 65606 HAS SOUS 59968 HAS SOUPS 59968 WITH SCORE 60033.606
AT ITER 188 NEW BEST:: SOT 245931 SOS 65592 HAS SOPS 65592 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60019.592
AT ITER 209 NEW BEST:: SOT 245931 SOS 65557 HAS SOPS 65557 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60019.557
AT ITER 213 NEW BEST:: SOT 245976 SOS 65526 HAS SOPS 65526 HAS SOUS 59923 HAS SOUPS 59923 WITH SCORE 59988.526
AT ITER 215 NEW BEST:: SOT 245976 SOS 65526 HAS SOPS 65526 HAS SOUS 59922 HAS SOUPS 59922 WITH SCORE 59987.526
AT ITER 240 NEW BEST:: SOT 245976 SOS 65580 HAS SOPS 65580 HAS SOUS 59920 HAS SOUPS 59920 WITH SCORE 59985.58
AT ITER 263 NEW BEST:: SOT 245642 SOS 65261 HAS SOPS 65261 HAS SOUS 59601 HAS SOUPS 59601 WITH SCORE 59666.261
AT ITER 283 NEW BEST:: SOT 245156 SOS 70817 HAS SOPS 70817 HAS SOUS 59377 HAS SOUPS 59377 WITH SCORE 59447.817
AT ITER 284 NEW BEST:: SOT 245084 SOS 70673 HAS SOPS 70673 HAS SOUS 59305 HAS SOUPS 59305 WITH SCORE 59375.673
AT ITER 286 NEW BEST:: SOT 245084 SOS 70572 HAS SOPS 70572 HAS SOUS 59305 HAS SOUPS 59305 WITH SCORE 59375.572
AT ITER 318 NEW BEST:: SOT 245022 SOS 65581 HAS SOPS 65581 HAS SOUS 59213 HAS SOUPS 59213 WITH SCORE 59278.581
AT ITER 320 NEW BEST:: SOT 244988 SOS 65531 HAS SOPS 65531 HAS SOUS 59179 HAS SOUPS 59179 WITH SCORE 59244.531
AT ITER 325 NEW BEST:: SOT 244988 SOS 65468 HAS SOPS 65468 HAS SOUS 59179 HAS SOUPS 59179 WITH SCORE 59244.468
AT ITER 337 NEW BEST:: SOT 244928 SOS 65496 HAS SOPS 65496 HAS SOUS 59175 HAS SOUPS 59175 WITH SCORE 59240.496
AT ITER 349 NEW BEST:: SOT 244943 SOS 65370 HAS SOPS 65370 HAS SOUS 59142 HAS SOUPS 59142 WITH SCORE 59207.37
AT ITER 358 NEW BEST:: SOT 244948 SOS 65346 HAS SOPS 65346 HAS SOUS 59121 HAS SOUPS 59121 WITH SCORE 59186.346
AT ITER 363 NEW BEST:: SOT 244960 SOS 65248 HAS SOPS 65248 HAS SOUS 59077 HAS SOUPS 59077 WITH SCORE 59142.248
AT ITER 391 NEW BEST:: SOT 244913 SOS 65170 HAS SOPS 65170 HAS SOUS 59030 HAS SOUPS 59030 WITH SCORE 59095.17
AT ITER 397 NEW BEST:: SOT 244913 SOS 65170 HAS SOPS 65170 HAS SOUS 59029 HAS SOUPS 59029 WITH SCORE 59094.17
AT ITER 430 NEW BEST:: SOT 244839 SOS 65022 HAS SOPS 65022 HAS SOUS 58881 HAS SOUPS 58881 WITH SCORE 58946.022
AT ITER 438 NEW BEST:: SOT 244818 SOS 64980 HAS SOPS 64980 HAS SOUS 58853 HAS SOUPS 58853 WITH SCORE 58917.98
AT ITER 447 NEW BEST:: SOT 244818 SOS 64937 HAS SOPS 64937 HAS SOUS 58810 HAS SOUPS 58810 WITH SCORE 58874.937
AT ITER 461 NEW BEST:: SOT 244910 SOS 64892 HAS SOPS 64892 HAS SOUS 58777 HAS SOUPS 58777 WITH SCORE 58841.892
AT ITER 468 NEW BEST:: SOT 244869 SOS 64851 HAS SOPS 64851 HAS SOUS 58777 HAS SOUPS 58777 WITH SCORE 58841.851
AT ITER 469 NEW BEST:: SOT 244818 SOS 64803 HAS SOPS 64803 HAS SOUS 58729 HAS SOUPS 58729 WITH SCORE 58793.803
AT ITER 491 NEW BEST:: SOT 244818 SOS 64792 HAS SOPS 64792 HAS SOUS 58718 HAS SOUPS 58718 WITH SCORE 58782.792
AT ITER 496 NEW BEST:: SOT 244757 SOS 64731 HAS SOPS 64731 HAS SOUS 58718 HAS SOUPS 58718 WITH SCORE 58782.731
AT ITER 533 NEW BEST:: SOT 244709 SOS 64705 HAS SOPS 64705 HAS SOUS 58691 HAS SOUPS 58691 WITH SCORE 58755.705
AT ITER 541 NEW BEST:: SOT 244709 SOS 64705 HAS SOPS 64705 HAS SOUS 58660 HAS SOUPS 58660 WITH SCORE 58724.705
AT ITER 570 NEW BEST:: SOT 244707 SOS 64701 HAS SOPS 64701 HAS SOUS 58541 HAS SOUPS 58541 WITH SCORE 58605.701
AT ITER 611 NEW BEST:: SOT 244703 SOS 64692 HAS SOPS 64692 HAS SOUS 58532 HAS SOUPS 58532 WITH SCORE 58596.692
AT ITER 623 NEW BEST:: SOT 244703 SOS 64667 HAS SOPS 64667 HAS SOUS 58507 HAS SOUPS 58507 WITH SCORE 58571.667
AT ITER 636 NEW BEST:: SOT 244714 SOS 64588 HAS SOPS 64588 HAS SOUS 58428 HAS SOUPS 58428 WITH SCORE 58492.588
AT ITER 644 NEW BEST:: SOT 242863 SOS 62783 HAS SOPS 62783 HAS SOUS 56623 HAS SOUPS 56623 WITH SCORE 56685.783
AT ITER 647 NEW BEST:: SOT 242863 SOS 62699 HAS SOPS 62699 HAS SOUS 56581 HAS SOUPS 56581 WITH SCORE 56643.699
AT ITER 660 NEW BEST:: SOT 242820 SOS 62728 HAS SOPS 62728 HAS SOUS 56533 HAS SOUPS 56533 WITH SCORE 56595.728
AT ITER 662 NEW BEST:: SOT 242801 SOS 62690 HAS SOPS 62690 HAS SOUS 56495 HAS SOUPS 56495 WITH SCORE 56557.69
AT ITER 672 NEW BEST:: SOT 242773 SOS 62606 HAS SOPS 62606 HAS SOUS 56439 HAS SOUPS 56439 WITH SCORE 56501.606
AT ITER 685 NEW BEST:: SOT 242862 SOS 62590 HAS SOPS 62590 HAS SOUS 56423 HAS SOUPS 56423 WITH SCORE 56485.59
AT ITER 694 NEW BEST:: SOT 242835 SOS 62563 HAS SOPS 62563 HAS SOUS 56396 HAS SOUPS 56396 WITH SCORE 56458.563
AT ITER 701 NEW BEST:: SOT 242796 SOS 62485 HAS SOPS 62485 HAS SOUS 56318 HAS SOUPS 56318 WITH SCORE 56380.485
AT ITER 720 NEW BEST:: SOT 242750 SOS 62326 HAS SOPS 62326 HAS SOUS 56158 HAS SOUPS 56158 WITH SCORE 56220.326
AT ITER 754 NEW BEST:: SOT 242720 SOS 62266 HAS SOPS 62266 HAS SOUS 56126 HAS SOUPS 56126 WITH SCORE 56188.266
AT ITER 761 NEW BEST:: SOT 242716 SOS 62262 HAS SOPS 62262 HAS SOUS 56122 HAS SOUPS 56122 WITH SCORE 56184.262
AT ITER 777 NEW BEST:: SOT 242716 SOS 62262 HAS SOPS 62262 HAS SOUS 56068 HAS SOUPS 56068 WITH SCORE 56130.262
AT ITER 781 NEW BEST:: SOT 242608 SOS 62207 HAS SOPS 62207 HAS SOUS 55995 HAS SOUPS 55995 WITH SCORE 56057.207
AT ITER 801 NEW BEST:: SOT 242542 SOS 62143 HAS SOPS 62143 HAS SOUS 55969 HAS SOUPS 55969 WITH SCORE 56031.143
AT ITER 817 NEW BEST:: SOT 242542 SOS 62037 HAS SOPS 62037 HAS SOUS 55916 HAS SOUPS 55916 WITH SCORE 55978.037
AT ITER 828 NEW BEST:: SOT 242542 SOS 61965 HAS SOPS 61965 HAS SOUS 55916 HAS SOUPS 55916 WITH SCORE 55977.965
AT ITER 846 NEW BEST:: SOT 242542 SOS 61965 HAS SOPS 61965 HAS SOUS 55914 HAS SOUPS 55914 WITH SCORE 55975.965
AT ITER 858 NEW BEST:: SOT 242560 SOS 61940 HAS SOPS 61940 HAS SOUS 55908 HAS SOUPS 55908 WITH SCORE 55969.94
AT ITER 882 NEW BEST:: SOT 242558 SOS 61938 HAS SOPS 61938 HAS SOUS 55906 HAS SOUPS 55906 WITH SCORE 55967.938
AT ITER 888 NEW BEST:: SOT 242558 SOS 61938 HAS SOPS 61938 HAS SOUS 55904 HAS SOUPS 55904 WITH SCORE 55965.938
AT ITER 925 NEW BEST:: SOT 242564 SOS 61920 HAS SOPS 61920 HAS SOUS 55897 HAS SOUPS 55897 WITH SCORE 55958.92
AT ITER 949 NEW BEST:: SOT 242562 SOS 61824 HAS SOPS 61824 HAS SOUS 55829 HAS SOUPS 55829 WITH SCORE 55890.824
AT ITER 950 NEW BEST:: SOT 242553 SOS 61804 HAS SOPS 61804 HAS SOUS 55809 HAS SOUPS 55809 WITH SCORE 55870.804
AT ITER 980 NEW BEST:: SOT 242566 SOS 61714 HAS SOPS 61714 HAS SOUS 55770 HAS SOUPS 55770 WITH SCORE 55831.714
AT ITER 982 NEW BEST:: SOT 242532 SOS 61680 HAS SOPS 61680 HAS SOUS 55736 HAS SOUPS 55736 WITH SCORE 55797.68
AT ITER 983 NEW BEST:: SOT 242532 SOS 61612 HAS SOPS 61612 HAS SOUS 55702 HAS SOUPS 55702 WITH SCORE 55763.612
AT ITER 1018 NEW BEST:: SOT 242532 SOS 61584 HAS SOPS 61584 HAS SOUS 55674 HAS SOUPS 55674 WITH SCORE 55735.584
AT ITER 1029 NEW BEST:: SOT 242453 SOS 61559 HAS SOPS 61559 HAS SOUS 55619 HAS SOUPS 55619 WITH SCORE 55680.559
AT ITER 1057 NEW BEST:: SOT 242466 SOS 61508 HAS SOPS 61508 HAS SOUS 55614 HAS SOUPS 55614 WITH SCORE 55675.508
AT ITER 1059 NEW BEST:: SOT 242454 SOS 61496 HAS SOPS 61496 HAS SOUS 55614 HAS SOUPS 55614 WITH SCORE 55675.496
AT ITER 1080 NEW BEST:: SOT 242441 SOS 61483 HAS SOPS 61483 HAS SOUS 55601 HAS SOUPS 55601 WITH SCORE 55662.483
AT ITER 1086 NEW BEST:: SOT 242453 SOS 61331 HAS SOPS 61331 HAS SOUS 55521 HAS SOUPS 55521 WITH SCORE 55582.331
AT ITER 1092 NEW BEST:: SOT 242442 SOS 61309 HAS SOPS 61309 HAS SOUS 55499 HAS SOUPS 55499 WITH SCORE 55560.309
AT ITER 1151 NEW BEST:: SOT 242493 SOS 61308 HAS SOPS 61308 HAS SOUS 55498 HAS SOUPS 55498 WITH SCORE 55559.308
AT ITER 1153 NEW BEST:: SOT 242153 SOS 67358 HAS SOPS 67358 HAS SOUS 55334 HAS SOUPS 55334 WITH SCORE 55401.358
AT ITER 1163 NEW BEST:: SOT 242158 SOS 67368 HAS SOPS 67368 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55330.368
AT ITER 1180 NEW BEST:: SOT 242066 SOS 67184 HAS SOPS 67184 HAS SOUS 55079 HAS SOUPS 55079 WITH SCORE 55146.184
AT ITER 1182 NEW BEST:: SOT 242066 SOS 67184 HAS SOPS 67184 HAS SOUS 55033 HAS SOUPS 55033 WITH SCORE 55100.184
AT ITER 1185 NEW BEST:: SOT 242185 SOS 67144 HAS SOPS 67144 HAS SOUS 55025 HAS SOUPS 55025 WITH SCORE 55092.144
AT ITER 1205 NEW BEST:: SOT 242185 SOS 66954 HAS SOPS 66954 HAS SOUS 54930 HAS SOUPS 54930 WITH SCORE 54996.954
AT ITER 1206 NEW BEST:: SOT 242290 SOS 66778 HAS SOPS 66778 HAS SOUS 54905 HAS SOUPS 54905 WITH SCORE 54971.778
AT ITER 1221 NEW BEST:: SOT 242327 SOS 66692 HAS SOPS 66692 HAS SOUS 54902 HAS SOUPS 54902 WITH SCORE 54968.692
AT ITER 1239 NEW BEST:: SOT 242262 SOS 66596 HAS SOPS 66596 HAS SOUS 54776 HAS SOUPS 54776 WITH SCORE 54842.596
AT ITER 1241 NEW BEST:: SOT 242164 SOS 60745 HAS SOPS 60745 HAS SOUS 54580 HAS SOUPS 54580 WITH SCORE 54640.745
AT ITER 1245 NEW BEST:: SOT 242164 SOS 60737 HAS SOPS 60737 HAS SOUS 54576 HAS SOUPS 54576 WITH SCORE 54636.737
AT ITER 1259 NEW BEST:: SOT 242164 SOS 60705 HAS SOPS 60705 HAS SOUS 54544 HAS SOUPS 54544 WITH SCORE 54604.705
AT ITER 1274 NEW BEST:: SOT 242164 SOS 60705 HAS SOPS 60705 HAS SOUS 54527 HAS SOUPS 54527 WITH SCORE 54587.705
AT ITER 1278 NEW BEST:: SOT 242164 SOS 60549 HAS SOPS 60549 HAS SOUS 54527 HAS SOUPS 54527 WITH SCORE 54587.549
AT ITER 1284 NEW BEST:: SOT 242203 SOS 60411 HAS SOPS 60411 HAS SOUS 54477 HAS SOUPS 54477 WITH SCORE 54537.411
AT ITER 1295 NEW BEST:: SOT 242127 SOS 60306 HAS SOPS 60306 HAS SOUS 54401 HAS SOUPS 54401 WITH SCORE 54461.306
AT ITER 1300 NEW BEST:: SOT 242127 SOS 60306 HAS SOPS 60306 HAS SOUS 54278 HAS SOUPS 54278 WITH SCORE 54338.306
AT ITER 1319 NEW BEST:: SOT 242128 SOS 60271 HAS SOPS 60271 HAS SOUS 54243 HAS SOUPS 54243 WITH SCORE 54303.271
AT ITER 1326 NEW BEST:: SOT 242128 SOS 60271 HAS SOPS 60271 HAS SOUS 54205 HAS SOUPS 54205 WITH SCORE 54265.271
AT ITER 1361 NEW BEST:: SOT 242128 SOS 60089 HAS SOPS 60089 HAS SOUS 54114 HAS SOUPS 54114 WITH SCORE 54174.089
AT ITER 1369 NEW BEST:: SOT 242111 SOS 60038 HAS SOPS 60038 HAS SOUS 54080 HAS SOUPS 54080 WITH SCORE 54140.038
AT ITER 1370 NEW BEST:: SOT 242088 SOS 60022 HAS SOPS 60022 HAS SOUS 54070 HAS SOUPS 54070 WITH SCORE 54130.022
AT ITER 1397 NEW BEST:: SOT 242086 SOS 59952 HAS SOPS 59952 HAS SOUS 54033 HAS SOUPS 54033 WITH SCORE 54092.952
AT ITER 1453 NEW BEST:: SOT 242098 SOS 59938 HAS SOPS 59938 HAS SOUS 54014 HAS SOUPS 54014 WITH SCORE 54073.938
AT ITER 1473 NEW BEST:: SOT 242118 SOS 59921 HAS SOPS 59921 HAS SOUS 54000 HAS SOUPS 54000 WITH SCORE 54059.921
AT ITER 1499 NEW BEST:: SOT 242052 SOS 59789 HAS SOPS 59789 HAS SOUS 53922 HAS SOUPS 53922 WITH SCORE 53981.789
AT ITER 1526 NEW BEST:: SOT 241978 SOS 59343 HAS SOPS 59343 HAS SOUS 53843 HAS SOUPS 53843 WITH SCORE 53902.343
AT ITER 1527 NEW BEST:: SOT 241965 SOS 59317 HAS SOPS 59317 HAS SOUS 53830 HAS SOUPS 53830 WITH SCORE 53889.317
AT ITER 1568 NEW BEST:: SOT 241944 SOS 59240 HAS SOPS 59240 HAS SOUS 53788 HAS SOUPS 53788 WITH SCORE 53847.24
AT ITER 1578 NEW BEST:: SOT 241944 SOS 59232 HAS SOPS 59232 HAS SOUS 53780 HAS SOUPS 53780 WITH SCORE 53839.232
AT ITER 1581 NEW BEST:: SOT 241886 SOS 59116 HAS SOPS 59116 HAS SOUS 53663 HAS SOUPS 53663 WITH SCORE 53722.116
AT ITER 1599 NEW BEST:: SOT 241915 SOS 59057 HAS SOPS 59057 HAS SOUS 53604 HAS SOUPS 53604 WITH SCORE 53663.057
AT ITER 1601 NEW BEST:: SOT 241914 SOS 59055 HAS SOPS 59055 HAS SOUS 53602 HAS SOUPS 53602 WITH SCORE 53661.055
AT ITER 1602 NEW BEST:: SOT 241901 SOS 59029 HAS SOPS 59029 HAS SOUS 53528 HAS SOUPS 53528 WITH SCORE 53587.029
AT ITER 1654 NEW BEST:: SOT 241901 SOS 58975 HAS SOPS 58975 HAS SOUS 53474 HAS SOUPS 53474 WITH SCORE 53532.975
AT ITER 1658 NEW BEST:: SOT 241901 SOS 58905 HAS SOPS 58905 HAS SOUS 53439 HAS SOUPS 53439 WITH SCORE 53497.905
AT ITER 1700 NEW BEST:: SOT 241887 SOS 58878 HAS SOPS 58878 HAS SOUS 53411 HAS SOUPS 53411 WITH SCORE 53469.878
AT ITER 1716 NEW BEST:: SOT 241887 SOS 58877 HAS SOPS 58877 HAS SOUS 53410 HAS SOUPS 53410 WITH SCORE 53468.877
AT ITER 1717 NEW BEST:: SOT 241879 SOS 58812 HAS SOPS 58812 HAS SOUS 53402 HAS SOUPS 53402 WITH SCORE 53460.812
AT ITER 1721 NEW BEST:: SOT 241848 SOS 58750 HAS SOPS 58750 HAS SOUS 53340 HAS SOUPS 53340 WITH SCORE 53398.75
AT ITER 1734 NEW BEST:: SOT 241691 SOS 58969 HAS SOPS 58969 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53282.969
AT ITER 1741 NEW BEST:: SOT 241693 SOS 58895 HAS SOPS 58895 HAS SOUS 53150 HAS SOUPS 53150 WITH SCORE 53208.895
AT ITER 1762 NEW BEST:: SOT 241672 SOS 58874 HAS SOPS 58874 HAS SOUS 53129 HAS SOUPS 53129 WITH SCORE 53187.874
AT ITER 1775 NEW BEST:: SOT 241645 SOS 58851 HAS SOPS 58851 HAS SOUS 53106 HAS SOUPS 53106 WITH SCORE 53164.851
AT ITER 1777 NEW BEST:: SOT 241660 SOS 58881 HAS SOPS 58881 HAS SOUS 53084 HAS SOUPS 53084 WITH SCORE 53142.881
AT ITER 1781 NEW BEST:: SOT 241694 SOS 58949 HAS SOPS 58949 HAS SOUS 53079 HAS SOUPS 53079 WITH SCORE 53137.949
AT ITER 1785 NEW BEST:: SOT 241694 SOS 58949 HAS SOPS 58949 HAS SOUS 53020 HAS SOUPS 53020 WITH SCORE 53078.949
AT ITER 1787 NEW BEST:: SOT 241660 SOS 58881 HAS SOPS 58881 HAS SOUS 52964 HAS SOUPS 52964 WITH SCORE 53022.881
AT ITER 1794 NEW BEST:: SOT 241554 SOS 58780 HAS SOPS 58780 HAS SOUS 52874 HAS SOUPS 52874 WITH SCORE 52932.78
AT ITER 1804 NEW BEST:: SOT 241554 SOS 58748 HAS SOPS 58748 HAS SOUS 52842 HAS SOUPS 52842 WITH SCORE 52900.748
AT ITER 1813 NEW BEST:: SOT 241673 SOS 58653 HAS SOPS 58653 HAS SOUS 52807 HAS SOUPS 52807 WITH SCORE 52865.653
AT ITER 1817 NEW BEST:: SOT 241628 SOS 58563 HAS SOPS 58563 HAS SOUS 52754 HAS SOUPS 52754 WITH SCORE 52812.563
AT ITER 1841 NEW BEST:: SOT 241628 SOS 58556 HAS SOPS 58556 HAS SOUS 52754 HAS SOUPS 52754 WITH SCORE 52812.556
AT ITER 1859 NEW BEST:: SOT 241629 SOS 58558 HAS SOPS 58558 HAS SOUS 52748 HAS SOUPS 52748 WITH SCORE 52806.558
AT ITER 1864 NEW BEST:: SOT 241578 SOS 58526 HAS SOPS 58526 HAS SOUS 52716 HAS SOUPS 52716 WITH SCORE 52774.526
AT ITER 1872 NEW BEST:: SOT 241577 SOS 58524 HAS SOPS 58524 HAS SOUS 52714 HAS SOUPS 52714 WITH SCORE 52772.524
AT ITER 1897 NEW BEST:: SOT 241577 SOS 58524 HAS SOPS 58524 HAS SOUS 52713 HAS SOUPS 52713 WITH SCORE 52771.524
AT ITER 1904 NEW BEST:: SOT 241475 SOS 58251 HAS SOPS 58251 HAS SOUS 52542 HAS SOUPS 52542 WITH SCORE 52600.251
AT ITER 1911 NEW BEST:: SOT 241475 SOS 58161 HAS SOPS 58161 HAS SOUS 52497 HAS SOUPS 52497 WITH SCORE 52555.161
AT ITER 1931 NEW BEST:: SOT 241418 SOS 58114 HAS SOPS 58114 HAS SOUS 52496 HAS SOUPS 52496 WITH SCORE 52554.114
AT ITER 1941 NEW BEST:: SOT 241418 SOS 58114 HAS SOPS 58114 HAS SOUS 52495 HAS SOUPS 52495 WITH SCORE 52553.114
AT ITER 1942 NEW BEST:: SOT 241418 SOS 58097 HAS SOPS 58097 HAS SOUS 52495 HAS SOUPS 52495 WITH SCORE 52553.097
AT ITER 1946 NEW BEST:: SOT 241387 SOS 58073 HAS SOPS 58073 HAS SOUS 52469 HAS SOUPS 52469 WITH SCORE 52527.073
AT ITER 1947 NEW BEST:: SOT 241387 SOS 58073 HAS SOPS 58073 HAS SOUS 52397 HAS SOUPS 52397 WITH SCORE 52455.073
AT ITER 1957 NEW BEST:: SOT 241409 SOS 58035 HAS SOPS 58035 HAS SOUS 52359 HAS SOUPS 52359 WITH SCORE 52417.035
AT ITER 1964 NEW BEST:: SOT 241427 SOS 58071 HAS SOPS 58071 HAS SOUS 52336 HAS SOUPS 52336 WITH SCORE 52394.071
AT ITER 1967 NEW BEST:: SOT 241284 SOS 57985 HAS SOPS 57985 HAS SOUS 52242 HAS SOUPS 52242 WITH SCORE 52299.985
AT ITER 1992 NEW BEST:: SOT 241291 SOS 57984 HAS SOPS 57984 HAS SOUS 52241 HAS SOUPS 52241 WITH SCORE 52298.984
AT ITER 1996 NEW BEST:: SOT 241283 SOS 57976 HAS SOPS 57976 HAS SOUS 52225 HAS SOUPS 52225 WITH SCORE 52282.976
AT ITER 2006 NEW BEST:: SOT 241283 SOS 57928 HAS SOPS 57928 HAS SOUS 52177 HAS SOUPS 52177 WITH SCORE 52234.928
AT ITER 2012 NEW BEST:: SOT 241259 SOS 57880 HAS SOPS 57880 HAS SOUS 52153 HAS SOUPS 52153 WITH SCORE 52210.88
AT ITER 2015 NEW BEST:: SOT 241222 SOS 57806 HAS SOPS 57806 HAS SOUS 52079 HAS SOUPS 52079 WITH SCORE 52136.806
AT ITER 2034 NEW BEST:: SOT 241222 SOS 57806 HAS SOPS 57806 HAS SOUS 52078 HAS SOUPS 52078 WITH SCORE 52135.806
AT ITER 2046 NEW BEST:: SOT 241194 SOS 57750 HAS SOPS 57750 HAS SOUS 52022 HAS SOUPS 52022 WITH SCORE 52079.75
AT ITER 2047 NEW BEST:: SOT 241145 SOS 57764 HAS SOPS 57764 HAS SOUS 51963 HAS SOUPS 51963 WITH SCORE 52020.764
AT ITER 2057 NEW BEST:: SOT 241145 SOS 57764 HAS SOPS 57764 HAS SOUS 51882 HAS SOUPS 51882 WITH SCORE 51939.764
AT ITER 2066 NEW BEST:: SOT 241145 SOS 57747 HAS SOPS 57747 HAS SOUS 51861 HAS SOUPS 51861 WITH SCORE 51918.747
AT ITER 2075 NEW BEST:: SOT 241140 SOS 57737 HAS SOPS 57737 HAS SOUS 51851 HAS SOUPS 51851 WITH SCORE 51908.737
AT ITER 2155 NEW BEST:: SOT 241133 SOS 57730 HAS SOPS 57730 HAS SOUS 51837 HAS SOUPS 51837 WITH SCORE 51894.73
AT ITER 2156 NEW BEST:: SOT 241127 SOS 57718 HAS SOPS 57718 HAS SOUS 51825 HAS SOUPS 51825 WITH SCORE 51882.718
AT ITER 2193 NEW BEST:: SOT 241121 SOS 57706 HAS SOPS 57706 HAS SOUS 51813 HAS SOUPS 51813 WITH SCORE 51870.706
AT ITER 2196 NEW BEST:: SOT 241090 SOS 57687 HAS SOPS 57687 HAS SOUS 51773 HAS SOUPS 51773 WITH SCORE 51830.687
AT ITER 2219 NEW BEST:: SOT 241091 SOS 57689 HAS SOPS 57689 HAS SOUS 51730 HAS SOUPS 51730 WITH SCORE 51787.689
AT ITER 2227 NEW BEST:: SOT 241044 SOS 57539 HAS SOPS 57539 HAS SOUS 51580 HAS SOUPS 51580 WITH SCORE 51637.539
AT ITER 2237 NEW BEST:: SOT 241054 SOS 57526 HAS SOPS 57526 HAS SOUS 51577 HAS SOUPS 51577 WITH SCORE 51634.526
AT ITER 2251 NEW BEST:: SOT 241160 SOS 57424 HAS SOPS 57424 HAS SOUS 51558 HAS SOUPS 51558 WITH SCORE 51615.424
AT ITER 2256 NEW BEST:: SOT 241164 SOS 57432 HAS SOPS 57432 HAS SOUS 51528 HAS SOUPS 51528 WITH SCORE 51585.432
AT ITER 2260 NEW BEST:: SOT 241142 SOS 57411 HAS SOPS 57411 HAS SOUS 51484 HAS SOUPS 51484 WITH SCORE 51541.411
AT ITER 2262 NEW BEST:: SOT 241136 SOS 57399 HAS SOPS 57399 HAS SOUS 51472 HAS SOUPS 51472 WITH SCORE 51529.399
AT ITER 2273 NEW BEST:: SOT 241096 SOS 57258 HAS SOPS 57258 HAS SOUS 51392 HAS SOUPS 51392 WITH SCORE 51449.258
AT ITER 2279 NEW BEST:: SOT 241062 SOS 57234 HAS SOPS 57234 HAS SOUS 51364 HAS SOUPS 51364 WITH SCORE 51421.234
AT ITER 2315 NEW BEST:: SOT 241062 SOS 57174 HAS SOPS 57174 HAS SOUS 51334 HAS SOUPS 51334 WITH SCORE 51391.174
AT ITER 2334 NEW BEST:: SOT 241050 SOS 57161 HAS SOPS 57161 HAS SOUS 51260 HAS SOUPS 51260 WITH SCORE 51317.161
AT ITER 2339 NEW BEST:: SOT 241049 SOS 57160 HAS SOPS 57160 HAS SOUS 51259 HAS SOUPS 51259 WITH SCORE 51316.16
AT ITER 2356 NEW BEST:: SOT 240957 SOS 57158 HAS SOPS 57158 HAS SOUS 51231 HAS SOUPS 51231 WITH SCORE 51288.158
AT ITER 2414 NEW BEST:: SOT 240903 SOS 57050 HAS SOPS 57050 HAS SOUS 51123 HAS SOUPS 51123 WITH SCORE 51180.05
AT ITER 2416 NEW BEST:: SOT 240855 SOS 56954 HAS SOPS 56954 HAS SOUS 51027 HAS SOUPS 51027 WITH SCORE 51083.954
AT ITER 2437 NEW BEST:: SOT 240855 SOS 56954 HAS SOPS 56954 HAS SOUS 50953 HAS SOUPS 50953 WITH SCORE 51009.954
AT ITER 2440 NEW BEST:: SOT 240855 SOS 56555 HAS SOPS 56555 HAS SOUS 50939 HAS SOUPS 50939 WITH SCORE 50995.555
AT ITER 2464 NEW BEST:: SOT 240845 SOS 56545 HAS SOPS 56545 HAS SOUS 50919 HAS SOUPS 50919 WITH SCORE 50975.545
AT ITER 2469 NEW BEST:: SOT 240810 SOS 56475 HAS SOPS 56475 HAS SOUS 50849 HAS SOUPS 50849 WITH SCORE 50905.475
AT ITER 2475 NEW BEST:: SOT 240811 SOS 56477 HAS SOPS 56477 HAS SOUS 50838 HAS SOUPS 50838 WITH SCORE 50894.477
AT ITER 2494 NEW BEST:: SOT 240771 SOS 56397 HAS SOPS 56397 HAS SOUS 50692 HAS SOUPS 50692 WITH SCORE 50748.397
AT ITER 2500 NEW BEST:: SOT 240810 SOS 56357 HAS SOPS 56357 HAS SOUS 50672 HAS SOUPS 50672 WITH SCORE 50728.357
AT ITER 2506 NEW BEST:: SOT 240806 SOS 56349 HAS SOPS 56349 HAS SOUS 50664 HAS SOUPS 50664 WITH SCORE 50720.349
AT ITER 2514 NEW BEST:: SOT 240806 SOS 56413 HAS SOPS 56413 HAS SOUS 50600 HAS SOUPS 50600 WITH SCORE 50656.413
AT ITER 2546 NEW BEST:: SOT 240877 SOS 55818 HAS SOPS 55818 HAS SOUS 50341 HAS SOUPS 50341 WITH SCORE 50396.818
AT ITER 2550 NEW BEST:: SOT 240862 SOS 55773 HAS SOPS 55773 HAS SOUS 50296 HAS SOUPS 50296 WITH SCORE 50351.773
AT ITER 2553 NEW BEST:: SOT 240846 SOS 55741 HAS SOPS 55741 HAS SOUS 50264 HAS SOUPS 50264 WITH SCORE 50319.741
AT ITER 2563 NEW BEST:: SOT 240845 SOS 55739 HAS SOPS 55739 HAS SOUS 50262 HAS SOUPS 50262 WITH SCORE 50317.739
AT ITER 2578 NEW BEST:: SOT 240842 SOS 55736 HAS SOPS 55736 HAS SOUS 50259 HAS SOUPS 50259 WITH SCORE 50314.736
AT ITER 2583 NEW BEST:: SOT 240839 SOS 55725 HAS SOPS 55725 HAS SOUS 50253 HAS SOUPS 50253 WITH SCORE 50308.725
AT ITER 2598 NEW BEST:: SOT 240822 SOS 55594 HAS SOPS 55594 HAS SOUS 50122 HAS SOUPS 50122 WITH SCORE 50177.594
AT ITER 2612 NEW BEST:: SOT 240818 SOS 55590 HAS SOPS 55590 HAS SOUS 50114 HAS SOUPS 50114 WITH SCORE 50169.59
AT ITER 2613 NEW BEST:: SOT 240744 SOS 55442 HAS SOPS 55442 HAS SOUS 49963 HAS SOUPS 49963 WITH SCORE 50018.442
AT ITER 2624 NEW BEST:: SOT 240744 SOS 55442 HAS SOPS 55442 HAS SOUS 49917 HAS SOUPS 49917 WITH SCORE 49972.442
AT ITER 2646 NEW BEST:: SOT 240737 SOS 55428 HAS SOPS 55428 HAS SOUS 49910 HAS SOUPS 49910 WITH SCORE 49965.428
AT ITER 2650 NEW BEST:: SOT 240737 SOS 55428 HAS SOPS 55428 HAS SOUS 49904 HAS SOUPS 49904 WITH SCORE 49959.428
AT ITER 2654 NEW BEST:: SOT 240745 SOS 55444 HAS SOPS 55444 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 49952.444
AT ITER 2656 NEW BEST:: SOT 240729 SOS 55412 HAS SOPS 55412 HAS SOUS 49881 HAS SOUPS 49881 WITH SCORE 49936.412
AT ITER 2687 NEW BEST:: SOT 240730 SOS 55408 HAS SOPS 55408 HAS SOUS 49877 HAS SOUPS 49877 WITH SCORE 49932.408
AT ITER 2713 NEW BEST:: SOT 240715 SOS 55378 HAS SOPS 55378 HAS SOUS 49846 HAS SOUPS 49846 WITH SCORE 49901.378
AT ITER 2727 NEW BEST:: SOT 240715 SOS 55378 HAS SOPS 55378 HAS SOUS 49845 HAS SOUPS 49845 WITH SCORE 49900.378
AT ITER 2739 NEW BEST:: SOT 240608 SOS 55037 HAS SOPS 55037 HAS SOUS 49588 HAS SOUPS 49588 WITH SCORE 49643.037
AT ITER 2795 NEW BEST:: SOT 240572 SOS 55037 HAS SOPS 55037 HAS SOUS 49587 HAS SOUPS 49587 WITH SCORE 49642.037
AT ITER 2855 NEW BEST:: SOT 240554 SOS 55008 HAS SOPS 55008 HAS SOUS 49581 HAS SOUPS 49581 WITH SCORE 49636.008
AT ITER 2856 NEW BEST:: SOT 240518 SOS 54972 HAS SOPS 54972 HAS SOUS 49557 HAS SOUPS 49557 WITH SCORE 49611.972
AT ITER 2871 NEW BEST:: SOT 240559 SOS 54934 HAS SOPS 54934 HAS SOUS 49541 HAS SOUPS 49541 WITH SCORE 49595.934
AT ITER 2872 NEW BEST:: SOT 240530 SOS 54924 HAS SOPS 54924 HAS SOUS 49531 HAS SOUPS 49531 WITH SCORE 49585.924
AT ITER 2903 NEW BEST:: SOT 240521 SOS 54906 HAS SOPS 54906 HAS SOUS 49447 HAS SOUPS 49447 WITH SCORE 49501.906
AT ITER 2946 NEW BEST:: SOT 240512 SOS 54888 HAS SOPS 54888 HAS SOUS 49429 HAS SOUPS 49429 WITH SCORE 49483.888
AT ITER 3007 NEW BEST:: SOT 240503 SOS 54840 HAS SOPS 54840 HAS SOUS 49389 HAS SOUPS 49389 WITH SCORE 49443.84
AT ITER 3061 NEW BEST:: SOT 240476 SOS 54740 HAS SOPS 54740 HAS SOUS 49328 HAS SOUPS 49328 WITH SCORE 49382.74
AT ITER 3087 NEW BEST:: SOT 240452 SOS 54667 HAS SOPS 54667 HAS SOUS 49303 HAS SOUPS 49303 WITH SCORE 49357.667
AT ITER 3089 NEW BEST:: SOT 240444 SOS 54651 HAS SOPS 54651 HAS SOUS 49295 HAS SOUPS 49295 WITH SCORE 49349.651
AT ITER 3096 NEW BEST:: SOT 240444 SOS 54651 HAS SOPS 54651 HAS SOUS 49292 HAS SOUPS 49292 WITH SCORE 49346.651
AT ITER 3102 NEW BEST:: SOT 240425 SOS 54613 HAS SOPS 54613 HAS SOUS 49288 HAS SOUPS 49288 WITH SCORE 49342.613
AT ITER 3113 NEW BEST:: SOT 240420 SOS 54603 HAS SOPS 54603 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49332.603
AT ITER 3116 NEW BEST:: SOT 240420 SOS 54566 HAS SOPS 54566 HAS SOUS 49241 HAS SOUPS 49241 WITH SCORE 49295.566
AT ITER 3118 NEW BEST:: SOT 240420 SOS 54566 HAS SOPS 54566 HAS SOUS 49216 HAS SOUPS 49216 WITH SCORE 49270.566
AT ITER 3137 NEW BEST:: SOT 240420 SOS 54566 HAS SOPS 54566 HAS SOUS 49179 HAS SOUPS 49179 WITH SCORE 49233.566
AT ITER 3150 NEW BEST:: SOT 240401 SOS 54547 HAS SOPS 54547 HAS SOUS 49160 HAS SOUPS 49160 WITH SCORE 49214.547
AT ITER 3172 NEW BEST:: SOT 240401 SOS 54509 HAS SOPS 54509 HAS SOUS 49122 HAS SOUPS 49122 WITH SCORE 49176.509
AT ITER 3212 NEW BEST:: SOT 240401 SOS 54509 HAS SOPS 54509 HAS SOUS 49086 HAS SOUPS 49086 WITH SCORE 49140.509
AT ITER 3235 NEW BEST:: SOT 240397 SOS 54501 HAS SOPS 54501 HAS SOUS 49078 HAS SOUPS 49078 WITH SCORE 49132.501
AT ITER 3250 NEW BEST:: SOT 240371 SOS 54449 HAS SOPS 54449 HAS SOUS 49023 HAS SOUPS 49023 WITH SCORE 49077.449
AT ITER 3270 NEW BEST:: SOT 240371 SOS 54449 HAS SOPS 54449 HAS SOUS 49022 HAS SOUPS 49022 WITH SCORE 49076.449
AT ITER 3271 NEW BEST:: SOT 240365 SOS 54404 HAS SOPS 54404 HAS SOUS 49010 HAS SOUPS 49010 WITH SCORE 49064.404
AT ITER 3318 NEW BEST:: SOT 240365 SOS 54404 HAS SOPS 54404 HAS SOUS 48991 HAS SOUPS 48991 WITH SCORE 49045.404
AT ITER 3352 NEW BEST:: SOT 240350 SOS 54423 HAS SOPS 54423 HAS SOUS 48961 HAS SOUPS 48961 WITH SCORE 49015.423
AT ITER 3358 NEW BEST:: SOT 240304 SOS 54331 HAS SOPS 54331 HAS SOUS 48869 HAS SOUPS 48869 WITH SCORE 48923.331
AT ITER 3380 NEW BEST:: SOT 240305 SOS 54333 HAS SOPS 54333 HAS SOUS 48856 HAS SOUPS 48856 WITH SCORE 48910.333
AT ITER 3384 NEW BEST:: SOT 240287 SOS 54297 HAS SOPS 54297 HAS SOUS 48820 HAS SOUPS 48820 WITH SCORE 48874.297
AT ITER 3385 NEW BEST:: SOT 240287 SOS 54225 HAS SOPS 54225 HAS SOUS 48802 HAS SOUPS 48802 WITH SCORE 48856.225
AT ITER 3397 NEW BEST:: SOT 240287 SOS 54225 HAS SOPS 54225 HAS SOUS 48799 HAS SOUPS 48799 WITH SCORE 48853.225
AT ITER 3419 NEW BEST:: SOT 240286 SOS 54223 HAS SOPS 54223 HAS SOUS 48797 HAS SOUPS 48797 WITH SCORE 48851.223
AT ITER 3462 NEW BEST:: SOT 240286 SOS 54130 HAS SOPS 54130 HAS SOUS 48736 HAS SOUPS 48736 WITH SCORE 48790.13
AT ITER 3520 NEW BEST:: SOT 240285 SOS 54128 HAS SOPS 54128 HAS SOUS 48735 HAS SOUPS 48735 WITH SCORE 48789.128
AT ITER 3539 NEW BEST:: SOT 240282 SOS 54117 HAS SOPS 54117 HAS SOUS 48724 HAS SOUPS 48724 WITH SCORE 48778.117
AT ITER 3621 NEW BEST:: SOT 240257 SOS 54075 HAS SOPS 54075 HAS SOUS 48721 HAS SOUPS 48721 WITH SCORE 48775.075
AT ITER 3632 NEW BEST:: SOT 240239 SOS 54039 HAS SOPS 54039 HAS SOUS 48685 HAS SOUPS 48685 WITH SCORE 48739.039
AT ITER 3657 NEW BEST:: SOT 240235 SOS 54039 HAS SOPS 54039 HAS SOUS 48677 HAS SOUPS 48677 WITH SCORE 48731.039
AT ITER 3659 NEW BEST:: SOT 240197 SOS 53963 HAS SOPS 53963 HAS SOUS 48608 HAS SOUPS 48608 WITH SCORE 48661.963
AT ITER 3670 NEW BEST:: SOT 240197 SOS 53906 HAS SOPS 53906 HAS SOUS 48608 HAS SOUPS 48608 WITH SCORE 48661.906
AT ITER 3705 NEW BEST:: SOT 240197 SOS 53900 HAS SOPS 53900 HAS SOUS 48608 HAS SOUPS 48608 WITH SCORE 48661.9
AT ITER 3706 NEW BEST:: SOT 240207 SOS 53920 HAS SOPS 53920 HAS SOUS 48535 HAS SOUPS 48535 WITH SCORE 48588.92
AT ITER 3714 NEW BEST:: SOT 240207 SOS 53892 HAS SOPS 53892 HAS SOUS 48535 HAS SOUPS 48535 WITH SCORE 48588.892
AT ITER 3728 NEW BEST:: SOT 240172 SOS 53822 HAS SOPS 53822 HAS SOUS 48500 HAS SOUPS 48500 WITH SCORE 48553.822
AT ITER 3754 NEW BEST:: SOT 240211 SOS 53787 HAS SOPS 53787 HAS SOUS 48465 HAS SOUPS 48465 WITH SCORE 48518.787
AT ITER 3790 NEW BEST:: SOT 240204 SOS 53749 HAS SOPS 53749 HAS SOUS 48441 HAS SOUPS 48441 WITH SCORE 48494.749
AT ITER 3795 NEW BEST:: SOT 240184 SOS 53728 HAS SOPS 53728 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48473.728
AT ITER 3811 NEW BEST:: SOT 240179 SOS 53718 HAS SOPS 53718 HAS SOUS 48412 HAS SOUPS 48412 WITH SCORE 48465.718
AT ITER 3817 NEW BEST:: SOT 240175 SOS 53714 HAS SOPS 53714 HAS SOUS 48404 HAS SOUPS 48404 WITH SCORE 48457.714
AT ITER 3820 NEW BEST:: SOT 240401 SOS 53484 HAS SOPS 53484 HAS SOUS 48383 HAS SOUPS 48383 WITH SCORE 48436.484
AT ITER 3883 NEW BEST:: SOT 240399 SOS 53480 HAS SOPS 53480 HAS SOUS 48379 HAS SOUPS 48379 WITH SCORE 48432.48
AT ITER 3886 NEW BEST:: SOT 240404 SOS 53389 HAS SOPS 53389 HAS SOUS 48288 HAS SOUPS 48288 WITH SCORE 48341.389
AT ITER 3891 NEW BEST:: SOT 240389 SOS 53359 HAS SOPS 53359 HAS SOUS 48258 HAS SOUPS 48258 WITH SCORE 48311.359
AT ITER 3976 NEW BEST:: SOT 240389 SOS 53359 HAS SOPS 53359 HAS SOUS 48255 HAS SOUPS 48255 WITH SCORE 48308.359
AT ITER 4009 NEW BEST:: SOT 240366 SOS 53336 HAS SOPS 53336 HAS SOUS 48232 HAS SOUPS 48232 WITH SCORE 48285.336
AT ITER 4011 NEW BEST:: SOT 240393 SOS 53152 HAS SOPS 53152 HAS SOUS 48147 HAS SOUPS 48147 WITH SCORE 48200.152
AT ITER 4021 NEW BEST:: SOT 240385 SOS 53144 HAS SOPS 53144 HAS SOUS 48139 HAS SOUPS 48139 WITH SCORE 48192.144
AT ITER 4036 NEW BEST:: SOT 240341 SOS 53056 HAS SOPS 53056 HAS SOUS 48051 HAS SOUPS 48051 WITH SCORE 48104.056
AT ITER 4043 NEW BEST:: SOT 240341 SOS 53054 HAS SOPS 53054 HAS SOUS 48049 HAS SOUPS 48049 WITH SCORE 48102.054
AT ITER 4122 NEW BEST:: SOT 240272 SOS 52916 HAS SOPS 52916 HAS SOUS 47911 HAS SOUPS 47911 WITH SCORE 47963.916
AT ITER 4192 NEW BEST:: SOT 240262 SOS 52870 HAS SOPS 52870 HAS SOUS 47891 HAS SOUPS 47891 WITH SCORE 47943.87
AT ITER 4204 NEW BEST:: SOT 240259 SOS 52864 HAS SOPS 52864 HAS SOUS 47885 HAS SOUPS 47885 WITH SCORE 47937.864
AT ITER 4266 NEW BEST:: SOT 240293 SOS 52898 HAS SOPS 52898 HAS SOUS 47864 HAS SOUPS 47864 WITH SCORE 47916.898
AT ITER 4287 NEW BEST:: SOT 240293 SOS 52898 HAS SOPS 52898 HAS SOUS 47863 HAS SOUPS 47863 WITH SCORE 47915.898
AT ITER 4289 NEW BEST:: SOT 240290 SOS 52892 HAS SOPS 52892 HAS SOUS 47834 HAS SOUPS 47834 WITH SCORE 47886.892
AT ITER 4291 NEW BEST:: SOT 240274 SOS 52876 HAS SOPS 52876 HAS SOUS 47802 HAS SOUPS 47802 WITH SCORE 47854.876
AT ITER 4294 NEW BEST:: SOT 240274 SOS 52672 HAS SOPS 52672 HAS SOUS 47700 HAS SOUPS 47700 WITH SCORE 47752.672
AT ITER 4320 NEW BEST:: SOT 240311 SOS 52746 HAS SOPS 52746 HAS SOUS 47679 HAS SOUPS 47679 WITH SCORE 47731.746
AT ITER 4349 NEW BEST:: SOT 240319 SOS 52762 HAS SOPS 52762 HAS SOUS 47661 HAS SOUPS 47661 WITH SCORE 47713.762
AT ITER 4375 NEW BEST:: SOT 240267 SOS 52658 HAS SOPS 52658 HAS SOUS 47615 HAS SOUPS 47615 WITH SCORE 47667.658
AT ITER 4401 NEW BEST:: SOT 240263 SOS 52650 HAS SOPS 52650 HAS SOUS 47607 HAS SOUPS 47607 WITH SCORE 47659.65
AT ITER 4402 NEW BEST:: SOT 240276 SOS 52582 HAS SOPS 52582 HAS SOUS 47586 HAS SOUPS 47586 WITH SCORE 47638.582
AT ITER 4413 NEW BEST:: SOT 240276 SOS 52579 HAS SOPS 52579 HAS SOUS 47583 HAS SOUPS 47583 WITH SCORE 47635.579
AT ITER 4444 NEW BEST:: SOT 240277 SOS 52499 HAS SOPS 52499 HAS SOUS 47571 HAS SOUPS 47571 WITH SCORE 47623.499
AT ITER 4497 NEW BEST:: SOT 240277 SOS 52499 HAS SOPS 52499 HAS SOUS 47532 HAS SOUPS 47532 WITH SCORE 47584.499
AT ITER 4550 NEW BEST:: SOT 240277 SOS 52462 HAS SOPS 52462 HAS SOUS 47532 HAS SOUPS 47532 WITH SCORE 47584.462
AT ITER 4565 NEW BEST:: SOT 240265 SOS 52450 HAS SOPS 52450 HAS SOUS 47520 HAS SOUPS 47520 WITH SCORE 47572.45
AT ITER 4588 NEW BEST:: SOT 240265 SOS 52450 HAS SOPS 52450 HAS SOUS 47464 HAS SOUPS 47464 WITH SCORE 47516.45
AT ITER 4638 NEW BEST:: SOT 240265 SOS 52368 HAS SOPS 52368 HAS SOUS 47464 HAS SOUPS 47464 WITH SCORE 47516.368
AT ITER 4645 NEW BEST:: SOT 240086 SOS 53098 HAS SOPS 53098 HAS SOUS 47268 HAS SOUPS 47268 WITH SCORE 47321.098
AT ITER 4667 NEW BEST:: SOT 240086 SOS 53098 HAS SOPS 53098 HAS SOUS 47257 HAS SOUPS 47257 WITH SCORE 47310.098
AT ITER 4671 NEW BEST:: SOT 240073 SOS 53072 HAS SOPS 53072 HAS SOUS 47231 HAS SOUPS 47231 WITH SCORE 47284.072
AT ITER 4689 NEW BEST:: SOT 240073 SOS 53051 HAS SOPS 53051 HAS SOUS 47210 HAS SOUPS 47210 WITH SCORE 47263.051
AT ITER 4706 NEW BEST:: SOT 239994 SOS 52985 HAS SOPS 52985 HAS SOUS 47144 HAS SOUPS 47144 WITH SCORE 47196.985
AT ITER 4718 NEW BEST:: SOT 239949 SOS 52953 HAS SOPS 52953 HAS SOUS 47100 HAS SOUPS 47100 WITH SCORE 47152.953
AT ITER 4739 NEW BEST:: SOT 239949 SOS 52893 HAS SOPS 52893 HAS SOUS 47040 HAS SOUPS 47040 WITH SCORE 47092.893
AT ITER 4758 NEW BEST:: SOT 239949 SOS 52755 HAS SOPS 52755 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47008.755
AT ITER 4759 NEW BEST:: SOT 239943 SOS 52731 HAS SOPS 52731 HAS SOUS 46950 HAS SOUPS 46950 WITH SCORE 47002.731
AT ITER 4775 NEW BEST:: SOT 239964 SOS 52711 HAS SOPS 52711 HAS SOUS 46940 HAS SOUPS 46940 WITH SCORE 46992.711
AT ITER 4802 NEW BEST:: SOT 239985 SOS 52695 HAS SOPS 52695 HAS SOUS 46932 HAS SOUPS 46932 WITH SCORE 46984.695
AT ITER 4805 NEW BEST:: SOT 239969 SOS 52687 HAS SOPS 52687 HAS SOUS 46924 HAS SOUPS 46924 WITH SCORE 46976.687
AT ITER 4844 NEW BEST:: SOT 239969 SOS 52677 HAS SOPS 52677 HAS SOUS 46919 HAS SOUPS 46919 WITH SCORE 46971.677
AT ITER 4857 NEW BEST:: SOT 239964 SOS 52667 HAS SOPS 52667 HAS SOUS 46909 HAS SOUPS 46909 WITH SCORE 46961.667
AT ITER 4882 NEW BEST:: SOT 239958 SOS 52655 HAS SOPS 52655 HAS SOUS 46897 HAS SOUPS 46897 WITH SCORE 46949.655
AT ITER 4918 NEW BEST:: SOT 239949 SOS 52637 HAS SOPS 52637 HAS SOUS 46879 HAS SOUPS 46879 WITH SCORE 46931.637
AT ITER 4927 NEW BEST:: SOT 239974 SOS 52632 HAS SOPS 52632 HAS SOUS 46874 HAS SOUPS 46874 WITH SCORE 46926.632
AT ITER 4949 NEW BEST:: SOT 239974 SOS 52632 HAS SOPS 52632 HAS SOUS 46868 HAS SOUPS 46868 WITH SCORE 46920.632
AT ITER 5017 NEW BEST:: SOT 239973 SOS 52630 HAS SOPS 52630 HAS SOUS 46866 HAS SOUPS 46866 WITH SCORE 46918.63
AT ITER 5020 NEW BEST:: SOT 239934 SOS 52583 HAS SOPS 52583 HAS SOUS 46819 HAS SOUPS 46819 WITH SCORE 46871.583
AT ITER 5034 NEW BEST:: SOT 239931 SOS 52577 HAS SOPS 52577 HAS SOUS 46815 HAS SOUPS 46815 WITH SCORE 46867.577
AT ITER 5042 NEW BEST:: SOT 239928 SOS 52571 HAS SOPS 52571 HAS SOUS 46763 HAS SOUPS 46763 WITH SCORE 46815.571
AT ITER 5043 NEW BEST:: SOT 239932 SOS 52570 HAS SOPS 52570 HAS SOUS 46762 HAS SOUPS 46762 WITH SCORE 46814.57
AT ITER 5082 NEW BEST:: SOT 239920 SOS 52546 HAS SOPS 52546 HAS SOUS 46738 HAS SOUPS 46738 WITH SCORE 46790.546
AT ITER 5131 NEW BEST:: SOT 239885 SOS 52476 HAS SOPS 52476 HAS SOUS 46668 HAS SOUPS 46668 WITH SCORE 46720.476
AT ITER 5133 NEW BEST:: SOT 239879 SOS 52464 HAS SOPS 52464 HAS SOUS 46656 HAS SOUPS 46656 WITH SCORE 46708.464
AT ITER 5167 NEW BEST:: SOT 239873 SOS 52458 HAS SOPS 52458 HAS SOUS 46650 HAS SOUPS 46650 WITH SCORE 46702.458
AT ITER 5169 NEW BEST:: SOT 239860 SOS 52432 HAS SOPS 52432 HAS SOUS 46624 HAS SOUPS 46624 WITH SCORE 46676.432
AT ITER 5186 NEW BEST:: SOT 239874 SOS 52362 HAS SOPS 52362 HAS SOUS 46603 HAS SOUPS 46603 WITH SCORE 46655.362
AT ITER 5190 NEW BEST:: SOT 239873 SOS 52360 HAS SOPS 52360 HAS SOUS 46601 HAS SOUPS 46601 WITH SCORE 46653.36
AT ITER 5218 NEW BEST:: SOT 239820 SOS 52314 HAS SOPS 52314 HAS SOUS 46525 HAS SOUPS 46525 WITH SCORE 46577.314
AT ITER 5222 NEW BEST:: SOT 239820 SOS 52288 HAS SOPS 52288 HAS SOUS 46499 HAS SOUPS 46499 WITH SCORE 46551.288
AT ITER 5231 NEW BEST:: SOT 239808 SOS 52264 HAS SOPS 52264 HAS SOUS 46475 HAS SOUPS 46475 WITH SCORE 46527.264
AT ITER 5232 NEW BEST:: SOT 239728 SOS 52227 HAS SOPS 52227 HAS SOUS 46423 HAS SOUPS 46423 WITH SCORE 46475.227
AT ITER 5239 NEW BEST:: SOT 239728 SOS 52227 HAS SOPS 52227 HAS SOUS 46417 HAS SOUPS 46417 WITH SCORE 46469.227
AT ITER 5240 NEW BEST:: SOT 239603 SOS 52134 HAS SOPS 52134 HAS SOUS 46321 HAS SOUPS 46321 WITH SCORE 46373.134
AT ITER 5241 NEW BEST:: SOT 239627 SOS 52038 HAS SOPS 52038 HAS SOUS 46273 HAS SOUPS 46273 WITH SCORE 46325.038
AT ITER 5271 NEW BEST:: SOT 239605 SOS 51952 HAS SOPS 51952 HAS SOUS 46229 HAS SOUPS 46229 WITH SCORE 46280.952
AT ITER 5300 NEW BEST:: SOT 239533 SOS 52260 HAS SOPS 52260 HAS SOUS 46165 HAS SOUPS 46165 WITH SCORE 46217.26
AT ITER 5312 NEW BEST:: SOT 239513 SOS 52242 HAS SOPS 52242 HAS SOUS 46145 HAS SOUPS 46145 WITH SCORE 46197.242
AT ITER 5325 NEW BEST:: SOT 239489 SOS 52420 HAS SOPS 52420 HAS SOUS 46121 HAS SOUPS 46121 WITH SCORE 46173.42
AT ITER 5335 NEW BEST:: SOT 239497 SOS 52405 HAS SOPS 52405 HAS SOUS 46106 HAS SOUPS 46106 WITH SCORE 46158.405
AT ITER 5376 NEW BEST:: SOT 239472 SOS 52355 HAS SOPS 52355 HAS SOUS 46056 HAS SOUPS 46056 WITH SCORE 46108.355
AT ITER 5521 NEW BEST:: SOT 239453 SOS 52353 HAS SOPS 52353 HAS SOUS 46054 HAS SOUPS 46054 WITH SCORE 46106.353
AT ITER 5528 NEW BEST:: SOT 239535 SOS 52347 HAS SOPS 52347 HAS SOUS 46051 HAS SOUPS 46051 WITH SCORE 46103.347
AT ITER 5537 NEW BEST:: SOT 239531 SOS 52339 HAS SOPS 52339 HAS SOUS 46043 HAS SOUPS 46043 WITH SCORE 46095.339
AT ITER 5588 NEW BEST:: SOT 239483 SOS 52267 HAS SOPS 52267 HAS SOUS 45924 HAS SOUPS 45924 WITH SCORE 45976.267
AT ITER 5589 NEW BEST:: SOT 239473 SOS 52247 HAS SOPS 52247 HAS SOUS 45904 HAS SOUPS 45904 WITH SCORE 45956.247
AT ITER 5593 NEW BEST:: SOT 239433 SOS 52207 HAS SOPS 52207 HAS SOUS 45894 HAS SOUPS 45894 WITH SCORE 45946.207
AT ITER 5612 NEW BEST:: SOT 239356 SOS 52557 HAS SOPS 52557 HAS SOUS 45835 HAS SOUPS 45835 WITH SCORE 45887.557
AT ITER 5661 NEW BEST:: SOT 239345 SOS 52548 HAS SOPS 52548 HAS SOUS 45813 HAS SOUPS 45813 WITH SCORE 45865.548
AT ITER 5670 NEW BEST:: SOT 239334 SOS 52568 HAS SOPS 52568 HAS SOUS 45812 HAS SOUPS 45812 WITH SCORE 45864.568
AT ITER 5693 NEW BEST:: SOT 239400 SOS 52388 HAS SOPS 52388 HAS SOUS 45788 HAS SOUPS 45788 WITH SCORE 45840.388
AT ITER 5697 NEW BEST:: SOT 239397 SOS 52382 HAS SOPS 52382 HAS SOUS 45782 HAS SOUPS 45782 WITH SCORE 45834.382
AT ITER 5702 NEW BEST:: SOT 239403 SOS 52362 HAS SOPS 52362 HAS SOUS 45768 HAS SOUPS 45768 WITH SCORE 45820.362
AT ITER 5766 NEW BEST:: SOT 239436 SOS 52300 HAS SOPS 52300 HAS SOUS 45737 HAS SOUPS 45737 WITH SCORE 45789.3
AT ITER 5820 NEW BEST:: SOT 239432 SOS 52292 HAS SOPS 52292 HAS SOUS 45729 HAS SOUPS 45729 WITH SCORE 45781.292
AT ITER 5830 NEW BEST:: SOT 239401 SOS 52237 HAS SOPS 52237 HAS SOUS 45674 HAS SOUPS 45674 WITH SCORE 45726.237
AT ITER 5846 NEW BEST:: SOT 239397 SOS 52229 HAS SOPS 52229 HAS SOUS 45666 HAS SOUPS 45666 WITH SCORE 45718.229
AT ITER 5913 NEW BEST:: SOT 239386 SOS 52207 HAS SOPS 52207 HAS SOUS 45644 HAS SOUPS 45644 WITH SCORE 45696.207
AT ITER 5924 NEW BEST:: SOT 239369 SOS 52297 HAS SOPS 52297 HAS SOUS 45627 HAS SOUPS 45627 WITH SCORE 45679.297
AT ITER 5939 NEW BEST:: SOT 239366 SOS 52291 HAS SOPS 52291 HAS SOUS 45613 HAS SOUPS 45613 WITH SCORE 45665.291
AT ITER 5970 NEW BEST:: SOT 239365 SOS 52287 HAS SOPS 52287 HAS SOUS 45609 HAS SOUPS 45609 WITH SCORE 45661.287
AT ITER 5971 NEW BEST:: SOT 239364 SOS 52284 HAS SOPS 52284 HAS SOUS 45606 HAS SOUPS 45606 WITH SCORE 45658.284
AT ITER 5988 NEW BEST:: SOT 239349 SOS 52283 HAS SOPS 52283 HAS SOUS 45605 HAS SOUPS 45605 WITH SCORE 45657.283
AT ITER 6009 NEW BEST:: SOT 239348 SOS 52281 HAS SOPS 52281 HAS SOUS 45604 HAS SOUPS 45604 WITH SCORE 45656.281
AT ITER 6019 NEW BEST:: SOT 239380 SOS 52251 HAS SOPS 52251 HAS SOUS 45566 HAS SOUPS 45566 WITH SCORE 45618.251
AT ITER 6055 NEW BEST:: SOT 239386 SOS 52263 HAS SOPS 52263 HAS SOUS 45555 HAS SOUPS 45555 WITH SCORE 45607.263
AT ITER 6094 NEW BEST:: SOT 239376 SOS 52243 HAS SOPS 52243 HAS SOUS 45548 HAS SOUPS 45548 WITH SCORE 45600.243
AT ITER 6105 NEW BEST:: SOT 239407 SOS 52227 HAS SOPS 52227 HAS SOUS 45540 HAS SOUPS 45540 WITH SCORE 45592.227
AT ITER 6140 NEW BEST:: SOT 239402 SOS 52217 HAS SOPS 52217 HAS SOUS 45530 HAS SOUPS 45530 WITH SCORE 45582.217
AT ITER 6208 NEW BEST:: SOT 239402 SOS 52199 HAS SOPS 52199 HAS SOUS 45530 HAS SOUPS 45530 WITH SCORE 45582.199
AT ITER 6222 NEW BEST:: SOT 239402 SOS 52199 HAS SOPS 52199 HAS SOUS 45523 HAS SOUPS 45523 WITH SCORE 45575.199
AT ITER 6238 NEW BEST:: SOT 239402 SOS 52196 HAS SOPS 52196 HAS SOUS 45520 HAS SOUPS 45520 WITH SCORE 45572.196
AT ITER 6239 NEW BEST:: SOT 239402 SOS 52196 HAS SOPS 52196 HAS SOUS 45511 HAS SOUPS 45511 WITH SCORE 45563.196
AT ITER 6245 NEW BEST:: SOT 239299 SOS 52168 HAS SOPS 52168 HAS SOUS 45428 HAS SOUPS 45428 WITH SCORE 45480.168
AT ITER 6266 NEW BEST:: SOT 239299 SOS 52168 HAS SOPS 52168 HAS SOUS 45427 HAS SOUPS 45427 WITH SCORE 45479.168
AT ITER 6280 NEW BEST:: SOT 239315 SOS 52163 HAS SOPS 52163 HAS SOUS 45422 HAS SOUPS 45422 WITH SCORE 45474.163
AT ITER 6291 NEW BEST:: SOT 239315 SOS 52163 HAS SOPS 52163 HAS SOUS 45415 HAS SOUPS 45415 WITH SCORE 45467.163
AT ITER 6352 NEW BEST:: SOT 239261 SOS 52161 HAS SOPS 52161 HAS SOUS 45413 HAS SOUPS 45413 WITH SCORE 45465.161
AT ITER 6375 NEW BEST:: SOT 239255 SOS 52149 HAS SOPS 52149 HAS SOUS 45401 HAS SOUPS 45401 WITH SCORE 45453.149
AT ITER 6392 NEW BEST:: SOT 239255 SOS 52097 HAS SOPS 52097 HAS SOUS 45400 HAS SOUPS 45400 WITH SCORE 45452.097
AT ITER 6409 NEW BEST:: SOT 239250 SOS 52087 HAS SOPS 52087 HAS SOUS 45390 HAS SOUPS 45390 WITH SCORE 45442.087
AT ITER 6428 NEW BEST:: SOT 239250 SOS 52062 HAS SOPS 52062 HAS SOUS 45390 HAS SOUPS 45390 WITH SCORE 45442.062
AT ITER 6478 NEW BEST:: SOT 239249 SOS 52026 HAS SOPS 52026 HAS SOUS 45388 HAS SOUPS 45388 WITH SCORE 45440.026
AT ITER 6485 NEW BEST:: SOT 239247 SOS 52022 HAS SOPS 52022 HAS SOUS 45384 HAS SOUPS 45384 WITH SCORE 45436.022
AT ITER 6493 NEW BEST:: SOT 239311 SOS 51954 HAS SOPS 51954 HAS SOUS 45316 HAS SOUPS 45316 WITH SCORE 45367.954
AT ITER 6527 NEW BEST:: SOT 239311 SOS 51930 HAS SOPS 51930 HAS SOUS 45292 HAS SOUPS 45292 WITH SCORE 45343.93
AT ITER 6542 NEW BEST:: SOT 239227 SOS 51762 HAS SOPS 51762 HAS SOUS 45247 HAS SOUPS 45247 WITH SCORE 45298.762
AT ITER 6578 NEW BEST:: SOT 239218 SOS 51744 HAS SOPS 51744 HAS SOUS 45220 HAS SOUPS 45220 WITH SCORE 45271.744
AT ITER 6640 NEW BEST:: SOT 239221 SOS 51738 HAS SOPS 51738 HAS SOUS 45214 HAS SOUPS 45214 WITH SCORE 45265.738
AT ITER 6659 NEW BEST:: SOT 239218 SOS 51735 HAS SOPS 51735 HAS SOUS 45211 HAS SOUPS 45211 WITH SCORE 45262.735
AT ITER 6661 NEW BEST:: SOT 239205 SOS 51709 HAS SOPS 51709 HAS SOUS 45198 HAS SOUPS 45198 WITH SCORE 45249.709
AT ITER 6666 NEW BEST:: SOT 239205 SOS 51709 HAS SOPS 51709 HAS SOUS 45181 HAS SOUPS 45181 WITH SCORE 45232.709
AT ITER 6702 NEW BEST:: SOT 239197 SOS 51700 HAS SOPS 51700 HAS SOUS 45165 HAS SOUPS 45165 WITH SCORE 45216.7
AT ITER 6747 NEW BEST:: SOT 239197 SOS 51700 HAS SOPS 51700 HAS SOUS 45154 HAS SOUPS 45154 WITH SCORE 45205.7
AT ITER 6749 NEW BEST:: SOT 239196 SOS 51699 HAS SOPS 51699 HAS SOUS 45153 HAS SOUPS 45153 WITH SCORE 45204.699
AT ITER 6763 NEW BEST:: SOT 239204 SOS 51698 HAS SOPS 51698 HAS SOUS 45152 HAS SOUPS 45152 WITH SCORE 45203.698
AT ITER 6787 NEW BEST:: SOT 239194 SOS 51678 HAS SOPS 51678 HAS SOUS 45132 HAS SOUPS 45132 WITH SCORE 45183.678
AT ITER 6799 NEW BEST:: SOT 239194 SOS 51674 HAS SOPS 51674 HAS SOUS 45128 HAS SOUPS 45128 WITH SCORE 45179.674
AT ITER 6880 NEW BEST:: SOT 239194 SOS 51558 HAS SOPS 51558 HAS SOUS 45070 HAS SOUPS 45070 WITH SCORE 45121.558
AT ITER 6899 NEW BEST:: SOT 239186 SOS 51542 HAS SOPS 51542 HAS SOUS 45054 HAS SOUPS 45054 WITH SCORE 45105.542
AT ITER 6924 NEW BEST:: SOT 239157 SOS 51503 HAS SOPS 51503 HAS SOUS 45015 HAS SOUPS 45015 WITH SCORE 45066.503
AT ITER 6956 NEW BEST:: SOT 239157 SOS 51503 HAS SOPS 51503 HAS SOUS 45014 HAS SOUPS 45014 WITH SCORE 45065.503
AT ITER 7021 NEW BEST:: SOT 239144 SOS 51480 HAS SOPS 51480 HAS SOUS 44991 HAS SOUPS 44991 WITH SCORE 45042.48
AT ITER 7034 NEW BEST:: SOT 239144 SOS 51473 HAS SOPS 51473 HAS SOUS 44984 HAS SOUPS 44984 WITH SCORE 45035.473
AT ITER 7066 NEW BEST:: SOT 239129 SOS 51443 HAS SOPS 51443 HAS SOUS 44954 HAS SOUPS 44954 WITH SCORE 45005.443
AT ITER 7088 NEW BEST:: SOT 239128 SOS 51441 HAS SOPS 51441 HAS SOUS 44952 HAS SOUPS 44952 WITH SCORE 45003.441
AT ITER 7096 NEW BEST:: SOT 239048 SOS 51281 HAS SOPS 51281 HAS SOUS 44792 HAS SOUPS 44792 WITH SCORE 44843.281
AT ITER 7111 NEW BEST:: SOT 239049 SOS 51279 HAS SOPS 51279 HAS SOUS 44790 HAS SOUPS 44790 WITH SCORE 44841.279
AT ITER 7123 NEW BEST:: SOT 239049 SOS 51279 HAS SOPS 51279 HAS SOUS 44782 HAS SOUPS 44782 WITH SCORE 44833.279
AT ITER 7175 NEW BEST:: SOT 239036 SOS 51253 HAS SOPS 51253 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44807.253
AT ITER 7223 NEW BEST:: SOT 239030 SOS 51241 HAS SOPS 51241 HAS SOUS 44744 HAS SOUPS 44744 WITH SCORE 44795.241
AT ITER 7268 NEW BEST:: SOT 239021 SOS 51223 HAS SOPS 51223 HAS SOUS 44726 HAS SOUPS 44726 WITH SCORE 44777.223
AT ITER 7273 NEW BEST:: SOT 238990 SOS 51161 HAS SOPS 51161 HAS SOUS 44664 HAS SOUPS 44664 WITH SCORE 44715.161
AT ITER 7309 NEW BEST:: SOT 238889 SOS 50997 HAS SOPS 50997 HAS SOUS 44586 HAS SOUPS 44586 WITH SCORE 44636.997
AT ITER 7353 NEW BEST:: SOT 238885 SOS 50989 HAS SOPS 50989 HAS SOUS 44578 HAS SOUPS 44578 WITH SCORE 44628.989
AT ITER 7378 NEW BEST:: SOT 238877 SOS 50981 HAS SOPS 50981 HAS SOUS 44570 HAS SOUPS 44570 WITH SCORE 44620.981
AT ITER 7394 NEW BEST:: SOT 238877 SOS 50773 HAS SOPS 50773 HAS SOUS 44570 HAS SOUPS 44570 WITH SCORE 44620.773
AT ITER 7399 NEW BEST:: SOT 238877 SOS 50773 HAS SOPS 50773 HAS SOUS 44568 HAS SOUPS 44568 WITH SCORE 44618.773
AT ITER 7426 NEW BEST:: SOT 238867 SOS 50753 HAS SOPS 50753 HAS SOUS 44406 HAS SOUPS 44406 WITH SCORE 44456.753
AT ITER 7431 NEW BEST:: SOT 238777 SOS 50688 HAS SOPS 50688 HAS SOUS 44401 HAS SOUPS 44401 WITH SCORE 44451.688
AT ITER 7455 NEW BEST:: SOT 238647 SOS 50577 HAS SOPS 50577 HAS SOUS 44350 HAS SOUPS 44350 WITH SCORE 44400.577
AT ITER 7463 NEW BEST:: SOT 238634 SOS 50519 HAS SOPS 50519 HAS SOUS 44324 HAS SOUPS 44324 WITH SCORE 44374.519
AT ITER 7468 NEW BEST:: SOT 238633 SOS 50531 HAS SOPS 50531 HAS SOUS 44322 HAS SOUPS 44322 WITH SCORE 44372.531
AT ITER 7481 NEW BEST:: SOT 238625 SOS 50531 HAS SOPS 50531 HAS SOUS 44314 HAS SOUPS 44314 WITH SCORE 44364.531
AT ITER 7507 NEW BEST:: SOT 238590 SOS 50481 HAS SOPS 50481 HAS SOUS 44264 HAS SOUPS 44264 WITH SCORE 44314.481
AT ITER 7510 NEW BEST:: SOT 238590 SOS 50438 HAS SOPS 50438 HAS SOUS 44214 HAS SOUPS 44214 WITH SCORE 44264.438
AT ITER 7525 NEW BEST:: SOT 238577 SOS 50412 HAS SOPS 50412 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44251.412
AT ITER 7561 NEW BEST:: SOT 238577 SOS 50404 HAS SOPS 50404 HAS SOUS 44197 HAS SOUPS 44197 WITH SCORE 44247.404
AT ITER 7624 NEW BEST:: SOT 238569 SOS 50388 HAS SOPS 50388 HAS SOUS 44180 HAS SOUPS 44180 WITH SCORE 44230.388
AT ITER 7726 NEW BEST:: SOT 238546 SOS 50272 HAS SOPS 50272 HAS SOUS 44151 HAS SOUPS 44151 WITH SCORE 44201.272
AT ITER 7764 NEW BEST:: SOT 238553 SOS 50232 HAS SOPS 50232 HAS SOUS 44151 HAS SOUPS 44151 WITH SCORE 44201.232
AT ITER 7794 NEW BEST:: SOT 238546 SOS 50218 HAS SOPS 50218 HAS SOUS 44144 HAS SOUPS 44144 WITH SCORE 44194.218
AT ITER 7795 NEW BEST:: SOT 238539 SOS 50204 HAS SOPS 50204 HAS SOUS 44119 HAS SOUPS 44119 WITH SCORE 44169.204
AT ITER 7804 NEW BEST:: SOT 238537 SOS 50200 HAS SOPS 50200 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44165.2
AT ITER 7828 NEW BEST:: SOT 238505 SOS 50168 HAS SOPS 50168 HAS SOUS 44051 HAS SOUPS 44051 WITH SCORE 44101.168
AT ITER 7834 NEW BEST:: SOT 238482 SOS 50178 HAS SOPS 50178 HAS SOUS 44005 HAS SOUPS 44005 WITH SCORE 44055.178
AT ITER 7873 NEW BEST:: SOT 238468 SOS 50150 HAS SOPS 50150 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44046.15
AT ITER 7890 NEW BEST:: SOT 238464 SOS 50142 HAS SOPS 50142 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44038.142
AT ITER 7919 NEW BEST:: SOT 238470 SOS 50122 HAS SOPS 50122 HAS SOUS 43984 HAS SOUPS 43984 WITH SCORE 44034.122
AT ITER 7975 NEW BEST:: SOT 238442 SOS 50094 HAS SOPS 50094 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 43992.094
AT ITER 8079 NEW BEST:: SOT 238412 SOS 50064 HAS SOPS 50064 HAS SOUS 43881 HAS SOUPS 43881 WITH SCORE 43931.064
AT ITER 8141 NEW BEST:: SOT 238420 SOS 50072 HAS SOPS 50072 HAS SOUS 43877 HAS SOUPS 43877 WITH SCORE 43927.072
AT ITER 8173 NEW BEST:: SOT 238424 SOS 50022 HAS SOPS 50022 HAS SOUS 43852 HAS SOUPS 43852 WITH SCORE 43902.022
AT ITER 8196 NEW BEST:: SOT 238422 SOS 49903 HAS SOPS 49903 HAS SOUS 43848 HAS SOUPS 43848 WITH SCORE 43897.903
AT ITER 8217 NEW BEST:: SOT 238422 SOS 49881 HAS SOPS 49881 HAS SOUS 43837 HAS SOUPS 43837 WITH SCORE 43886.881
AT ITER 8230 NEW BEST:: SOT 238422 SOS 49881 HAS SOPS 49881 HAS SOUS 43836 HAS SOUPS 43836 WITH SCORE 43885.881
AT ITER 8238 NEW BEST:: SOT 238407 SOS 49851 HAS SOPS 49851 HAS SOUS 43813 HAS SOUPS 43813 WITH SCORE 43862.851
AT ITER 8244 NEW BEST:: SOT 238405 SOS 49847 HAS SOPS 49847 HAS SOUS 43809 HAS SOUPS 43809 WITH SCORE 43858.847
AT ITER 8247 NEW BEST:: SOT 238398 SOS 49840 HAS SOPS 49840 HAS SOUS 43802 HAS SOUPS 43802 WITH SCORE 43851.84
AT ITER 8284 NEW BEST:: SOT 238384 SOS 49839 HAS SOPS 49839 HAS SOUS 43801 HAS SOUPS 43801 WITH SCORE 43850.839
AT ITER 8306 NEW BEST:: SOT 238385 SOS 49789 HAS SOPS 49789 HAS SOUS 43751 HAS SOUPS 43751 WITH SCORE 43800.789
AT ITER 8325 NEW BEST:: SOT 238364 SOS 49747 HAS SOPS 49747 HAS SOUS 43730 HAS SOUPS 43730 WITH SCORE 43779.747
AT ITER 8327 NEW BEST:: SOT 238360 SOS 49739 HAS SOPS 49739 HAS SOUS 43722 HAS SOUPS 43722 WITH SCORE 43771.739
AT ITER 8444 NEW BEST:: SOT 238377 SOS 49730 HAS SOPS 49730 HAS SOUS 43718 HAS SOUPS 43718 WITH SCORE 43767.73
AT ITER 8470 NEW BEST:: SOT 238349 SOS 49674 HAS SOPS 49674 HAS SOUS 43662 HAS SOUPS 43662 WITH SCORE 43711.674
AT ITER 8580 NEW BEST:: SOT 238346 SOS 49668 HAS SOPS 49668 HAS SOUS 43639 HAS SOUPS 43639 WITH SCORE 43688.668
AT ITER 8609 NEW BEST:: SOT 238346 SOS 49616 HAS SOPS 49616 HAS SOUS 43613 HAS SOUPS 43613 WITH SCORE 43662.616
AT ITER 8610 NEW BEST:: SOT 238337 SOS 49569 HAS SOPS 49569 HAS SOUS 43595 HAS SOUPS 43595 WITH SCORE 43644.569
AT ITER 8629 NEW BEST:: SOT 238409 SOS 49566 HAS SOPS 49566 HAS SOUS 43592 HAS SOUPS 43592 WITH SCORE 43641.566
AT ITER 8644 NEW BEST:: SOT 238406 SOS 49560 HAS SOPS 49560 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43635.56
AT ITER 8648 NEW BEST:: SOT 238396 SOS 49540 HAS SOPS 49540 HAS SOUS 43576 HAS SOUPS 43576 WITH SCORE 43625.54
AT ITER 8747 NEW BEST:: SOT 238389 SOS 49526 HAS SOPS 49526 HAS SOUS 43569 HAS SOUPS 43569 WITH SCORE 43618.526
AT ITER 8765 NEW BEST:: SOT 238371 SOS 49536 HAS SOPS 49536 HAS SOUS 43560 HAS SOUPS 43560 WITH SCORE 43609.536
AT ITER 8807 NEW BEST:: SOT 238348 SOS 49490 HAS SOPS 49490 HAS SOUS 43514 HAS SOUPS 43514 WITH SCORE 43563.49
AT ITER 8821 NEW BEST:: SOT 238348 SOS 49426 HAS SOPS 49426 HAS SOUS 43482 HAS SOUPS 43482 WITH SCORE 43531.426
AT ITER 8822 NEW BEST:: SOT 238364 SOS 49354 HAS SOPS 49354 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43512.354
AT ITER 8918 NEW BEST:: SOT 238363 SOS 49352 HAS SOPS 49352 HAS SOUS 43461 HAS SOUPS 43461 WITH SCORE 43510.352
AT ITER 8923 NEW BEST:: SOT 238349 SOS 49338 HAS SOPS 49338 HAS SOUS 43445 HAS SOUPS 43445 WITH SCORE 43494.338
AT ITER 8945 NEW BEST:: SOT 238315 SOS 49197 HAS SOPS 49197 HAS SOUS 43377 HAS SOUPS 43377 WITH SCORE 43426.197
AT ITER 8964 NEW BEST:: SOT 238295 SOS 49235 HAS SOPS 49235 HAS SOUS 43376 HAS SOUPS 43376 WITH SCORE 43425.235
AT ITER 8970 NEW BEST:: SOT 238252 SOS 49149 HAS SOPS 49149 HAS SOUS 43290 HAS SOUPS 43290 WITH SCORE 43339.149
AT ITER 8975 NEW BEST:: SOT 238252 SOS 49149 HAS SOPS 49149 HAS SOUS 43284 HAS SOUPS 43284 WITH SCORE 43333.149
AT ITER 8978 NEW BEST:: SOT 238238 SOS 49121 HAS SOPS 49121 HAS SOUS 43256 HAS SOUPS 43256 WITH SCORE 43305.121
AT ITER 9004 NEW BEST:: SOT 238238 SOS 49121 HAS SOPS 49121 HAS SOUS 43249 HAS SOUPS 43249 WITH SCORE 43298.121
AT ITER 9019 NEW BEST:: SOT 238232 SOS 49109 HAS SOPS 49109 HAS SOUS 43237 HAS SOUPS 43237 WITH SCORE 43286.109
AT ITER 9039 NEW BEST:: SOT 238218 SOS 49081 HAS SOPS 49081 HAS SOUS 43209 HAS SOUPS 43209 WITH SCORE 43258.081
AT ITER 9056 NEW BEST:: SOT 238201 SOS 49047 HAS SOPS 49047 HAS SOUS 43192 HAS SOUPS 43192 WITH SCORE 43241.047
AT ITER 9071 NEW BEST:: SOT 238129 SOS 49896 HAS SOPS 49896 HAS SOUS 43181 HAS SOUPS 43181 WITH SCORE 43230.896
AT ITER 9076 NEW BEST:: SOT 238120 SOS 49878 HAS SOPS 49878 HAS SOUS 43163 HAS SOUPS 43163 WITH SCORE 43212.878
AT ITER 9155 NEW BEST:: SOT 238118 SOS 49874 HAS SOPS 49874 HAS SOUS 43159 HAS SOUPS 43159 WITH SCORE 43208.874
AT ITER 9165 NEW BEST:: SOT 238109 SOS 49856 HAS SOPS 49856 HAS SOUS 43141 HAS SOUPS 43141 WITH SCORE 43190.856
AT ITER 9224 NEW BEST:: SOT 238125 SOS 49762 HAS SOPS 49762 HAS SOUS 43110 HAS SOUPS 43110 WITH SCORE 43159.762
AT ITER 9227 NEW BEST:: SOT 238127 SOS 49734 HAS SOPS 49734 HAS SOUS 43098 HAS SOUPS 43098 WITH SCORE 43147.734
AT ITER 9253 NEW BEST:: SOT 238122 SOS 49734 HAS SOPS 49734 HAS SOUS 43093 HAS SOUPS 43093 WITH SCORE 43142.734
AT ITER 9267 NEW BEST:: SOT 238116 SOS 49722 HAS SOPS 49722 HAS SOUS 43081 HAS SOUPS 43081 WITH SCORE 43130.722
AT ITER 9290 NEW BEST:: SOT 238114 SOS 49724 HAS SOPS 49724 HAS SOUS 43077 HAS SOUPS 43077 WITH SCORE 43126.724
AT ITER 9307 NEW BEST:: SOT 238059 SOS 49658 HAS SOPS 49658 HAS SOUS 43004 HAS SOUPS 43004 WITH SCORE 43053.658
AT ITER 9331 NEW BEST:: SOT 238077 SOS 49648 HAS SOPS 49648 HAS SOUS 42994 HAS SOUPS 42994 WITH SCORE 43043.648
AT ITER 9372 NEW BEST:: SOT 238119 SOS 49641 HAS SOPS 49641 HAS SOUS 42987 HAS SOUPS 42987 WITH SCORE 43036.641
AT ITER 9503 NEW BEST:: SOT 238119 SOS 49623 HAS SOPS 49623 HAS SOUS 42987 HAS SOUPS 42987 WITH SCORE 43036.623
AT ITER 9507 NEW BEST:: SOT 238166 SOS 49519 HAS SOPS 49519 HAS SOUS 42982 HAS SOUPS 42982 WITH SCORE 43031.519
AT ITER 9558 NEW BEST:: SOT 238232 SOS 49539 HAS SOPS 49539 HAS SOUS 42962 HAS SOUPS 42962 WITH SCORE 43011.539
AT ITER 9612 NEW BEST:: SOT 238225 SOS 49530 HAS SOPS 49530 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43002.53
AT ITER 9632 NEW BEST:: SOT 238215 SOS 49510 HAS SOPS 49510 HAS SOUS 42933 HAS SOUPS 42933 WITH SCORE 42982.51
AT ITER 9649 NEW BEST:: SOT 238198 SOS 49515 HAS SOPS 49515 HAS SOUS 42899 HAS SOUPS 42899 WITH SCORE 42948.515
AT ITER 9659 NEW BEST:: SOT 238198 SOS 49483 HAS SOPS 49483 HAS SOUS 42883 HAS SOUPS 42883 WITH SCORE 42932.483
AT ITER 9702 NEW BEST:: SOT 238180 SOS 49447 HAS SOPS 49447 HAS SOUS 42847 HAS SOUPS 42847 WITH SCORE 42896.447
AT ITER 9710 NEW BEST:: SOT 238184 SOS 49437 HAS SOPS 49437 HAS SOUS 42846 HAS SOUPS 42846 WITH SCORE 42895.437
AT ITER 9779 NEW BEST:: SOT 238198 SOS 49438 HAS SOPS 49438 HAS SOUS 42837 HAS SOUPS 42837 WITH SCORE 42886.438
AT ITER 9780 NEW BEST:: SOT 238183 SOS 49408 HAS SOPS 49408 HAS SOUS 42807 HAS SOUPS 42807 WITH SCORE 42856.408
AT ITER 9862 NEW BEST:: SOT 238188 SOS 49405 HAS SOPS 49405 HAS SOUS 42804 HAS SOUPS 42804 WITH SCORE 42853.405
AT ITER 9895 NEW BEST:: SOT 238188 SOS 49393 HAS SOPS 49393 HAS SOUS 42798 HAS SOUPS 42798 WITH SCORE 42847.393
AT ITER 9900 NEW BEST:: SOT 238365 SOS 49328 HAS SOPS 49328 HAS SOUS 42798 HAS SOUPS 42798 WITH SCORE 42847.328
AT ITER 9917 NEW BEST:: SOT 238376 SOS 49279 HAS SOPS 49279 HAS SOUS 42760 HAS SOUPS 42760 WITH SCORE 42809.279
AT ITER 9951 NEW BEST:: SOT 238347 SOS 49221 HAS SOPS 49221 HAS SOUS 42702 HAS SOUPS 42702 WITH SCORE 42751.221
AT ITER 9957 NEW BEST:: SOT 238347 SOS 49221 HAS SOPS 49221 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42715.221
AT ITER 9983 NEW BEST:: SOT 238342 SOS 49216 HAS SOPS 49216 HAS SOUS 42661 HAS SOUPS 42661 WITH SCORE 42710.216
AT ITER 9999 NEW BEST:: SOT 238324 SOS 49198 HAS SOPS 49198 HAS SOUS 42643 HAS SOUPS 42643 WITH SCORE 42692.198
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14722056 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124344 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPUForwardProgress-PT-32b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is GPUForwardProgress-PT-32b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349100128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-32b.tgz
mv GPUForwardProgress-PT-32b 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 ;