About the Execution of Smart+red for StigmergyElection-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1889.115 | 3600000.00 | 3777431.00 | 7350.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651600688.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 StigmergyElection-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651600688
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 51M
-rw-r--r-- 1 mcc users 9.4K Feb 26 16:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 16:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 16:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 16:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 16:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 16:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 16:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 16:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 50M 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 1679476372936
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=StigmergyElection-PT-10a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 09:12:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 09:12:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 09:13:00] [INFO ] Load time of PNML (sax parser for PT used): 3093 ms
[2023-03-22 09:13:00] [INFO ] Transformed 142 places.
[2023-03-22 09:13:00] [INFO ] Transformed 50162 transitions.
[2023-03-22 09:13:00] [INFO ] Found NUPN structural information;
[2023-03-22 09:13:00] [INFO ] Parsed PT model containing 142 places and 50162 transitions and 999212 arcs in 3577 ms.
[2023-03-22 09:13:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 142 places, 50162 transitions and 999212 arcs took 627 ms.
Total runtime 4267 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 10a
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: 142 places, 50162 transitions, 999212 arcs.
AT ITER 0 NEW BEST:: SOT 3823840 SOS 1317400 HAS SOPS 1235212 HAS SOUS 41991 HAS SOUPS 41951 WITH SCORE 43268.4
AT ITER 2 NEW BEST:: SOT 3940759 SOS 1393507 HAS SOPS 1305834 HAS SOUS 28400 HAS SOUPS 28343 WITH SCORE 29736.507
AT ITER 5 NEW BEST:: SOT 3940739 SOS 1393489 HAS SOPS 1305814 HAS SOUS 28371 HAS SOUPS 28314 WITH SCORE 29707.489
AT ITER 12 NEW BEST:: SOT 3940728 SOS 1393433 HAS SOPS 1305758 HAS SOUS 28343 HAS SOUPS 28286 WITH SCORE 29679.433
AT ITER 20 NEW BEST:: SOT 3939491 SOS 1392307 HAS SOPS 1304545 HAS SOUS 27731 HAS SOUPS 27652 WITH SCORE 29044.307
AT ITER 26 NEW BEST:: SOT 3939622 SOS 1392371 HAS SOPS 1304609 HAS SOUS 27694 HAS SOUPS 27615 WITH SCORE 29007.371
AT ITER 38 NEW BEST:: SOT 3939589 SOS 1392342 HAS SOPS 1304579 HAS SOUS 27657 HAS SOUPS 27578 WITH SCORE 28970.342
AT ITER 40 NEW BEST:: SOT 3939598 SOS 1392342 HAS SOPS 1304579 HAS SOUS 27648 HAS SOUPS 27569 WITH SCORE 28961.342
AT ITER 41 NEW BEST:: SOT 3939628 SOS 1392366 HAS SOPS 1304603 HAS SOUS 27642 HAS SOUPS 27563 WITH SCORE 28955.366
AT ITER 42 NEW BEST:: SOT 3939614 SOS 1392338 HAS SOPS 1304575 HAS SOUS 27628 HAS SOUPS 27549 WITH SCORE 28941.338
AT ITER 45 NEW BEST:: SOT 3939031 SOS 1392002 HAS SOPS 1304015 HAS SOUS 27600 HAS SOUPS 27498 WITH SCORE 28890.002
AT ITER 46 NEW BEST:: SOT 3939069 SOS 1391918 HAS SOPS 1303931 HAS SOUS 27488 HAS SOUPS 27386 WITH SCORE 28777.918
AT ITER 49 NEW BEST:: SOT 3939067 SOS 1391914 HAS SOPS 1303927 HAS SOUS 27486 HAS SOUPS 27384 WITH SCORE 28775.914
AT ITER 58 NEW BEST:: SOT 3939066 SOS 1391901 HAS SOPS 1303925 HAS SOUS 27484 HAS SOUPS 27382 WITH SCORE 28773.901
AT ITER 59 NEW BEST:: SOT 3939087 SOS 1391915 HAS SOPS 1302797 HAS SOUS 26961 HAS SOUPS 26859 WITH SCORE 28250.915
AT ITER 60 NEW BEST:: SOT 3939173 SOS 1391945 HAS SOPS 1302827 HAS SOUS 26951 HAS SOUPS 26849 WITH SCORE 28240.945
AT ITER 72 NEW BEST:: SOT 3939403 SOS 1391925 HAS SOPS 1302831 HAS SOUS 26901 HAS SOUPS 26799 WITH SCORE 28190.925
AT ITER 77 NEW BEST:: SOT 3939411 SOS 1391848 HAS SOPS 1302754 HAS SOUS 26822 HAS SOUPS 26720 WITH SCORE 28111.847999999998
AT ITER 78 NEW BEST:: SOT 3939387 SOS 1391832 HAS SOPS 1302738 HAS SOUS 26806 HAS SOUPS 26704 WITH SCORE 28095.832
AT ITER 80 NEW BEST:: SOT 3939444 SOS 1391766 HAS SOPS 1302672 HAS SOUS 26794 HAS SOUPS 26692 WITH SCORE 28083.766
AT ITER 90 NEW BEST:: SOT 3939625 SOS 1391722 HAS SOPS 1302654 HAS SOUS 26725 HAS SOUPS 26623 WITH SCORE 28014.722
AT ITER 93 NEW BEST:: SOT 3939661 SOS 1391686 HAS SOPS 1298304 HAS SOUS 25613 HAS SOUPS 25511 WITH SCORE 26902.686
AT ITER 96 NEW BEST:: SOT 3939652 SOS 1391746 HAS SOPS 1298364 HAS SOUS 25597 HAS SOUPS 25495 WITH SCORE 26886.746
AT ITER 102 NEW BEST:: SOT 3939716 SOS 1391756 HAS SOPS 1298374 HAS SOUS 25591 HAS SOUPS 25489 WITH SCORE 26880.756
AT ITER 106 NEW BEST:: SOT 3939716 SOS 1391746 HAS SOPS 1298364 HAS SOUS 25581 HAS SOUPS 25479 WITH SCORE 26870.746
AT ITER 110 NEW BEST:: SOT 3939724 SOS 1391730 HAS SOPS 1291354 HAS SOUS 24385 HAS SOUPS 24283 WITH SCORE 25674.73
AT ITER 117 NEW BEST:: SOT 3939837 SOS 1391774 HAS SOPS 1291398 HAS SOUS 24365 HAS SOUPS 24263 WITH SCORE 25654.774
AT ITER 124 NEW BEST:: SOT 3939864 SOS 1391784 HAS SOPS 1291408 HAS SOUS 24348 HAS SOUPS 24246 WITH SCORE 25637.784
AT ITER 142 NEW BEST:: SOT 3939880 SOS 1391792 HAS SOPS 1269780 HAS SOUS 24326 HAS SOUPS 24224 WITH SCORE 25615.792
AT ITER 147 NEW BEST:: SOT 3939886 SOS 1391796 HAS SOPS 1269784 HAS SOUS 24324 HAS SOUPS 24222 WITH SCORE 25613.796
AT ITER 149 NEW BEST:: SOT 3939902 SOS 1391789 HAS SOPS 1269777 HAS SOUS 24314 HAS SOUPS 24212 WITH SCORE 25603.789
AT ITER 151 NEW BEST:: SOT 3939900 SOS 1391787 HAS SOPS 1269775 HAS SOUS 24314 HAS SOUPS 24212 WITH SCORE 25603.787
AT ITER 155 NEW BEST:: SOT 3939900 SOS 1391787 HAS SOPS 1266951 HAS SOUS 22886 HAS SOUPS 22784 WITH SCORE 24175.787
AT ITER 163 NEW BEST:: SOT 3939907 SOS 1391759 HAS SOPS 1266923 HAS SOUS 22845 HAS SOUPS 22743 WITH SCORE 24134.759
AT ITER 176 NEW BEST:: SOT 3939907 SOS 1391725 HAS SOPS 1266889 HAS SOUS 22801 HAS SOUPS 22699 WITH SCORE 24090.725
AT ITER 177 NEW BEST:: SOT 3939690 SOS 1393685 HAS SOPS 1266490 HAS SOUS 22813 HAS SOUPS 22644 WITH SCORE 24037.685
AT ITER 178 NEW BEST:: SOT 3939690 SOS 1393685 HAS SOPS 1265314 HAS SOUS 21021 HAS SOUPS 20852 WITH SCORE 22245.685
AT ITER 181 NEW BEST:: SOT 3939687 SOS 1393683 HAS SOPS 1265312 HAS SOUS 21019 HAS SOUPS 20850 WITH SCORE 22243.683
AT ITER 196 NEW BEST:: SOT 3939687 SOS 1393683 HAS SOPS 1265312 HAS SOUS 21006 HAS SOUPS 20837 WITH SCORE 22230.683
AT ITER 198 NEW BEST:: SOT 3939687 SOS 1393672 HAS SOPS 1265312 HAS SOUS 21003 HAS SOUPS 20837 WITH SCORE 22230.672
AT ITER 206 NEW BEST:: SOT 3939690 SOS 1393673 HAS SOPS 1261858 HAS SOUS 21002 HAS SOUPS 20836 WITH SCORE 22229.673
AT ITER 209 NEW BEST:: SOT 3939682 SOS 1393668 HAS SOPS 1261831 HAS SOUS 20994 HAS SOUPS 20828 WITH SCORE 22221.668
AT ITER 223 NEW BEST:: SOT 3939711 SOS 1393596 HAS SOPS 1261759 HAS SOUS 20920 HAS SOUPS 20754 WITH SCORE 22147.596
AT ITER 228 NEW BEST:: SOT 3939703 SOS 1393588 HAS SOPS 1261743 HAS SOUS 20916 HAS SOUPS 20750 WITH SCORE 22143.588
AT ITER 239 NEW BEST:: SOT 3939703 SOS 1393586 HAS SOPS 1261743 HAS SOUS 20916 HAS SOUPS 20750 WITH SCORE 22143.586
AT ITER 257 NEW BEST:: SOT 3939717 SOS 1393586 HAS SOPS 1261743 HAS SOUS 20902 HAS SOUPS 20736 WITH SCORE 22129.586
AT ITER 277 NEW BEST:: SOT 3939710 SOS 1393572 HAS SOPS 1261729 HAS SOUS 20895 HAS SOUPS 20729 WITH SCORE 22122.572
AT ITER 313 NEW BEST:: SOT 3939709 SOS 1393557 HAS SOPS 1261727 HAS SOUS 20893 HAS SOUPS 20727 WITH SCORE 22120.557
AT ITER 320 NEW BEST:: SOT 3939696 SOS 1393552 HAS SOPS 1261672 HAS SOUS 20880 HAS SOUPS 20714 WITH SCORE 22107.552
AT ITER 325 NEW BEST:: SOT 3939705 SOS 1393509 HAS SOPS 1261610 HAS SOUS 20869 HAS SOUPS 20703 WITH SCORE 22096.509
AT ITER 327 NEW BEST:: SOT 3939705 SOS 1393509 HAS SOPS 1259942 HAS SOUS 20517 HAS SOUPS 20351 WITH SCORE 21744.509
AT ITER 329 NEW BEST:: SOT 3939708 SOS 1393503 HAS SOPS 1259936 HAS SOUS 20511 HAS SOUPS 20345 WITH SCORE 21738.503
AT ITER 334 NEW BEST:: SOT 3939707 SOS 1393501 HAS SOPS 1259887 HAS SOUS 20510 HAS SOUPS 20344 WITH SCORE 21737.501
AT ITER 357 NEW BEST:: SOT 3939760 SOS 1393377 HAS SOPS 1259865 HAS SOUS 20446 HAS SOUPS 20280 WITH SCORE 21673.377
AT ITER 362 NEW BEST:: SOT 3939752 SOS 1393361 HAS SOPS 1259849 HAS SOUS 20438 HAS SOUPS 20272 WITH SCORE 21665.361
AT ITER 399 NEW BEST:: SOT 3939683 SOS 1393292 HAS SOPS 1259780 HAS SOUS 20369 HAS SOUPS 20203 WITH SCORE 21596.292
AT ITER 422 NEW BEST:: SOT 3939671 SOS 1393260 HAS SOPS 1259756 HAS SOUS 20345 HAS SOUPS 20179 WITH SCORE 21572.26
AT ITER 423 NEW BEST:: SOT 3939803 SOS 1393194 HAS SOPS 1259756 HAS SOUS 20295 HAS SOUPS 20129 WITH SCORE 21522.194
AT ITER 436 NEW BEST:: SOT 3939875 SOS 1393142 HAS SOPS 1259784 HAS SOUS 20285 HAS SOUPS 20119 WITH SCORE 21512.142
AT ITER 439 NEW BEST:: SOT 3939849 SOS 1393072 HAS SOPS 1259732 HAS SOUS 20229 HAS SOUPS 20063 WITH SCORE 21456.072
AT ITER 447 NEW BEST:: SOT 3939815 SOS 1393060 HAS SOPS 1259692 HAS SOUS 20223 HAS SOUPS 20057 WITH SCORE 21450.06
AT ITER 452 NEW BEST:: SOT 3939801 SOS 1393053 HAS SOPS 1259685 HAS SOUS 20223 HAS SOUPS 20057 WITH SCORE 21450.053
AT ITER 457 NEW BEST:: SOT 3939838 SOS 1392967 HAS SOPS 1259663 HAS SOUS 20185 HAS SOUPS 20019 WITH SCORE 21411.967
AT ITER 468 NEW BEST:: SOT 3939853 SOS 1392937 HAS SOPS 1259663 HAS SOUS 20170 HAS SOUPS 20004 WITH SCORE 21396.937
AT ITER 469 NEW BEST:: SOT 3939827 SOS 1392911 HAS SOPS 1259611 HAS SOUS 20144 HAS SOUPS 19978 WITH SCORE 21370.911
AT ITER 471 NEW BEST:: SOT 3939859 SOS 1335799 HAS SOPS 1259611 HAS SOUS 20158 HAS SOUPS 19994 WITH SCORE 21329.799
AT ITER 473 NEW BEST:: SOT 3939830 SOS 1335741 HAS SOPS 1259553 HAS SOUS 20100 HAS SOUPS 19936 WITH SCORE 21271.741
AT ITER 474 NEW BEST:: SOT 3939902 SOS 1335795 HAS SOPS 1254092 HAS SOUS 19914 HAS SOUPS 19750 WITH SCORE 21085.795
AT ITER 599 NEW BEST:: SOT 3939902 SOS 1335795 HAS SOPS 1254092 HAS SOUS 19912 HAS SOUPS 19748 WITH SCORE 21083.795
AT ITER 602 NEW BEST:: SOT 3939902 SOS 1335792 HAS SOPS 1254089 HAS SOUS 19909 HAS SOUPS 19745 WITH SCORE 21080.792
AT ITER 603 NEW BEST:: SOT 3939983 SOS 1335854 HAS SOPS 1254145 HAS SOUS 19894 HAS SOUPS 19730 WITH SCORE 21065.854
AT ITER 607 NEW BEST:: SOT 3940029 SOS 1335860 HAS SOPS 1254157 HAS SOUS 19886 HAS SOUPS 19722 WITH SCORE 21057.86
AT ITER 622 NEW BEST:: SOT 3939998 SOS 1335826 HAS SOPS 1254095 HAS SOUS 19858 HAS SOUPS 19694 WITH SCORE 21029.826
AT ITER 644 NEW BEST:: SOT 3939997 SOS 1335821 HAS SOPS 1253571 HAS SOUS 19796 HAS SOUPS 19632 WITH SCORE 20967.821
AT ITER 654 NEW BEST:: SOT 3939997 SOS 1335801 HAS SOPS 1253571 HAS SOUS 19796 HAS SOUPS 19632 WITH SCORE 20967.801
AT ITER 672 NEW BEST:: SOT 3939969 SOS 1335773 HAS SOPS 1246195 HAS SOUS 19745 HAS SOUPS 19581 WITH SCORE 20916.773
AT ITER 675 NEW BEST:: SOT 3939983 SOS 1335787 HAS SOPS 1225441 HAS SOUS 19740 HAS SOUPS 19576 WITH SCORE 20911.787
AT ITER 684 NEW BEST:: SOT 3939988 SOS 1335770 HAS SOPS 1225424 HAS SOUS 19723 HAS SOUPS 19559 WITH SCORE 20894.77
AT ITER 686 NEW BEST:: SOT 3940245 SOS 1335839 HAS SOPS 1225493 HAS SOUS 19709 HAS SOUPS 19545 WITH SCORE 20880.839
AT ITER 705 NEW BEST:: SOT 3940233 SOS 1335823 HAS SOPS 1225477 HAS SOUS 19705 HAS SOUPS 19541 WITH SCORE 20876.823
AT ITER 722 NEW BEST:: SOT 3940231 SOS 1335820 HAS SOPS 1225474 HAS SOUS 19704 HAS SOUPS 19540 WITH SCORE 20875.82
AT ITER 723 NEW BEST:: SOT 3940089 SOS 1335568 HAS SOPS 1225190 HAS SOUS 19562 HAS SOUPS 19398 WITH SCORE 20733.568
AT ITER 734 NEW BEST:: SOT 3940089 SOS 1335568 HAS SOPS 1225190 HAS SOUS 19555 HAS SOUPS 19391 WITH SCORE 20726.568
AT ITER 746 NEW BEST:: SOT 3940096 SOS 1335568 HAS SOPS 1225190 HAS SOUS 19548 HAS SOUPS 19384 WITH SCORE 20719.568
AT ITER 774 NEW BEST:: SOT 3940086 SOS 1335556 HAS SOPS 1225178 HAS SOUS 19534 HAS SOUPS 19370 WITH SCORE 20705.556
AT ITER 778 NEW BEST:: SOT 3940077 SOS 1335574 HAS SOPS 1225205 HAS SOUS 19525 HAS SOUPS 19361 WITH SCORE 20696.574
AT ITER 782 NEW BEST:: SOT 3940073 SOS 1335570 HAS SOPS 1225201 HAS SOUS 19521 HAS SOUPS 19357 WITH SCORE 20692.57
AT ITER 788 NEW BEST:: SOT 3940091 SOS 1335588 HAS SOPS 1223597 HAS SOUS 17374 HAS SOUPS 17210 WITH SCORE 18545.588
AT ITER 802 NEW BEST:: SOT 3940065 SOS 1335575 HAS SOPS 1223597 HAS SOUS 17361 HAS SOUPS 17197 WITH SCORE 18532.575
AT ITER 832 NEW BEST:: SOT 3940005 SOS 1335547 HAS SOPS 1223523 HAS SOUS 17347 HAS SOUPS 17183 WITH SCORE 18518.547
AT ITER 848 NEW BEST:: SOT 3940005 SOS 1335542 HAS SOPS 1223523 HAS SOUS 17343 HAS SOUPS 17183 WITH SCORE 18518.542
AT ITER 856 NEW BEST:: SOT 3939999 SOS 1335530 HAS SOPS 1223511 HAS SOUS 17337 HAS SOUPS 17177 WITH SCORE 18512.53
AT ITER 880 NEW BEST:: SOT 3939999 SOS 1335526 HAS SOPS 1223507 HAS SOUS 17333 HAS SOUPS 17173 WITH SCORE 18508.526
AT ITER 885 NEW BEST:: SOT 3939985 SOS 1335540 HAS SOPS 1223521 HAS SOUS 17326 HAS SOUPS 17166 WITH SCORE 18501.54
AT ITER 889 NEW BEST:: SOT 3940007 SOS 1335534 HAS SOPS 1223525 HAS SOUS 17324 HAS SOUPS 17164 WITH SCORE 18499.534
AT ITER 896 NEW BEST:: SOT 3939998 SOS 1335516 HAS SOPS 1223507 HAS SOUS 17315 HAS SOUPS 17155 WITH SCORE 18490.516
AT ITER 915 NEW BEST:: SOT 3940004 SOS 1335486 HAS SOPS 1223491 HAS SOUS 17307 HAS SOUPS 17147 WITH SCORE 18482.486
AT ITER 920 NEW BEST:: SOT 3940001 SOS 1335486 HAS SOPS 1223488 HAS SOUS 17307 HAS SOUPS 17145 WITH SCORE 18480.486
AT ITER 927 NEW BEST:: SOT 3939977 SOS 1335462 HAS SOPS 1223440 HAS SOUS 17272 HAS SOUPS 17110 WITH SCORE 18445.462
AT ITER 940 NEW BEST:: SOT 3939981 SOS 1335462 HAS SOPS 1223440 HAS SOUS 17268 HAS SOUPS 17106 WITH SCORE 18441.462
AT ITER 945 NEW BEST:: SOT 3939896 SOS 1335436 HAS SOPS 1223350 HAS SOUS 17257 HAS SOUPS 17095 WITH SCORE 18430.436
AT ITER 958 NEW BEST:: SOT 3939896 SOS 1335424 HAS SOPS 1223028 HAS SOUS 17133 HAS SOUPS 16971 WITH SCORE 18306.424
AT ITER 961 NEW BEST:: SOT 3939892 SOS 1335420 HAS SOPS 1223024 HAS SOUS 17129 HAS SOUPS 16967 WITH SCORE 18302.42
AT ITER 962 NEW BEST:: SOT 3939894 SOS 1335408 HAS SOPS 1223012 HAS SOUS 17115 HAS SOUPS 16953 WITH SCORE 18288.408
AT ITER 967 NEW BEST:: SOT 3939887 SOS 1335394 HAS SOPS 1222998 HAS SOUS 17101 HAS SOUPS 16939 WITH SCORE 18274.394
AT ITER 969 NEW BEST:: SOT 3939907 SOS 1300446 HAS SOPS 1235198 HAS SOUS 17121 HAS SOUPS 16961 WITH SCORE 18261.446
AT ITER 1005 NEW BEST:: SOT 3939958 SOS 1300394 HAS SOPS 1235146 HAS SOUS 17058 HAS SOUPS 16898 WITH SCORE 18198.394
AT ITER 1014 NEW BEST:: SOT 3939971 SOS 1300396 HAS SOPS 1235148 HAS SOUS 17055 HAS SOUPS 16895 WITH SCORE 18195.396
AT ITER 1016 NEW BEST:: SOT 3939968 SOS 1300378 HAS SOPS 1235142 HAS SOUS 17047 HAS SOUPS 16889 WITH SCORE 18189.378
AT ITER 1074 NEW BEST:: SOT 3939968 SOS 1300374 HAS SOPS 1235138 HAS SOUS 17047 HAS SOUPS 16889 WITH SCORE 18189.374
AT ITER 1078 NEW BEST:: SOT 3939955 SOS 1300348 HAS SOPS 1235112 HAS SOUS 17024 HAS SOUPS 16866 WITH SCORE 18166.347999999998
AT ITER 1083 NEW BEST:: SOT 3939954 SOS 1300346 HAS SOPS 1235110 HAS SOUS 17022 HAS SOUPS 16864 WITH SCORE 18164.346
AT ITER 1111 NEW BEST:: SOT 3939953 SOS 1300337 HAS SOPS 1235115 HAS SOUS 17021 HAS SOUPS 16863 WITH SCORE 18163.337
AT ITER 1114 NEW BEST:: SOT 3939953 SOS 1297937 HAS SOPS 1232715 HAS SOUS 17023 HAS SOUPS 16865 WITH SCORE 18162.937
AT ITER 1130 NEW BEST:: SOT 3939946 SOS 1297927 HAS SOPS 1232705 HAS SOUS 17013 HAS SOUPS 16855 WITH SCORE 18152.927
AT ITER 1137 NEW BEST:: SOT 3939946 SOS 1297927 HAS SOPS 1232705 HAS SOUS 17004 HAS SOUPS 16846 WITH SCORE 18143.927
AT ITER 1140 NEW BEST:: SOT 3939947 SOS 1297926 HAS SOPS 1232704 HAS SOUS 17003 HAS SOUPS 16845 WITH SCORE 18142.926
AT ITER 1212 NEW BEST:: SOT 3939917 SOS 1300296 HAS SOPS 1235896 HAS SOUS 16963 HAS SOUPS 16805 WITH SCORE 18105.296
AT ITER 1218 NEW BEST:: SOT 3939893 SOS 1287408 HAS SOPS 1217757 HAS SOUS 16897 HAS SOUPS 16739 WITH SCORE 18026.408
AT ITER 1232 NEW BEST:: SOT 3939905 SOS 1287402 HAS SOPS 1217751 HAS SOUS 16891 HAS SOUPS 16733 WITH SCORE 18020.402000000002
AT ITER 1245 NEW BEST:: SOT 3939905 SOS 1287401 HAS SOPS 1217750 HAS SOUS 16890 HAS SOUPS 16732 WITH SCORE 18019.401
AT ITER 1282 NEW BEST:: SOT 3939903 SOS 1287383 HAS SOPS 1217738 HAS SOUS 16878 HAS SOUPS 16720 WITH SCORE 18007.383
AT ITER 1295 NEW BEST:: SOT 3939935 SOS 1287396 HAS SOPS 1217751 HAS SOUS 16876 HAS SOUPS 16718 WITH SCORE 18005.396
AT ITER 1304 NEW BEST:: SOT 3939933 SOS 1287394 HAS SOPS 1217747 HAS SOUS 16874 HAS SOUPS 16716 WITH SCORE 18003.394
AT ITER 1325 NEW BEST:: SOT 3939943 SOS 1299916 HAS SOPS 1236511 HAS SOUS 16855 HAS SOUPS 16697 WITH SCORE 17996.916
AT ITER 1331 NEW BEST:: SOT 3939931 SOS 1299910 HAS SOPS 1236499 HAS SOUS 16855 HAS SOUPS 16697 WITH SCORE 17996.91
AT ITER 1362 NEW BEST:: SOT 3939931 SOS 1301854 HAS SOPS 1230441 HAS SOUS 16601 HAS SOUPS 16443 WITH SCORE 17744.854
AT ITER 1376 NEW BEST:: SOT 3939919 SOS 1301812 HAS SOPS 1229311 HAS SOUS 16583 HAS SOUPS 16425 WITH SCORE 17726.812
AT ITER 1393 NEW BEST:: SOT 3939904 SOS 1301792 HAS SOPS 1229291 HAS SOUS 16578 HAS SOUPS 16420 WITH SCORE 17721.792
AT ITER 1396 NEW BEST:: SOT 3939901 SOS 1301789 HAS SOPS 1229288 HAS SOUS 16575 HAS SOUPS 16417 WITH SCORE 17718.789
AT ITER 1409 NEW BEST:: SOT 3939881 SOS 1301799 HAS SOPS 1229288 HAS SOUS 16565 HAS SOUPS 16407 WITH SCORE 17708.799
AT ITER 1418 NEW BEST:: SOT 3939885 SOS 1302257 HAS SOPS 1229284 HAS SOUS 16569 HAS SOUPS 16403 WITH SCORE 17705.257
AT ITER 1429 NEW BEST:: SOT 3939876 SOS 1302251 HAS SOPS 1229272 HAS SOUS 16566 HAS SOUPS 16400 WITH SCORE 17702.251
AT ITER 1437 NEW BEST:: SOT 3939871 SOS 1302246 HAS SOPS 1229262 HAS SOUS 16566 HAS SOUPS 16400 WITH SCORE 17702.246
AT ITER 1440 NEW BEST:: SOT 3939887 SOS 1302262 HAS SOPS 1224478 HAS SOUS 16519 HAS SOUPS 16353 WITH SCORE 17655.262
AT ITER 1447 NEW BEST:: SOT 3939929 SOS 1302126 HAS SOPS 1224445 HAS SOUS 16464 HAS SOUPS 16298 WITH SCORE 17600.126
AT ITER 1480 NEW BEST:: SOT 3939929 SOS 1302122 HAS SOPS 1224442 HAS SOUS 16461 HAS SOUPS 16295 WITH SCORE 17597.122
AT ITER 1499 NEW BEST:: SOT 3939931 SOS 1302122 HAS SOPS 1224442 HAS SOUS 16459 HAS SOUPS 16293 WITH SCORE 17595.122
AT ITER 1509 NEW BEST:: SOT 3939931 SOS 1302240 HAS SOPS 1224440 HAS SOUS 16459 HAS SOUPS 16291 WITH SCORE 17593.24
AT ITER 1519 NEW BEST:: SOT 3939935 SOS 1302248 HAS SOPS 1224073 HAS SOUS 16274 HAS SOUPS 16106 WITH SCORE 17408.248
AT ITER 1520 NEW BEST:: SOT 3939920 SOS 1302124 HAS SOPS 1223997 HAS SOUS 16248 HAS SOUPS 16080 WITH SCORE 17382.124
AT ITER 1521 NEW BEST:: SOT 3939920 SOS 1302112 HAS SOPS 1223985 HAS SOUS 16242 HAS SOUPS 16074 WITH SCORE 17376.112
AT ITER 1535 NEW BEST:: SOT 3939920 SOS 1302110 HAS SOPS 1223983 HAS SOUS 16240 HAS SOUPS 16072 WITH SCORE 17374.11
AT ITER 1541 NEW BEST:: SOT 3940007 SOS 1302184 HAS SOPS 1224007 HAS SOUS 16196 HAS SOUPS 16028 WITH SCORE 17330.184
AT ITER 1550 NEW BEST:: SOT 3939997 SOS 1302196 HAS SOPS 1223955 HAS SOUS 16186 HAS SOUPS 16018 WITH SCORE 17320.196
AT ITER 1569 NEW BEST:: SOT 3940013 SOS 1302188 HAS SOPS 1223298 HAS SOUS 16006 HAS SOUPS 15838 WITH SCORE 17140.188000000002
AT ITER 1570 NEW BEST:: SOT 3939996 SOS 1302171 HAS SOPS 1223281 HAS SOUS 15989 HAS SOUPS 15821 WITH SCORE 17123.171
AT ITER 1574 NEW BEST:: SOT 3939975 SOS 1302170 HAS SOPS 1223279 HAS SOUS 15987 HAS SOUPS 15819 WITH SCORE 17121.17
AT ITER 1580 NEW BEST:: SOT 3939983 SOS 1302174 HAS SOPS 1223283 HAS SOUS 15985 HAS SOUPS 15817 WITH SCORE 17119.174
AT ITER 1671 NEW BEST:: SOT 3939976 SOS 1302160 HAS SOPS 1223269 HAS SOUS 15978 HAS SOUPS 15810 WITH SCORE 17112.16
AT ITER 1674 NEW BEST:: SOT 3939980 SOS 1302156 HAS SOPS 1223265 HAS SOUS 15974 HAS SOUPS 15806 WITH SCORE 17108.156
AT ITER 1675 NEW BEST:: SOT 3939980 SOS 1302156 HAS SOPS 1223265 HAS SOUS 15971 HAS SOUPS 15803 WITH SCORE 17105.156
AT ITER 1704 NEW BEST:: SOT 3940000 SOS 1302136 HAS SOPS 1223245 HAS SOUS 15951 HAS SOUPS 15783 WITH SCORE 17085.136
AT ITER 1728 NEW BEST:: SOT 3939996 SOS 1302137 HAS SOPS 1223228 HAS SOUS 15940 HAS SOUPS 15772 WITH SCORE 17074.137
AT ITER 1736 NEW BEST:: SOT 3939976 SOS 1302104 HAS SOPS 1223195 HAS SOUS 15928 HAS SOUPS 15760 WITH SCORE 17062.104
AT ITER 1766 NEW BEST:: SOT 3939975 SOS 1302064 HAS SOPS 1223155 HAS SOUS 15907 HAS SOUPS 15739 WITH SCORE 17041.064
AT ITER 1784 NEW BEST:: SOT 3939975 SOS 1302039 HAS SOPS 1223135 HAS SOUS 15902 HAS SOUPS 15734 WITH SCORE 17036.039
AT ITER 1789 NEW BEST:: SOT 3939975 SOS 1302039 HAS SOPS 1221647 HAS SOUS 15139 HAS SOUPS 14971 WITH SCORE 16273.039
AT ITER 1878 NEW BEST:: SOT 3939976 SOS 1302058 HAS SOPS 1221658 HAS SOUS 15132 HAS SOUPS 14964 WITH SCORE 16266.058
AT ITER 1879 NEW BEST:: SOT 3939976 SOS 1302058 HAS SOPS 1220864 HAS SOUS 15101 HAS SOUPS 14933 WITH SCORE 16235.058
AT ITER 1893 NEW BEST:: SOT 3939973 SOS 1302055 HAS SOPS 1220862 HAS SOUS 15098 HAS SOUPS 14930 WITH SCORE 16232.055
AT ITER 1903 NEW BEST:: SOT 3939958 SOS 1302040 HAS SOPS 1220847 HAS SOUS 15093 HAS SOUPS 14925 WITH SCORE 16227.04
AT ITER 1908 NEW BEST:: SOT 3939955 SOS 1302037 HAS SOPS 1220844 HAS SOUS 15091 HAS SOUPS 14923 WITH SCORE 16225.037
AT ITER 1924 NEW BEST:: SOT 3940007 SOS 1301967 HAS SOPS 1220832 HAS SOUS 15085 HAS SOUPS 14917 WITH SCORE 16218.967
AT ITER 1933 NEW BEST:: SOT 3940007 SOS 1301583 HAS SOPS 1202508 HAS SOUS 14693 HAS SOUPS 14525 WITH SCORE 15826.583
AT ITER 1936 NEW BEST:: SOT 3939998 SOS 1301565 HAS SOPS 1202490 HAS SOUS 14684 HAS SOUPS 14516 WITH SCORE 15817.565
AT ITER 1937 NEW BEST:: SOT 3940019 SOS 1301577 HAS SOPS 1202502 HAS SOUS 14675 HAS SOUPS 14507 WITH SCORE 15808.577
AT ITER 1975 NEW BEST:: SOT 3940013 SOS 1301575 HAS SOPS 1202500 HAS SOUS 14675 HAS SOUPS 14507 WITH SCORE 15808.575
AT ITER 2046 NEW BEST:: SOT 3940023 SOS 1301570 HAS SOPS 1202500 HAS SOUS 14670 HAS SOUPS 14502 WITH SCORE 15803.57
AT ITER 2052 NEW BEST:: SOT 3940019 SOS 1301566 HAS SOPS 1202496 HAS SOUS 14668 HAS SOUPS 14500 WITH SCORE 15801.566
AT ITER 2126 NEW BEST:: SOT 3940019 SOS 1301566 HAS SOPS 1202482 HAS SOUS 14661 HAS SOUPS 14493 WITH SCORE 15794.566
AT ITER 2213 NEW BEST:: SOT 3940060 SOS 1301546 HAS SOPS 1202490 HAS SOUS 14628 HAS SOUPS 14460 WITH SCORE 15761.546
AT ITER 2221 NEW BEST:: SOT 3940070 SOS 1301534 HAS SOPS 1202485 HAS SOUS 14620 HAS SOUPS 14452 WITH SCORE 15753.534
AT ITER 2232 NEW BEST:: SOT 3940070 SOS 1301548 HAS SOPS 1202485 HAS SOUS 14617 HAS SOUPS 14449 WITH SCORE 15750.548
AT ITER 2236 NEW BEST:: SOT 3940082 SOS 1301536 HAS SOPS 1202473 HAS SOUS 14611 HAS SOUPS 14443 WITH SCORE 15744.536
AT ITER 2316 NEW BEST:: SOT 3940074 SOS 1301512 HAS SOPS 1202449 HAS SOUS 14601 HAS SOUPS 14433 WITH SCORE 15734.512
AT ITER 2337 NEW BEST:: SOT 3940073 SOS 1301511 HAS SOPS 1202447 HAS SOUS 14599 HAS SOUPS 14431 WITH SCORE 15732.511
AT ITER 2349 NEW BEST:: SOT 3940062 SOS 1301511 HAS SOPS 1202447 HAS SOUS 14588 HAS SOUPS 14420 WITH SCORE 15721.511
AT ITER 2352 NEW BEST:: SOT 3940065 SOS 1301514 HAS SOPS 1202437 HAS SOUS 14586 HAS SOUPS 14418 WITH SCORE 15719.514
AT ITER 2359 NEW BEST:: SOT 3940065 SOS 1301514 HAS SOPS 1202437 HAS SOUS 14584 HAS SOUPS 14416 WITH SCORE 15717.514
AT ITER 2379 NEW BEST:: SOT 3940064 SOS 1301515 HAS SOPS 1202435 HAS SOUS 14582 HAS SOUPS 14414 WITH SCORE 15715.515
AT ITER 2428 NEW BEST:: SOT 3940058 SOS 1301511 HAS SOPS 1202431 HAS SOUS 14582 HAS SOUPS 14414 WITH SCORE 15715.511
AT ITER 2439 NEW BEST:: SOT 3940057 SOS 1301509 HAS SOPS 1201958 HAS SOUS 14518 HAS SOUPS 14350 WITH SCORE 15651.509
AT ITER 2458 NEW BEST:: SOT 3939996 SOS 1301495 HAS SOPS 1201918 HAS SOUS 14499 HAS SOUPS 14331 WITH SCORE 15632.495
AT ITER 2463 NEW BEST:: SOT 3940010 SOS 1301495 HAS SOPS 1201918 HAS SOUS 14485 HAS SOUPS 14317 WITH SCORE 15618.495
AT ITER 2470 NEW BEST:: SOT 3940002 SOS 1301487 HAS SOPS 1201902 HAS SOUS 14477 HAS SOUPS 14309 WITH SCORE 15610.487000000001
AT ITER 2568 NEW BEST:: SOT 3940000 SOS 1301437 HAS SOPS 1201850 HAS SOUS 14475 HAS SOUPS 14307 WITH SCORE 15608.437
AT ITER 2609 NEW BEST:: SOT 3939994 SOS 1301431 HAS SOPS 1201844 HAS SOUS 14475 HAS SOUPS 14307 WITH SCORE 15608.431
AT ITER 2718 NEW BEST:: SOT 3939993 SOS 1301407 HAS SOPS 1201842 HAS SOUS 14470 HAS SOUPS 14305 WITH SCORE 15606.407
AT ITER 2721 NEW BEST:: SOT 3939992 SOS 1301403 HAS SOPS 1201838 HAS SOUS 14468 HAS SOUPS 14303 WITH SCORE 15604.403
AT ITER 2813 NEW BEST:: SOT 3940186 SOS 1301431 HAS SOPS 1201866 HAS SOUS 14445 HAS SOUPS 14280 WITH SCORE 15581.431
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14224604 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15952312 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="StigmergyElection-PT-10a"
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 StigmergyElection-PT-10a, 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 r459-smll-167912651600688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-10a.tgz
mv StigmergyElection-PT-10a 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 ;