About the Execution of Smart+red for PermAdmissibility-PT-50
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16219.220 | 3570049.00 | 3601717.00 | 23499.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r267-smll-167863542000552.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PermAdmissibility-PT-50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542000552
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 11K Feb 26 01:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 01:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 76K Feb 26 01:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 407K Feb 26 01:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 26 01:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 190K Feb 26 01:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 36K Feb 26 01:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 166K Feb 26 01:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 340K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678928532729
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PermAdmissibility-PT-50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-16 01:02:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-16 01:02:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 01:02:16] [INFO ] Load time of PNML (sax parser for PT used): 237 ms
[2023-03-16 01:02:16] [INFO ] Transformed 168 places.
[2023-03-16 01:02:16] [INFO ] Transformed 592 transitions.
[2023-03-16 01:02:16] [INFO ] Parsed PT model containing 168 places and 592 transitions and 3456 arcs in 352 ms.
[2023-03-16 01:02:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 592 transitions and 3456 arcs took 14 ms.
Total runtime 417 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 50
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25596.326
AT ITER 9 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25498 HAS SOUPS 25498 WITH SCORE 25541.326
AT ITER 13 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25439 HAS SOUPS 25439 WITH SCORE 25482.326
AT ITER 22 NEW BEST:: SOT 69894 SOS 43218 HAS SOPS 43218 HAS SOUS 25339 HAS SOUPS 25339 WITH SCORE 25382.218
AT ITER 38 NEW BEST:: SOT 70061 SOS 48961 HAS SOPS 48961 HAS SOUS 25242 HAS SOUPS 25242 WITH SCORE 25290.961
AT ITER 59 NEW BEST:: SOT 70036 SOS 49926 HAS SOPS 49926 HAS SOUS 25012 HAS SOUPS 25012 WITH SCORE 25061.926
AT ITER 63 NEW BEST:: SOT 69949 SOS 49839 HAS SOPS 49839 HAS SOUS 24997 HAS SOUPS 24997 WITH SCORE 25046.839
AT ITER 64 NEW BEST:: SOT 69949 SOS 49839 HAS SOPS 49839 HAS SOUS 24970 HAS SOUPS 24970 WITH SCORE 25019.839
AT ITER 69 NEW BEST:: SOT 69793 SOS 49904 HAS SOPS 49904 HAS SOUS 24927 HAS SOUPS 24927 WITH SCORE 24976.904
AT ITER 76 NEW BEST:: SOT 69719 SOS 49830 HAS SOPS 49830 HAS SOUS 24853 HAS SOUPS 24853 WITH SCORE 24902.83
AT ITER 77 NEW BEST:: SOT 69719 SOS 49830 HAS SOPS 49830 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24852.83
AT ITER 88 NEW BEST:: SOT 69579 SOS 49800 HAS SOPS 49800 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24734.8
AT ITER 98 NEW BEST:: SOT 69505 SOS 49756 HAS SOPS 49756 HAS SOUS 24488 HAS SOUPS 24488 WITH SCORE 24537.756
AT ITER 110 NEW BEST:: SOT 69349 SOS 49591 HAS SOPS 49591 HAS SOUS 24423 HAS SOUPS 24423 WITH SCORE 24472.591
AT ITER 119 NEW BEST:: SOT 69337 SOS 49579 HAS SOPS 49579 HAS SOUS 24408 HAS SOUPS 24408 WITH SCORE 24457.579
AT ITER 120 NEW BEST:: SOT 69325 SOS 49837 HAS SOPS 49837 HAS SOUS 24374 HAS SOUPS 24374 WITH SCORE 24423.837
AT ITER 128 NEW BEST:: SOT 69309 SOS 49810 HAS SOPS 49810 HAS SOUS 24366 HAS SOUPS 24366 WITH SCORE 24415.81
AT ITER 129 NEW BEST:: SOT 69309 SOS 49810 HAS SOPS 49810 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24123.81
AT ITER 131 NEW BEST:: SOT 69309 SOS 47250 HAS SOPS 47250 HAS SOUS 24042 HAS SOUPS 24042 WITH SCORE 24089.25
AT ITER 132 NEW BEST:: SOT 69184 SOS 47575 HAS SOPS 47575 HAS SOUS 23966 HAS SOUPS 23966 WITH SCORE 24013.575
AT ITER 143 NEW BEST:: SOT 69078 SOS 47469 HAS SOPS 47469 HAS SOUS 23779 HAS SOUPS 23779 WITH SCORE 23826.469
AT ITER 155 NEW BEST:: SOT 69078 SOS 47469 HAS SOPS 47469 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23793.469
AT ITER 157 NEW BEST:: SOT 69054 SOS 47461 HAS SOPS 47461 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23793.461
AT ITER 161 NEW BEST:: SOT 69010 SOS 47418 HAS SOPS 47418 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23748.418
AT ITER 164 NEW BEST:: SOT 68956 SOS 49318 HAS SOPS 49318 HAS SOUS 23670 HAS SOUPS 23670 WITH SCORE 23719.318
AT ITER 172 NEW BEST:: SOT 68970 SOS 48867 HAS SOPS 48867 HAS SOUS 23610 HAS SOUPS 23610 WITH SCORE 23658.867
AT ITER 177 NEW BEST:: SOT 68970 SOS 48867 HAS SOPS 48867 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23637.867
AT ITER 178 NEW BEST:: SOT 68942 SOS 48826 HAS SOPS 48826 HAS SOUS 23528 HAS SOUPS 23528 WITH SCORE 23576.826
AT ITER 179 NEW BEST:: SOT 68942 SOS 48826 HAS SOPS 48826 HAS SOUS 23519 HAS SOUPS 23519 WITH SCORE 23567.826
AT ITER 184 NEW BEST:: SOT 68974 SOS 49452 HAS SOPS 49452 HAS SOUS 23510 HAS SOUPS 23510 WITH SCORE 23559.452
AT ITER 202 NEW BEST:: SOT 68974 SOS 49452 HAS SOPS 49452 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23552.452
AT ITER 214 NEW BEST:: SOT 68972 SOS 51498 HAS SOPS 51498 HAS SOUS 23361 HAS SOUPS 23361 WITH SCORE 23412.498
AT ITER 232 NEW BEST:: SOT 68960 SOS 51475 HAS SOPS 51475 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23394.475
AT ITER 234 NEW BEST:: SOT 69005 SOS 51520 HAS SOPS 51520 HAS SOUS 23340 HAS SOUPS 23340 WITH SCORE 23391.52
AT ITER 235 NEW BEST:: SOT 69005 SOS 53297 HAS SOPS 53297 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23383.297
AT ITER 236 NEW BEST:: SOT 69029 SOS 53321 HAS SOPS 53321 HAS SOUS 23308 HAS SOUPS 23308 WITH SCORE 23361.321
AT ITER 239 NEW BEST:: SOT 69029 SOS 53321 HAS SOPS 53321 HAS SOUS 23296 HAS SOUPS 23296 WITH SCORE 23349.321
AT ITER 241 NEW BEST:: SOT 68992 SOS 53284 HAS SOPS 53284 HAS SOUS 23259 HAS SOUPS 23259 WITH SCORE 23312.284
AT ITER 244 NEW BEST:: SOT 68974 SOS 53266 HAS SOPS 53266 HAS SOUS 23246 HAS SOUPS 23246 WITH SCORE 23299.266
AT ITER 247 NEW BEST:: SOT 68934 SOS 53382 HAS SOPS 53382 HAS SOUS 23241 HAS SOUPS 23241 WITH SCORE 23294.382
AT ITER 249 NEW BEST:: SOT 68934 SOS 53382 HAS SOPS 53382 HAS SOUS 23179 HAS SOUPS 23179 WITH SCORE 23232.382
AT ITER 255 NEW BEST:: SOT 68800 SOS 53248 HAS SOPS 53248 HAS SOUS 22950 HAS SOUPS 22950 WITH SCORE 23003.248
AT ITER 256 NEW BEST:: SOT 68706 SOS 53209 HAS SOPS 53209 HAS SOUS 22729 HAS SOUPS 22729 WITH SCORE 22782.209
AT ITER 258 NEW BEST:: SOT 68708 SOS 53212 HAS SOPS 53212 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22761.212
AT ITER 263 NEW BEST:: SOT 68708 SOS 53752 HAS SOPS 53752 HAS SOUS 22615 HAS SOUPS 22615 WITH SCORE 22668.752
AT ITER 266 NEW BEST:: SOT 68701 SOS 53745 HAS SOPS 53745 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22645.745
AT ITER 280 NEW BEST:: SOT 68701 SOS 53681 HAS SOPS 53681 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22645.681
AT ITER 281 NEW BEST:: SOT 68697 SOS 53677 HAS SOPS 53677 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22641.677
AT ITER 282 NEW BEST:: SOT 68697 SOS 53287 HAS SOPS 53287 HAS SOUS 22587 HAS SOUPS 22587 WITH SCORE 22640.287
AT ITER 291 NEW BEST:: SOT 68665 SOS 53255 HAS SOPS 53255 HAS SOUS 22549 HAS SOUPS 22549 WITH SCORE 22602.255
AT ITER 296 NEW BEST:: SOT 68569 SOS 53166 HAS SOPS 53166 HAS SOUS 22521 HAS SOUPS 22521 WITH SCORE 22574.166
AT ITER 297 NEW BEST:: SOT 68566 SOS 53163 HAS SOPS 53163 HAS SOUS 22521 HAS SOUPS 22521 WITH SCORE 22574.163
AT ITER 305 NEW BEST:: SOT 68360 SOS 52909 HAS SOPS 52909 HAS SOUS 22435 HAS SOUPS 22435 WITH SCORE 22487.909
AT ITER 306 NEW BEST:: SOT 68323 SOS 52898 HAS SOPS 52898 HAS SOUS 22428 HAS SOUPS 22428 WITH SCORE 22480.898
AT ITER 310 NEW BEST:: SOT 68323 SOS 52898 HAS SOPS 52898 HAS SOUS 22423 HAS SOUPS 22423 WITH SCORE 22475.898
AT ITER 316 NEW BEST:: SOT 68323 SOS 52898 HAS SOPS 52898 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22439.898
AT ITER 326 NEW BEST:: SOT 68054 SOS 52629 HAS SOPS 52629 HAS SOUS 22365 HAS SOUPS 22365 WITH SCORE 22417.629
AT ITER 333 NEW BEST:: SOT 68054 SOS 52695 HAS SOPS 52695 HAS SOUS 22344 HAS SOUPS 22344 WITH SCORE 22396.695
AT ITER 336 NEW BEST:: SOT 68028 SOS 52672 HAS SOPS 52672 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22373.672
AT ITER 340 NEW BEST:: SOT 68028 SOS 52672 HAS SOPS 52672 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22346.672
AT ITER 343 NEW BEST:: SOT 68038 SOS 52730 HAS SOPS 52730 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22323.73
AT ITER 351 NEW BEST:: SOT 68032 SOS 52735 HAS SOPS 52735 HAS SOUS 22270 HAS SOUPS 22270 WITH SCORE 22322.735
AT ITER 364 NEW BEST:: SOT 68015 SOS 52718 HAS SOPS 52718 HAS SOUS 22182 HAS SOUPS 22182 WITH SCORE 22234.718
AT ITER 367 NEW BEST:: SOT 67979 SOS 52682 HAS SOPS 52682 HAS SOUS 22121 HAS SOUPS 22121 WITH SCORE 22173.682
AT ITER 376 NEW BEST:: SOT 67840 SOS 52543 HAS SOPS 52543 HAS SOUS 22090 HAS SOUPS 22090 WITH SCORE 22142.543
AT ITER 382 NEW BEST:: SOT 67845 SOS 52500 HAS SOPS 52500 HAS SOUS 22077 HAS SOUPS 22077 WITH SCORE 22129.5
AT ITER 405 NEW BEST:: SOT 67803 SOS 52458 HAS SOPS 52458 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22096.458
AT ITER 407 NEW BEST:: SOT 67803 SOS 52458 HAS SOPS 52458 HAS SOUS 22036 HAS SOUPS 22036 WITH SCORE 22088.458
AT ITER 420 NEW BEST:: SOT 67762 SOS 52417 HAS SOPS 52417 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22066.417
AT ITER 423 NEW BEST:: SOT 67726 SOS 52381 HAS SOPS 52381 HAS SOUS 21962 HAS SOUPS 21962 WITH SCORE 22014.381
AT ITER 424 NEW BEST:: SOT 67709 SOS 52364 HAS SOPS 52364 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21891.364
AT ITER 430 NEW BEST:: SOT 67544 SOS 52199 HAS SOPS 52199 HAS SOUS 21779 HAS SOUPS 21779 WITH SCORE 21831.199
AT ITER 436 NEW BEST:: SOT 67511 SOS 52175 HAS SOPS 52175 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21815.175
AT ITER 438 NEW BEST:: SOT 67532 SOS 52196 HAS SOPS 52196 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21748.196
AT ITER 439 NEW BEST:: SOT 67326 SOS 52103 HAS SOPS 52103 HAS SOUS 21372 HAS SOUPS 21372 WITH SCORE 21424.103
AT ITER 441 NEW BEST:: SOT 67268 SOS 52045 HAS SOPS 52045 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21378.045
AT ITER 444 NEW BEST:: SOT 67308 SOS 52305 HAS SOPS 52305 HAS SOUS 21077 HAS SOUPS 21077 WITH SCORE 21129.305
AT ITER 460 NEW BEST:: SOT 67293 SOS 52290 HAS SOPS 52290 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21074.29
AT ITER 483 NEW BEST:: SOT 67300 SOS 52746 HAS SOPS 52746 HAS SOUS 20982 HAS SOUPS 20982 WITH SCORE 21034.746
AT ITER 493 NEW BEST:: SOT 67300 SOS 52747 HAS SOPS 52747 HAS SOUS 20981 HAS SOUPS 20981 WITH SCORE 21033.747
AT ITER 498 NEW BEST:: SOT 67266 SOS 52713 HAS SOPS 52713 HAS SOUS 20925 HAS SOUPS 20925 WITH SCORE 20977.713
AT ITER 507 NEW BEST:: SOT 67260 SOS 52707 HAS SOPS 52707 HAS SOUS 20903 HAS SOUPS 20903 WITH SCORE 20955.707
AT ITER 513 NEW BEST:: SOT 67244 SOS 52691 HAS SOPS 52691 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20829.691
AT ITER 529 NEW BEST:: SOT 67132 SOS 52579 HAS SOPS 52579 HAS SOUS 20726 HAS SOUPS 20726 WITH SCORE 20778.579
AT ITER 535 NEW BEST:: SOT 67114 SOS 52561 HAS SOPS 52561 HAS SOUS 20708 HAS SOUPS 20708 WITH SCORE 20760.561
AT ITER 537 NEW BEST:: SOT 67114 SOS 52482 HAS SOPS 52482 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20742.482
AT ITER 550 NEW BEST:: SOT 67114 SOS 52482 HAS SOPS 52482 HAS SOUS 20674 HAS SOUPS 20674 WITH SCORE 20726.482
AT ITER 556 NEW BEST:: SOT 67150 SOS 52463 HAS SOPS 52463 HAS SOUS 20566 HAS SOUPS 20566 WITH SCORE 20618.463
AT ITER 599 NEW BEST:: SOT 67145 SOS 52458 HAS SOPS 52458 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20609.458
AT ITER 600 NEW BEST:: SOT 67103 SOS 52416 HAS SOPS 52416 HAS SOUS 20515 HAS SOUPS 20515 WITH SCORE 20567.416
AT ITER 608 NEW BEST:: SOT 67103 SOS 52416 HAS SOPS 52416 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20563.416
AT ITER 622 NEW BEST:: SOT 66960 SOS 52273 HAS SOPS 52273 HAS SOUS 20353 HAS SOUPS 20353 WITH SCORE 20405.273
AT ITER 623 NEW BEST:: SOT 66964 SOS 52277 HAS SOPS 52277 HAS SOUS 20349 HAS SOUPS 20349 WITH SCORE 20401.277
AT ITER 630 NEW BEST:: SOT 66782 SOS 52117 HAS SOPS 52117 HAS SOUS 20309 HAS SOUPS 20309 WITH SCORE 20361.117
AT ITER 641 NEW BEST:: SOT 66667 SOS 52002 HAS SOPS 52002 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20340.002
AT ITER 645 NEW BEST:: SOT 66667 SOS 52002 HAS SOPS 52002 HAS SOUS 20213 HAS SOUPS 20213 WITH SCORE 20265.002
AT ITER 667 NEW BEST:: SOT 66653 SOS 51987 HAS SOPS 51987 HAS SOUS 20202 HAS SOUPS 20202 WITH SCORE 20253.987
AT ITER 673 NEW BEST:: SOT 66653 SOS 50835 HAS SOPS 50835 HAS SOUS 20202 HAS SOUPS 20202 WITH SCORE 20252.835
AT ITER 677 NEW BEST:: SOT 66699 SOS 50881 HAS SOPS 50881 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20239.881
AT ITER 714 NEW BEST:: SOT 66702 SOS 50884 HAS SOPS 50884 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20191.884
AT ITER 721 NEW BEST:: SOT 66702 SOS 51619 HAS SOPS 51619 HAS SOUS 20114 HAS SOUPS 20114 WITH SCORE 20165.619
AT ITER 733 NEW BEST:: SOT 66702 SOS 51619 HAS SOPS 51619 HAS SOUS 20087 HAS SOUPS 20087 WITH SCORE 20138.619
AT ITER 777 NEW BEST:: SOT 66660 SOS 51577 HAS SOPS 51577 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20105.577
AT ITER 778 NEW BEST:: SOT 66660 SOS 51385 HAS SOPS 51385 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20105.385
AT ITER 796 NEW BEST:: SOT 66652 SOS 51377 HAS SOPS 51377 HAS SOUS 20046 HAS SOUPS 20046 WITH SCORE 20097.377
AT ITER 806 NEW BEST:: SOT 66642 SOS 51367 HAS SOPS 51367 HAS SOUS 20020 HAS SOUPS 20020 WITH SCORE 20071.367
AT ITER 808 NEW BEST:: SOT 66565 SOS 51290 HAS SOPS 51290 HAS SOUS 19903 HAS SOUPS 19903 WITH SCORE 19954.29
AT ITER 827 NEW BEST:: SOT 66565 SOS 50274 HAS SOPS 50274 HAS SOUS 19899 HAS SOUPS 19899 WITH SCORE 19949.274
AT ITER 830 NEW BEST:: SOT 66543 SOS 50252 HAS SOPS 50252 HAS SOUS 19723 HAS SOUPS 19723 WITH SCORE 19773.252
AT ITER 832 NEW BEST:: SOT 66543 SOS 50250 HAS SOPS 50250 HAS SOUS 19723 HAS SOUPS 19723 WITH SCORE 19773.25
AT ITER 836 NEW BEST:: SOT 66543 SOS 51220 HAS SOPS 51220 HAS SOUS 19704 HAS SOUPS 19704 WITH SCORE 19755.22
AT ITER 848 NEW BEST:: SOT 66534 SOS 51211 HAS SOPS 51211 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19734.211
AT ITER 861 NEW BEST:: SOT 66534 SOS 51211 HAS SOPS 51211 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19646.211
AT ITER 876 NEW BEST:: SOT 66534 SOS 51211 HAS SOPS 51211 HAS SOUS 19591 HAS SOUPS 19591 WITH SCORE 19642.211
AT ITER 919 NEW BEST:: SOT 66483 SOS 51160 HAS SOPS 51160 HAS SOUS 19482 HAS SOUPS 19482 WITH SCORE 19533.16
AT ITER 920 NEW BEST:: SOT 66486 SOS 51268 HAS SOPS 51268 HAS SOUS 19473 HAS SOUPS 19473 WITH SCORE 19524.268
AT ITER 932 NEW BEST:: SOT 66491 SOS 51273 HAS SOPS 51273 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19495.273
AT ITER 939 NEW BEST:: SOT 66491 SOS 51273 HAS SOPS 51273 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19490.273
AT ITER 956 NEW BEST:: SOT 66459 SOS 51247 HAS SOPS 51247 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19457.247
AT ITER 961 NEW BEST:: SOT 66441 SOS 51229 HAS SOPS 51229 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19439.229
AT ITER 967 NEW BEST:: SOT 66497 SOS 51446 HAS SOPS 51446 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19246.446
AT ITER 971 NEW BEST:: SOT 66477 SOS 51426 HAS SOPS 51426 HAS SOUS 19175 HAS SOUPS 19175 WITH SCORE 19226.426
AT ITER 993 NEW BEST:: SOT 66475 SOS 51424 HAS SOPS 51424 HAS SOUS 19174 HAS SOUPS 19174 WITH SCORE 19225.424
AT ITER 1020 NEW BEST:: SOT 66475 SOS 51472 HAS SOPS 51472 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19153.472
AT ITER 1028 NEW BEST:: SOT 66512 SOS 51509 HAS SOPS 51509 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19150.509
AT ITER 1049 NEW BEST:: SOT 66358 SOS 51355 HAS SOPS 51355 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19101.355
AT ITER 1094 NEW BEST:: SOT 66454 SOS 53211 HAS SOPS 53211 HAS SOUS 18912 HAS SOUPS 18912 WITH SCORE 18965.211
AT ITER 1111 NEW BEST:: SOT 66409 SOS 53172 HAS SOPS 53172 HAS SOUS 18875 HAS SOUPS 18875 WITH SCORE 18928.172
AT ITER 1144 NEW BEST:: SOT 66401 SOS 53164 HAS SOPS 53164 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18920.164
AT ITER 1148 NEW BEST:: SOT 66401 SOS 54019 HAS SOPS 54019 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18816.019
AT ITER 1160 NEW BEST:: SOT 66289 SOS 53907 HAS SOPS 53907 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18623.907
AT ITER 1167 NEW BEST:: SOT 66289 SOS 53907 HAS SOPS 53907 HAS SOUS 18569 HAS SOUPS 18569 WITH SCORE 18622.907
AT ITER 1172 NEW BEST:: SOT 66287 SOS 53905 HAS SOPS 53905 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18619.905
AT ITER 1210 NEW BEST:: SOT 66287 SOS 53905 HAS SOPS 53905 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18499.905
AT ITER 1222 NEW BEST:: SOT 66287 SOS 53905 HAS SOPS 53905 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18496.905
AT ITER 1227 NEW BEST:: SOT 66287 SOS 53273 HAS SOPS 53273 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18496.273
AT ITER 1234 NEW BEST:: SOT 66287 SOS 53361 HAS SOPS 53361 HAS SOUS 18383 HAS SOUPS 18383 WITH SCORE 18436.361
AT ITER 1244 NEW BEST:: SOT 66276 SOS 53350 HAS SOPS 53350 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18401.35
AT ITER 1275 NEW BEST:: SOT 66272 SOS 53346 HAS SOPS 53346 HAS SOUS 18280 HAS SOUPS 18280 WITH SCORE 18333.346
AT ITER 1308 NEW BEST:: SOT 66249 SOS 53323 HAS SOPS 53323 HAS SOUS 18280 HAS SOUPS 18280 WITH SCORE 18333.323
AT ITER 1354 NEW BEST:: SOT 66249 SOS 53323 HAS SOPS 53323 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18317.323
AT ITER 1458 NEW BEST:: SOT 66249 SOS 53243 HAS SOPS 53243 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18317.243
AT ITER 1472 NEW BEST:: SOT 66249 SOS 53243 HAS SOPS 53243 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18313.243
AT ITER 1481 NEW BEST:: SOT 66255 SOS 53249 HAS SOPS 53249 HAS SOUS 18238 HAS SOUPS 18238 WITH SCORE 18291.249
AT ITER 1482 NEW BEST:: SOT 66312 SOS 53306 HAS SOPS 53306 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18270.306
AT ITER 1488 NEW BEST:: SOT 66314 SOS 53309 HAS SOPS 53309 HAS SOUS 18216 HAS SOUPS 18216 WITH SCORE 18269.309
AT ITER 1535 NEW BEST:: SOT 66314 SOS 53309 HAS SOPS 53309 HAS SOUS 18212 HAS SOUPS 18212 WITH SCORE 18265.309
AT ITER 1569 NEW BEST:: SOT 66320 SOS 53315 HAS SOPS 53315 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18239.315
AT ITER 1582 NEW BEST:: SOT 66298 SOS 53293 HAS SOPS 53293 HAS SOUS 18146 HAS SOUPS 18146 WITH SCORE 18199.293
AT ITER 1589 NEW BEST:: SOT 66284 SOS 53279 HAS SOPS 53279 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18187.279
AT ITER 1641 NEW BEST:: SOT 66284 SOS 53231 HAS SOPS 53231 HAS SOUS 18133 HAS SOUPS 18133 WITH SCORE 18186.231
AT ITER 1657 NEW BEST:: SOT 66391 SOS 53546 HAS SOPS 53546 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18144.546
AT ITER 1676 NEW BEST:: SOT 66387 SOS 53542 HAS SOPS 53542 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18140.542
AT ITER 1707 NEW BEST:: SOT 66387 SOS 53446 HAS SOPS 53446 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18140.446
AT ITER 1708 NEW BEST:: SOT 66355 SOS 53414 HAS SOPS 53414 HAS SOUS 18039 HAS SOUPS 18039 WITH SCORE 18092.414
AT ITER 1733 NEW BEST:: SOT 66336 SOS 53395 HAS SOPS 53395 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18053.395
AT ITER 1771 NEW BEST:: SOT 66332 SOS 53393 HAS SOPS 53393 HAS SOUS 17998 HAS SOUPS 17998 WITH SCORE 18051.393
AT ITER 1783 NEW BEST:: SOT 66332 SOS 53729 HAS SOPS 53729 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 18020.729
AT ITER 1797 NEW BEST:: SOT 66332 SOS 53705 HAS SOPS 53705 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 18020.705
AT ITER 1825 NEW BEST:: SOT 66328 SOS 53701 HAS SOPS 53701 HAS SOUS 17961 HAS SOUPS 17961 WITH SCORE 18014.701
AT ITER 1874 NEW BEST:: SOT 66258 SOS 53631 HAS SOPS 53631 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17985.631
AT ITER 1932 NEW BEST:: SOT 66258 SOS 53455 HAS SOPS 53455 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17985.455
AT ITER 2013 NEW BEST:: SOT 66240 SOS 53437 HAS SOPS 53437 HAS SOUS 17902 HAS SOUPS 17902 WITH SCORE 17955.437
AT ITER 2060 NEW BEST:: SOT 66197 SOS 53394 HAS SOPS 53394 HAS SOUS 17888 HAS SOUPS 17888 WITH SCORE 17941.394
AT ITER 2083 NEW BEST:: SOT 66138 SOS 53335 HAS SOPS 53335 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17919.335
AT ITER 2084 NEW BEST:: SOT 66138 SOS 52495 HAS SOPS 52495 HAS SOUS 17858 HAS SOUPS 17858 WITH SCORE 17910.495
AT ITER 2125 NEW BEST:: SOT 66114 SOS 52471 HAS SOPS 52471 HAS SOUS 17794 HAS SOUPS 17794 WITH SCORE 17846.471
AT ITER 2198 NEW BEST:: SOT 66114 SOS 52599 HAS SOPS 52599 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17840.599
AT ITER 2240 NEW BEST:: SOT 66108 SOS 52591 HAS SOPS 52591 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17832.591
AT ITER 2259 NEW BEST:: SOT 66112 SOS 52595 HAS SOPS 52595 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17816.595
AT ITER 2277 NEW BEST:: SOT 66112 SOS 52595 HAS SOPS 52595 HAS SOUS 17761 HAS SOUPS 17761 WITH SCORE 17813.595
AT ITER 2293 NEW BEST:: SOT 66112 SOS 53235 HAS SOPS 53235 HAS SOUS 17681 HAS SOUPS 17681 WITH SCORE 17734.235
AT ITER 2307 NEW BEST:: SOT 66060 SOS 53183 HAS SOPS 53183 HAS SOUS 17653 HAS SOUPS 17653 WITH SCORE 17706.183
AT ITER 2383 NEW BEST:: SOT 66060 SOS 53183 HAS SOPS 53183 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17703.183
AT ITER 2393 NEW BEST:: SOT 66060 SOS 53183 HAS SOPS 53183 HAS SOUS 17641 HAS SOUPS 17641 WITH SCORE 17694.183
AT ITER 2429 NEW BEST:: SOT 66060 SOS 53119 HAS SOPS 53119 HAS SOUS 17641 HAS SOUPS 17641 WITH SCORE 17694.119
AT ITER 2442 NEW BEST:: SOT 66029 SOS 53095 HAS SOPS 53095 HAS SOUS 17615 HAS SOUPS 17615 WITH SCORE 17668.095
AT ITER 2452 NEW BEST:: SOT 65957 SOS 53023 HAS SOPS 53023 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17546.023
AT ITER 2537 NEW BEST:: SOT 65960 SOS 53026 HAS SOPS 53026 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17545.026
AT ITER 2623 NEW BEST:: SOT 65960 SOS 53010 HAS SOPS 53010 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17545.01
AT ITER 2636 NEW BEST:: SOT 65970 SOS 53020 HAS SOPS 53020 HAS SOUS 17477 HAS SOUPS 17477 WITH SCORE 17530.02
AT ITER 2667 NEW BEST:: SOT 65970 SOS 53012 HAS SOPS 53012 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17527.012
AT ITER 2668 NEW BEST:: SOT 65962 SOS 53004 HAS SOPS 53004 HAS SOUS 17455 HAS SOUPS 17455 WITH SCORE 17508.004
AT ITER 2694 NEW BEST:: SOT 65962 SOS 53004 HAS SOPS 53004 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17492.004
AT ITER 2747 NEW BEST:: SOT 65962 SOS 52660 HAS SOPS 52660 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17487.66
AT ITER 2749 NEW BEST:: SOT 65874 SOS 52572 HAS SOPS 52572 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17318.572
AT ITER 2853 NEW BEST:: SOT 65759 SOS 52457 HAS SOPS 52457 HAS SOUS 17262 HAS SOUPS 17262 WITH SCORE 17314.457
AT ITER 2879 NEW BEST:: SOT 65759 SOS 51753 HAS SOPS 51753 HAS SOUS 17259 HAS SOUPS 17259 WITH SCORE 17310.753
AT ITER 2890 NEW BEST:: SOT 65759 SOS 51753 HAS SOPS 51753 HAS SOUS 17243 HAS SOUPS 17243 WITH SCORE 17294.753
AT ITER 2918 NEW BEST:: SOT 65765 SOS 51759 HAS SOPS 51759 HAS SOUS 17241 HAS SOUPS 17241 WITH SCORE 17292.759
AT ITER 2967 NEW BEST:: SOT 65759 SOS 51753 HAS SOPS 51753 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17205.753
AT ITER 3040 NEW BEST:: SOT 65761 SOS 51755 HAS SOPS 51755 HAS SOUS 17147 HAS SOUPS 17147 WITH SCORE 17198.755
AT ITER 3054 NEW BEST:: SOT 65758 SOS 51752 HAS SOPS 51752 HAS SOUS 17144 HAS SOUPS 17144 WITH SCORE 17195.752
AT ITER 3069 NEW BEST:: SOT 65758 SOS 51736 HAS SOPS 51736 HAS SOUS 17144 HAS SOUPS 17144 WITH SCORE 17195.736
AT ITER 3122 NEW BEST:: SOT 65758 SOS 51696 HAS SOPS 51696 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17190.696
AT ITER 3124 NEW BEST:: SOT 65758 SOS 51568 HAS SOPS 51568 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17189.568
AT ITER 3281 NEW BEST:: SOT 65706 SOS 51516 HAS SOPS 51516 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17110.516
AT ITER 3289 NEW BEST:: SOT 65706 SOS 51516 HAS SOPS 51516 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17086.516
AT ITER 3301 NEW BEST:: SOT 65713 SOS 51523 HAS SOPS 51523 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17085.523
AT ITER 3308 NEW BEST:: SOT 65711 SOS 51521 HAS SOPS 51521 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17079.521
AT ITER 3333 NEW BEST:: SOT 65690 SOS 51500 HAS SOPS 51500 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17058.5
AT ITER 3376 NEW BEST:: SOT 65682 SOS 51492 HAS SOPS 51492 HAS SOUS 16991 HAS SOUPS 16991 WITH SCORE 17042.492
AT ITER 3377 NEW BEST:: SOT 65684 SOS 51494 HAS SOPS 51494 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17028.494
AT ITER 3496 NEW BEST:: SOT 65684 SOS 52438 HAS SOPS 52438 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 17014.438
AT ITER 3589 NEW BEST:: SOT 65645 SOS 52303 HAS SOPS 52303 HAS SOUS 16947 HAS SOUPS 16947 WITH SCORE 16999.303
AT ITER 3643 NEW BEST:: SOT 65645 SOS 52639 HAS SOPS 52639 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16992.639
AT ITER 3661 NEW BEST:: SOT 65617 SOS 52611 HAS SOPS 52611 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16933.611
AT ITER 3685 NEW BEST:: SOT 65615 SOS 52609 HAS SOPS 52609 HAS SOUS 16879 HAS SOUPS 16879 WITH SCORE 16931.609
AT ITER 3761 NEW BEST:: SOT 65615 SOS 52609 HAS SOPS 52609 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16897.609
AT ITER 3832 NEW BEST:: SOT 65615 SOS 52305 HAS SOPS 52305 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16897.305
AT ITER 3835 NEW BEST:: SOT 65615 SOS 52305 HAS SOPS 52305 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16890.305
AT ITER 3849 NEW BEST:: SOT 65512 SOS 51674 HAS SOPS 51674 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16845.674
AT ITER 3883 NEW BEST:: SOT 65504 SOS 51666 HAS SOPS 51666 HAS SOUS 16777 HAS SOUPS 16777 WITH SCORE 16828.666
AT ITER 3914 NEW BEST:: SOT 65506 SOS 51668 HAS SOPS 51668 HAS SOUS 16772 HAS SOUPS 16772 WITH SCORE 16823.668
AT ITER 3932 NEW BEST:: SOT 65546 SOS 51708 HAS SOPS 51708 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16815.708
AT ITER 3933 NEW BEST:: SOT 65516 SOS 51678 HAS SOPS 51678 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16739.678
AT ITER 3937 NEW BEST:: SOT 65516 SOS 51654 HAS SOPS 51654 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16739.654
AT ITER 3958 NEW BEST:: SOT 65504 SOS 51642 HAS SOPS 51642 HAS SOUS 16663 HAS SOUPS 16663 WITH SCORE 16714.642
AT ITER 3999 NEW BEST:: SOT 65510 SOS 51648 HAS SOPS 51648 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16710.648
AT ITER 4051 NEW BEST:: SOT 65504 SOS 51642 HAS SOPS 51642 HAS SOUS 16645 HAS SOUPS 16645 WITH SCORE 16696.642
AT ITER 4077 NEW BEST:: SOT 65488 SOS 51626 HAS SOPS 51626 HAS SOUS 16629 HAS SOUPS 16629 WITH SCORE 16680.626
AT ITER 4158 NEW BEST:: SOT 65408 SOS 51546 HAS SOPS 51546 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16570.546
AT ITER 4249 NEW BEST:: SOT 65408 SOS 51547 HAS SOPS 51547 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16569.547
AT ITER 4367 NEW BEST:: SOT 65423 SOS 51562 HAS SOPS 51562 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16566.562
AT ITER 4387 NEW BEST:: SOT 65428 SOS 51567 HAS SOPS 51567 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16547.567
AT ITER 4459 NEW BEST:: SOT 65438 SOS 51577 HAS SOPS 51577 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16545.577
AT ITER 4482 NEW BEST:: SOT 65438 SOS 51721 HAS SOPS 51721 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16539.721
AT ITER 4503 NEW BEST:: SOT 65438 SOS 51985 HAS SOPS 51985 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16464.985
AT ITER 4523 NEW BEST:: SOT 65426 SOS 51973 HAS SOPS 51973 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16458.973
AT ITER 4539 NEW BEST:: SOT 65419 SOS 51966 HAS SOPS 51966 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16443.966
AT ITER 4562 NEW BEST:: SOT 65415 SOS 51962 HAS SOPS 51962 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16439.962
AT ITER 4569 NEW BEST:: SOT 65416 SOS 51963 HAS SOPS 51963 HAS SOUS 16385 HAS SOUPS 16385 WITH SCORE 16436.963
AT ITER 4575 NEW BEST:: SOT 65416 SOS 51723 HAS SOPS 51723 HAS SOUS 16385 HAS SOUPS 16385 WITH SCORE 16436.723
AT ITER 4626 NEW BEST:: SOT 65416 SOS 51875 HAS SOPS 51875 HAS SOUS 16383 HAS SOUPS 16383 WITH SCORE 16434.875
AT ITER 4739 NEW BEST:: SOT 65416 SOS 51875 HAS SOPS 51875 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16427.875
AT ITER 4752 NEW BEST:: SOT 65419 SOS 51878 HAS SOPS 51878 HAS SOUS 16369 HAS SOUPS 16369 WITH SCORE 16420.878
AT ITER 4838 NEW BEST:: SOT 65419 SOS 51878 HAS SOPS 51878 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16410.878
AT ITER 4891 NEW BEST:: SOT 65418 SOS 51877 HAS SOPS 51877 HAS SOUS 16355 HAS SOUPS 16355 WITH SCORE 16406.877
AT ITER 4968 NEW BEST:: SOT 65421 SOS 51880 HAS SOPS 51880 HAS SOUS 16354 HAS SOUPS 16354 WITH SCORE 16405.88
AT ITER 4971 NEW BEST:: SOT 65421 SOS 51992 HAS SOPS 51992 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16356.992
AT ITER 5040 NEW BEST:: SOT 65421 SOS 51992 HAS SOPS 51992 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16352.992
AT ITER 5095 NEW BEST:: SOT 65444 SOS 52015 HAS SOPS 52015 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16344.015
AT ITER 5140 NEW BEST:: SOT 65515 SOS 52086 HAS SOPS 52086 HAS SOUS 16277 HAS SOUPS 16277 WITH SCORE 16329.086
AT ITER 5212 NEW BEST:: SOT 65515 SOS 52086 HAS SOPS 52086 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16327.086
AT ITER 5299 NEW BEST:: SOT 65506 SOS 52077 HAS SOPS 52077 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16318.077
AT ITER 5309 NEW BEST:: SOT 65501 SOS 52072 HAS SOPS 52072 HAS SOUS 16219 HAS SOUPS 16219 WITH SCORE 16271.072
AT ITER 5333 NEW BEST:: SOT 65501 SOS 52072 HAS SOPS 52072 HAS SOUS 16207 HAS SOUPS 16207 WITH SCORE 16259.072
AT ITER 5394 NEW BEST:: SOT 65493 SOS 52064 HAS SOPS 52064 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16243.064
AT ITER 5467 NEW BEST:: SOT 65465 SOS 52036 HAS SOPS 52036 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16227.036
AT ITER 5626 NEW BEST:: SOT 65461 SOS 52032 HAS SOPS 52032 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16226.032
AT ITER 5661 NEW BEST:: SOT 65457 SOS 52028 HAS SOPS 52028 HAS SOUS 16146 HAS SOUPS 16146 WITH SCORE 16198.028
AT ITER 5724 NEW BEST:: SOT 65435 SOS 52006 HAS SOPS 52006 HAS SOUS 16124 HAS SOUPS 16124 WITH SCORE 16176.006
AT ITER 5848 NEW BEST:: SOT 65413 SOS 51984 HAS SOPS 51984 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16153.984
AT ITER 5874 NEW BEST:: SOT 65409 SOS 51966 HAS SOPS 51966 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16150.966
AT ITER 5903 NEW BEST:: SOT 65409 SOS 52222 HAS SOPS 52222 HAS SOUS 16091 HAS SOUPS 16091 WITH SCORE 16143.222
AT ITER 5971 NEW BEST:: SOT 65394 SOS 52207 HAS SOPS 52207 HAS SOUS 16084 HAS SOUPS 16084 WITH SCORE 16136.207
AT ITER 6373 NEW BEST:: SOT 65397 SOS 52210 HAS SOPS 52210 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16134.21
AT ITER 6376 NEW BEST:: SOT 65394 SOS 52207 HAS SOPS 52207 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16134.207
AT ITER 6445 NEW BEST:: SOT 65386 SOS 52199 HAS SOPS 52199 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16126.199
AT ITER 6478 NEW BEST:: SOT 65376 SOS 52189 HAS SOPS 52189 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16104.189
AT ITER 6481 NEW BEST:: SOT 65376 SOS 52190 HAS SOPS 52190 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16103.19
AT ITER 6614 NEW BEST:: SOT 65376 SOS 52134 HAS SOPS 52134 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16103.134
AT ITER 6625 NEW BEST:: SOT 65366 SOS 52124 HAS SOPS 52124 HAS SOUS 16040 HAS SOUPS 16040 WITH SCORE 16092.124
AT ITER 6648 NEW BEST:: SOT 65366 SOS 52124 HAS SOPS 52124 HAS SOUS 16036 HAS SOUPS 16036 WITH SCORE 16088.124
AT ITER 6905 NEW BEST:: SOT 65350 SOS 52108 HAS SOPS 52108 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16072.108
AT ITER 7005 NEW BEST:: SOT 65348 SOS 52106 HAS SOPS 52106 HAS SOUS 16018 HAS SOUPS 16018 WITH SCORE 16070.106
AT ITER 7028 NEW BEST:: SOT 65348 SOS 52050 HAS SOPS 52050 HAS SOUS 16018 HAS SOUPS 16018 WITH SCORE 16070.05
AT ITER 7037 NEW BEST:: SOT 65349 SOS 51995 HAS SOPS 51995 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16047.995
AT ITER 7053 NEW BEST:: SOT 65349 SOS 51995 HAS SOPS 51995 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16038.995
AT ITER 7267 NEW BEST:: SOT 65341 SOS 51987 HAS SOPS 51987 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 16013.987
AT ITER 7326 NEW BEST:: SOT 65340 SOS 51986 HAS SOPS 51986 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 16012.986
AT ITER 7437 NEW BEST:: SOT 65340 SOS 51986 HAS SOPS 51986 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16009.986
AT ITER 7676 NEW BEST:: SOT 65338 SOS 51984 HAS SOPS 51984 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16009.984
AT ITER 7898 NEW BEST:: SOT 65330 SOS 51976 HAS SOPS 51976 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16009.976
AT ITER 8046 NEW BEST:: SOT 65298 SOS 51944 HAS SOPS 51944 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15985.944
AT ITER 8125 NEW BEST:: SOT 65299 SOS 52025 HAS SOPS 52025 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15975.025
AT ITER 8149 NEW BEST:: SOT 65235 SOS 51961 HAS SOPS 51961 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15912.961
AT ITER 8381 NEW BEST:: SOT 65235 SOS 51793 HAS SOPS 51793 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15912.793
AT ITER 8448 NEW BEST:: SOT 65229 SOS 51787 HAS SOPS 51787 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15898.787
AT ITER 8477 NEW BEST:: SOT 65232 SOS 51790 HAS SOPS 51790 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15893.79
AT ITER 8584 NEW BEST:: SOT 65232 SOS 51790 HAS SOPS 51790 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15892.79
AT ITER 8904 NEW BEST:: SOT 65224 SOS 51776 HAS SOPS 51776 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15888.776
AT ITER 8929 NEW BEST:: SOT 65222 SOS 51774 HAS SOPS 51774 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15888.774
AT ITER 9012 NEW BEST:: SOT 65210 SOS 51758 HAS SOPS 51758 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15876.758
AT ITER 9014 NEW BEST:: SOT 65210 SOS 51846 HAS SOPS 51846 HAS SOUS 15824 HAS SOUPS 15824 WITH SCORE 15875.846
AT ITER 9059 NEW BEST:: SOT 65210 SOS 51934 HAS SOPS 51934 HAS SOUS 15823 HAS SOUPS 15823 WITH SCORE 15874.934
AT ITER 9130 NEW BEST:: SOT 65239 SOS 51963 HAS SOPS 51963 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15805.963
AT ITER 9165 NEW BEST:: SOT 65239 SOS 51995 HAS SOPS 51995 HAS SOUS 15746 HAS SOUPS 15746 WITH SCORE 15797.995
AT ITER 9343 NEW BEST:: SOT 65241 SOS 51997 HAS SOPS 51997 HAS SOUS 15744 HAS SOUPS 15744 WITH SCORE 15795.997
AT ITER 9620 NEW BEST:: SOT 65239 SOS 51995 HAS SOPS 51995 HAS SOUS 15740 HAS SOUPS 15740 WITH SCORE 15791.995
AT ITER 9663 NEW BEST:: SOT 65233 SOS 51978 HAS SOPS 51978 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15778.978
AT ITER 9739 NEW BEST:: SOT 65233 SOS 51980 HAS SOPS 51980 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15776.98
AT ITER 9803 NEW BEST:: SOT 65233 SOS 51980 HAS SOPS 51980 HAS SOUS 15721 HAS SOUPS 15721 WITH SCORE 15772.98
BK_STOP 1678932102778
--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 484 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-50"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PermAdmissibility-PT-50, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863542000552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-50.tgz
mv PermAdmissibility-PT-50 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 ;