About the Execution of Marcie+red for SemanticWebServices-PT-S256P18
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1432.123 | 28366.00 | 50394.00 | 676.40 | TTTFFFFFFFTTFFTT | normal |
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.r362-smll-167891812900455.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 marciexred
Input is SemanticWebServices-PT-S256P18, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r362-smll-167891812900455
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.7M
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 10:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 10:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 26 10:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 9.2M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-00
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-01
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-02
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-03
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-04
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-05
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-06
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-07
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-08
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-09
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-10
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-11
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-12
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-13
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-14
FORMULA_NAME SemanticWebServices-PT-S256P18-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1679180130806
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=marciexred
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P18
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-18 22:55:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-03-18 22:55:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 22:55:35] [INFO ] Load time of PNML (sax parser for PT used): 1099 ms
[2023-03-18 22:55:35] [INFO ] Transformed 198 places.
[2023-03-18 22:55:35] [INFO ] Transformed 9732 transitions.
[2023-03-18 22:55:35] [INFO ] Parsed PT model containing 198 places and 9732 transitions and 78799 arcs in 1345 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 24 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 2 places in 28 ms
Reduce places removed 2 places and 2 transitions.
Ensure Unique test removed 4246 transitions
Reduce redundant transitions removed 4246 transitions.
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=16 ) properties (out of 10) seen :9
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=147 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2023-03-18 22:55:36] [INFO ] Flow matrix only has 995 transitions (discarded 4489 similar events)
// Phase 1: matrix 995 rows 196 cols
[2023-03-18 22:55:36] [INFO ] Computed 51 place invariants in 51 ms
[2023-03-18 22:55:36] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned sat
[2023-03-18 22:55:36] [INFO ] [Real]Absence check using 2 positive and 49 generalized place invariants in 15 ms returned sat
[2023-03-18 22:55:37] [INFO ] After 1072ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-18 22:55:37] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-18 22:55:37] [INFO ] [Nat]Absence check using 2 positive and 49 generalized place invariants in 11 ms returned sat
[2023-03-18 22:55:38] [INFO ] After 535ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-18 22:55:38] [INFO ] State equation strengthened by 305 read => feed constraints.
[2023-03-18 22:55:38] [INFO ] After 511ms SMT Verify possible using 305 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-18 22:55:39] [INFO ] After 775ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 214 ms.
[2023-03-18 22:55:39] [INFO ] After 1760ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 17 ms.
Support contains 18 out of 196 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 196/196 places, 5484/5484 transitions.
Graph (complete) has 1294 edges and 196 vertex of which 44 are kept as prefixes of interest. Removing 152 places using SCC suffix rule.32 ms
Discarding 152 places :
Also discarding 112 output transitions
Drop transitions removed 112 transitions
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 2 place count 43 transition count 5356
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 43 transition count 5356
Ensure Unique test removed 372 transitions
Reduce isomorphic transitions removed 372 transitions.
Iterating post reduction 0 with 372 rules applied. Total rules applied 375 place count 43 transition count 4984
Drop transitions removed 2304 transitions
Redundant transition composition rules discarded 2304 transitions
Iterating global reduction 1 with 2304 rules applied. Total rules applied 2679 place count 43 transition count 2680
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 1 with 37 rules applied. Total rules applied 2716 place count 42 transition count 2644
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 2718 place count 40 transition count 2628
Iterating global reduction 2 with 2 rules applied. Total rules applied 2720 place count 40 transition count 2628
Ensure Unique test removed 442 transitions
Reduce isomorphic transitions removed 442 transitions.
Iterating post reduction 2 with 442 rules applied. Total rules applied 3162 place count 40 transition count 2186
Applied a total of 3162 rules in 1448 ms. Remains 40 /196 variables (removed 156) and now considering 2186/5484 (removed 3298) transitions.
[2023-03-18 22:55:40] [INFO ] Flow matrix only has 748 transitions (discarded 1438 similar events)
Normalized transition count is 728 out of 748 initially.
// Phase 1: matrix 728 rows 40 cols
[2023-03-18 22:55:40] [INFO ] Computed 0 place invariants in 5 ms
[2023-03-18 22:55:41] [INFO ] Dead Transitions using invariants and state equation in 975 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2426 ms. Remains : 40/196 places, 2186/5484 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=63 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 1744092 steps, run timeout after 3001 ms. (steps per millisecond=581 ) properties seen :{}
Probabilistic random walk after 1744092 steps, saw 1690892 distinct states, run finished after 3009 ms. (steps per millisecond=579 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-18 22:55:44] [INFO ] Flow matrix only has 748 transitions (discarded 1438 similar events)
[2023-03-18 22:55:44] [INFO ] Invariant cache hit.
[2023-03-18 22:55:45] [INFO ] After 311ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-18 22:55:45] [INFO ] After 250ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-18 22:55:45] [INFO ] State equation strengthened by 182 read => feed constraints.
[2023-03-18 22:55:45] [INFO ] After 402ms SMT Verify possible using 182 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-18 22:55:46] [INFO ] After 534ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 126 ms.
[2023-03-18 22:55:46] [INFO ] After 981ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 6 ms.
Support contains 18 out of 40 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 40/40 places, 2186/2186 transitions.
Applied a total of 0 rules in 225 ms. Remains 40 /40 variables (removed 0) and now considering 2186/2186 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 229 ms. Remains : 40/40 places, 2186/2186 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 40/40 places, 2186/2186 transitions.
Applied a total of 0 rules in 201 ms. Remains 40 /40 variables (removed 0) and now considering 2186/2186 (removed 0) transitions.
[2023-03-18 22:55:46] [INFO ] Flow matrix only has 748 transitions (discarded 1438 similar events)
[2023-03-18 22:55:46] [INFO ] Invariant cache hit.
[2023-03-18 22:55:46] [INFO ] Implicit Places using invariants in 113 ms returned []
[2023-03-18 22:55:46] [INFO ] Flow matrix only has 748 transitions (discarded 1438 similar events)
[2023-03-18 22:55:46] [INFO ] Invariant cache hit.
[2023-03-18 22:55:47] [INFO ] State equation strengthened by 182 read => feed constraints.
[2023-03-18 22:55:47] [INFO ] Implicit Places using invariants and state equation in 652 ms returned []
Implicit Place search using SMT with State Equation took 770 ms to find 0 implicit places.
[2023-03-18 22:55:53] [INFO ] Redundant transitions in 6014 ms returned [8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 88, 89, 90, 91, 92, 93, 94, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 107, 108, 109, 110, 111, 112, 113, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 149, 150, 151, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 169, 170, 171, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 397, 398, 399, 400, 401, 402, 404, 405, 406, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 435, 436, 438, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 454, 455, 456, 458, 459, 460, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 480, 481, 482, 483, 484, 485, 486, 487, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 508, 509, 510, 511, 512, 513, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 559, 560, 561, 599, 611, 612, 615, 625, 626, 627, 637, 640, 649, 650, 653, 662, 664, 665, 675, 682, 683, 684, 685, 687, 688, 689, 695, 716, 722, 723, 724, 725, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 1025, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1059, 1066, 1067, 1068, 1069, 1070, 1071, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1148, 1149, 1150, 1151, 1152, 1153, 1160, 1163, 1171, 1172, 1173, 1174, 1175, 1187, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1205, 1206, 1207, 1218, 1220, 1222, 1225, 1229, 1244, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1264, 1265, 1267, 1268, 1270, 1272, 1274, 1276, 1278, 1281, 1294, 1296, 1298, 1301, 1305, 1309, 1310, 1311, 1312, 1313, 1315, 1316, 1317, 1319, 1320, 1321, 1323, 1324, 1326, 1328, 1335, 1336, 1338, 1339, 1341, 1343, 1345, 1347, 1349, 1352, 1355, 1356, 1357, 1358, 1359, 1361, 1363, 1364, 1365, 1367, 1368, 1369, 1371, 1372, 1374, 1376, 1378, 1379, 1380, 1381, 1382, 1384, 1385]
Found 716 redundant transitions using SMT.
Drop transitions removed 716 transitions
Redundant transitions reduction (with SMT) removed 716 transitions.
[2023-03-18 22:55:53] [INFO ] Flow matrix only has 214 transitions (discarded 1256 similar events)
Normalized transition count is 196 out of 214 initially.
// Phase 1: matrix 196 rows 40 cols
[2023-03-18 22:55:53] [INFO ] Computed 0 place invariants in 2 ms
[2023-03-18 22:55:54] [INFO ] Dead Transitions using invariants and state equation in 755 ms found 0 transitions.
Starting structural reductions in REACHABILITY mode, iteration 1 : 40/40 places, 1470/2186 transitions.
Graph (complete) has 426 edges and 40 vertex of which 38 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.2 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 38 transition count 1467
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 6 place count 36 transition count 1423
Iterating global reduction 1 with 2 rules applied. Total rules applied 8 place count 36 transition count 1423
Ensure Unique test removed 103 transitions
Reduce isomorphic transitions removed 103 transitions.
Iterating post reduction 1 with 103 rules applied. Total rules applied 111 place count 36 transition count 1320
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 112 place count 35 transition count 1268
Iterating global reduction 2 with 1 rules applied. Total rules applied 113 place count 35 transition count 1268
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Iterating post reduction 2 with 102 rules applied. Total rules applied 215 place count 35 transition count 1166
Applied a total of 215 rules in 139 ms. Remains 35 /40 variables (removed 5) and now considering 1166/1470 (removed 304) transitions.
[2023-03-18 22:55:54] [INFO ] Flow matrix only has 194 transitions (discarded 972 similar events)
Normalized transition count is 179 out of 194 initially.
// Phase 1: matrix 179 rows 35 cols
[2023-03-18 22:55:54] [INFO ] Computed 0 place invariants in 4 ms
[2023-03-18 22:55:54] [INFO ] Implicit Places using invariants in 71 ms returned []
[2023-03-18 22:55:54] [INFO ] Flow matrix only has 194 transitions (discarded 972 similar events)
[2023-03-18 22:55:54] [INFO ] Invariant cache hit.
[2023-03-18 22:55:54] [INFO ] State equation strengthened by 144 read => feed constraints.
[2023-03-18 22:55:54] [INFO ] Implicit Places using invariants and state equation in 203 ms returned []
Implicit Place search using SMT with State Equation took 276 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 35/40 places, 1166/2186 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 8172 ms. Remains : 35/40 places, 1166/2186 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=68 ) properties (out of 1) seen :0
Finished Best-First random walk after 1368 steps, including 0 resets, run visited all 1 properties in 6 ms. (steps per millisecond=228 )
FORMULA SemanticWebServices-PT-S256P18-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
All properties solved without resorting to model-checking.
Total runtime 21012 ms.
timeout --kill-after=10s --signal=SIGINT 1m for testing only
Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: /home/mcc/BenchKit/bin//../reducer/bin//../../marcie/bin/marcie --net-file=model.pnml --mcc-file=ReachabilityFireability.xml --memory=6 --mcc-mode
parse successfull
net created successfully
Net: SemanticWebServices_PT_S256P18
(NrP: 198 NrTr: 9732 NrArc: 78799)
parse formulas
formulas created successfully
place and transition orderings generation:0m 1.356sec
net check time: 0m 0.055sec
CANNOT_COMPUTE
BK_STOP 1679180159172
--------------------
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 ReachabilityFireability -timeout 360 -rebuildPNML
check for maximal unmarked siphon
found
The net has a maximal unmarked siphon:
p67
p158
The net has transition(s) that can never fire:
t2
t14
check for constant places
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
The net has transition(s) without pre-places:
t6 (t6)
t7 (t7)
t8 (t8)
t10 (t10)
t11 (t11)
t12 (t12)
t13 (t13)
t15 (t15)
t16 (t16)
t18 (t18)
t19 (t19)
t20 (t20)
t21 (t21)
t22 (t22)
t23 (t23)
t24 (t24)
t25 (t25)
t28 (t28)
t29 (t29)
t30 (t30)
t31 (t31)
t32 (t32)
t33 (t33)
t34 (t34)
t35 (t35)
t36 (t36)
t38 (t38)
t39 (t39)
t40 (t40)
t41 (t41)
t42 (t42)
t43 (t43)
t44 (t44)
t45 (t45)
t46 (t46)
t47 (t47)
t48 (t48)
t49 (t49)
t50 (t50)
t51 (t51)
t52 (t52)
t53 (t53)
t54 (t54)
t55 (t55)
t56 (t56)
t57 (t57)
t58 (t58)
t59 (t59)
t60 (t60)
t61 (t61)
t62 (t62)
t63 (t63)
t64 (t64)
t65 (t65)
t66 (t66)
t67 (t67)
t68 (t68)
t69 (t69)
t70 (t70)
t71 (t71)
t72 (t72)
t73 (t73)
t74 (t74)
t75 (t75)
t76 (t76)
t77 (t77)
t78 (t78)
t79 (t79)
t80 (t80)
t81 (t81)
t82 (t82)
t83 (t83)
t84 (t84)
t85 (t85)
t86 (t86)
t87 (t87)
t88 (t88)
t89 (t89)
t90 (t90)
t91 (t91)
t92 (t92)
t93 (t93)
t94 (t94)
t95 (t95)
t96 (t96)
t97 (t97)
t98 (t98)
t99 (t99)
t100 (t100)
t101 (t101)
t102 (t102)
t103 (t103)
t104 (t104)
t105 (t105)
t106 (t106)
t107 (t107)
t108 (t108)
t109 (t109)
t110 (t110)
t111 (t111)
t112 (t112)
t113 (t113)
t114 (t114)
t115 (t115)
t116 (t116)
t117 (t117)
t118 (t118)
t119 (t119)
t120 (t120)
t121 (t121)
t122 (t122)
t123 (t123)
t124 (t124)
t125 (t125)
t126 (t126)
t127 (t127)
t128 (t128)
t129 (t129)
t130 (t130)
t131 (t131)
t132 (t132)
t133 (t133)
t134 (t134)
t135 (t135)
t136 (t136)
t137 (t137)
t138 (t138)
t139 (t139)
t140 (t140)
t141 (t141)
t142 (t142)
t143 (t143)
t144 (t144)
t145 (t145)
t146 (t146)
t147 (t147)
t148 (t148)
t149 (t149)
t150 (t150)
t151 (t151)
t152 (t152)
t153 (t153)
t154 (t154)
t155 (t155)
t156 (t156)
t157 (t157)
t158 (t158)
t159 (t159)
t160 (t160)
t161 (t161)
t162 (t162)
t163 (t163)
t164 (t164)
t165 (t165)
t166 (t166)
t167 (t167)
t168 (t168)
t169 (t169)
t170 (t170)
t171 (t171)
t172 (t172)
t173 (t173)
t174 (t174)
t175 (t175)
t176 (t176)
t177 (t177)
t178 (t178)
t179 (t179)
t180 (t180)
t181 (t181)
t182 (t182)
t183 (t183)
t184 (t184)
t185 (t185)
t186 (t186)
t187 (t187)
t188 (t188)
t189 (t189)
t190 (t190)
t191 (t191)
t192 (t192)
t193 (t193)
t194 (t194)
t195 (t195)
t196 (t196)
t197 (t197)
t198 (t198)
t199 (t199)
t200 (t200)
t201 (t201)
t202 (t202)
t203 (t203)
t204 (t204)
t205 (t205)
t206 (t206)
t207 (t207)
t208 (t208)
t209 (t209)
t210 (t210)
t211 (t211)
t212 (t212)
t213 (t213)
t214 (t214)
t215 (t215)
t216 (t216)
t217 (t217)
t218 (t218)
t219 (t219)
t220 (t220)
t221 (t221)
t222 (t222)
t223 (t223)
t224 (t224)
t225 (t225)
t226 (t226)
t227 (t227)
t228 (t228)
t229 (t229)
t230 (t230)
t231 (t231)
t232 (t232)
t233 (t233)
t234 (t234)
t235 (t235)
t236 (t236)
t237 (t237)
t238 (t238)
t239 (t239)
t240 (t240)
t241 (t241)
t242 (t242)
t243 (t243)
t244 (t244)
t245 (t245)
t246 (t246)
t247 (t247)
t248 (t248)
t249 (t249)
t250 (t250)
t251 (t251)
t252 (t252)
t253 (t253)
t254 (t254)
t255 (t255)
t256 (t256)
t257 (t257)
t258 (t258)
t259 (t259)
t260 (t260)
t261 (t261)
t262 (t262)
t263 (t263)
t264 (t264)
t265 (t265)
t266 (t266)
t267 (t267)
t268 (t268)
t269 (t269)
t270 (t270)
t271 (t271)
t272 (t272)
t273 (t273)
t274 (t274)
t275 (t275)
t276 (t276)
t277 (t277)
t278 (t278)
t279 (t279)
t280 (t280)
t281 (t281)
t282 (t282)
t283 (t283)
t284 (t284)
t285 (t285)
t286 (t286)
t287 (t287)
t288 (t288)
t289 (t289)
t290 (t290)
t291 (t291)
t323 (t323)
t324 (t324)
t326 (t326)
t327 (t327)
t328 (t328)
t329 (t329)
t330 (t330)
t331 (t331)
t346 (t346)
t352 (t352)
t353 (t353)
t354 (t354)
t355 (t355)
t357 (t357)
t358 (t358)
t359 (t359)
t360 (t360)
t361 (t361)
t362 (t362)
t363 (t363)
t364 (t364)
t365 (t365)
t366 (t366)
t367 (t367)
t368 (t368)
t369 (t369)
t370 (t370)
t371 (t371)
t372 (t372)
t373 (t373)
t374 (t374)
t375 (t375)
t376 (t376)
t377 (t377)
t378 (t378)
t379 (t379)
t380 (t380)
t381 (t381)
t382 (t382)
t383 (t383)
t384 (t384)
t385 (t385)
t386 (t386)
t387 (t387)
t388 (t388)
t389 (t389)
t390 (t390)
t391 (t391)
t392 (t392)
t393 (t393)
t394 (t394)
t395 (t395)
t396 (t396)
t397 (t397)
t398 (t398)
t399 (t399)
t400 (t400)
t401 (t401)
t402 (t402)
t403 (t403)
t404 (t404)
t405 (t405)
t406 (t406)
t407 (t407)
t408 (t408)
t409 (t409)
t410 (t410)
t411 (t411)
t412 (t412)
t413 (t413)
t414 (t414)
t415 (t415)
t416 (t416)
t417 (t417)
t418 (t418)
t419 (t419)
t420 (t420)
t421 (t421)
t422 (t422)
t423 (t423)
t424 (t424)
t425 (t425)
t426 (t426)
t427 (t427)
t428 (t428)
t429 (t429)
t430 (t430)
t431 (t431)
t432 (t432)
t433 (t433)
t434 (t434)
t435 (t435)
t436 (t436)
t437 (t437)
t438 (t438)
t439 (t439)
t440 (t440)
t441 (t441)
t442 (t442)
t443 (t443)
t444 (t444)
t445 (t445)
t446 (t446)
t447 (t447)
t448 (t448)
t449 (t449)
t450 (t450)
t451 (t451)
t452 (t452)
t453 (t453)
t454 (t454)
t455 (t455)
t456 (t456)
t457 (t457)
t458 (t458)
t459 (t459)
t460 (t460)
t461 (t461)
t462 (t462)
t463 (t463)
t464 (t464)
t465 (t465)
t466 (t466)
t467 (t467)
t468 (t468)
t469 (t469)
t470 (t470)
t471 (t471)
t472 (t472)
t473 (t473)
t474 (t474)
t475 (t475)
t476 (t476)
t477 (t477)
t478 (t478)
t479 (t479)
t480 (t480)
t481 (t481)
t482 (t482)
t483 (t483)
t484 (t484)
t485 (t485)
t486 (t486)
t487 (t487)
t488 (t488)
t489 (t489)
t490 (t490)
t491 (t491)
t492 (t492)
t493 (t493)
t494 (t494)
t495 (t495)
t496 (t496)
t497 (t497)
t498 (t498)
t499 (t499)
t500 (t500)
t501 (t501)
t502 (t502)
t503 (t503)
t504 (t504)
t505 (t505)
t506 (t506)
t507 (t507)
t508 (t508)
t509 (t509)
t510 (t510)
t511 (t511)
t512 (t512)
t513 (t513)
t514 (t514)
t515 (t515)
t516 (t516)
t517 (t517)
t518 (t518)
t519 (t519)
t520 (t520)
t521 (t521)
t522 (t522)
t523 (t523)
t524 (t524)
t525 (t525)
t526 (t526)
t527 (t527)
t528 (t528)
t529 (t529)
t530 (t530)
t531 (t531)
t532 (t532)
t533 (t533)
t534 (t534)
t535 (t535)
t536 (t536)
t537 (t537)
t538 (t538)
t539 (t539)
t540 (t540)
t541 (t541)
t542 (t542)
t543 (t543)
t544 (t544)
t545 (t545)
t546 (t546)
t547 (t547)
t548 (t548)
t549 (t549)
t550 (t550)
t551 (t551)
t552 (t552)
t553 (t553)
t554 (t554)
t555 (t555)
t556 (t556)
t557 (t557)
t558 (t558)
t559 (t559)
t560 (t560)
t561 (t561)
t562 (t562)
t563 (t563)
t564 (t564)
t565 (t565)
t566 (t566)
t567 (t567)
t568 (t568)
t569 (t569)
t570 (t570)
t571 (t571)
t572 (t572)
t573 (t573)
t574 (t574)
t575 (t575)
t576 (t576)
t577 (t577)
t578 (t578)
t579 (t579)
t580 (t580)
t581 (t581)
t582 (t582)
t583 (t583)
t584 (t584)
t585 (t585)
t586 (t586)
t587 (t587)
t588 (t588)
t589 (t589)
t590 (t590)
t591 (t591)
t592 (t592)
t593 (t593)
t594 (t594)
t595 (t595)
t596 (t596)
t597 (t597)
t598 (t598)
t599 (t599)
t600 (t600)
t601 (t601)
t602 (t602)
t603 (t603)
t604 (t604)
t605 (t605)
t606 (t606)
t607 (t607)
t608 (t608)
t609 (t609)
t610 (t610)
t611 (t611)
t612 (t612)
t613 (t613)
t614 (t614)
t615 (t615)
t616 (t616)
t617 (t617)
t618 (t618)
t619 (t619)
t620 (t620)
t621 (t621)
t622 (t622)
t623 (t623)
t624 (t624)
t625 (t625)
t626 (t626)
t627 (t627)
t628 (t628)
t629 (t629)
t630 (t630)
t631 (t631)
t632 (t632)
t633 (t633)
t634 (t634)
t635 (t635)
t636 (t636)
t637 (t637)
t638 (t638)
t639 (t639)
t640 (t640)
t641 (t641)
t642 (t642)
t643 (t643)
t644 (t644)
t645 (t645)
t646 (t646)
t647 (t647)
t648 (t648)
t649 (t649)
t650 (t650)
t651 (t651)
t652 (t652)
t653 (t653)
t654 (t654)
t655 (t655)
t656 (t656)
t657 (t657)
t658 (t658)
t659 (t659)
t660 (t660)
t661 (t661)
t662 (t662)
t663 (t663)
t664 (t664)
t665 (t665)
t666 (t666)
t667 (t667)
t668 (t668)
t669 (t669)
t670 (t670)
t671 (t671)
t672 (t672)
t673 (t673)
t674 (t674)
t675 (t675)
t676 (t676)
t677 (t677)
t678 (t678)
t679 (t679)
t680 (t680)
t681 (t681)
t682 (t682)
t683 (t683)
t684 (t684)
t685 (t685)
t686 (t686)
t687 (t687)
t688 (t688)
t689 (t689)
t690 (t690)
t691 (t691)
t692 (t692)
t693 (t693)
t694 (t694)
t695 (t695)
t696 (t696)
t697 (t697)
t698 (t698)
t699 (t699)
t700 (t700)
t701 (t701)
t702 (t702)
t703 (t703)
t704 (t704)
t705 (t705)
t706 (t706)
t707 (t707)
t708 (t708)
t709 (t709)
t710 (t710)
t711 (t711)
t712 (t712)
t713 (t713)
t714 (t714)
t715 (t715)
t716 (t716)
t717 (t717)
t718 (t718)
t719 (t719)
t720 (t720)
t721 (t721)
t722 (t722)
t723 (t723)
t724 (t724)
t725 (t725)
t726 (t726)
t727 (t727)
t728 (t728)
t729 (t729)
t730 (t730)
t731 (t731)
t732 (t732)
t733 (t733)
t734 (t734)
t735 (t735)
t736 (t736)
t737 (t737)
t738 (t738)
t739 (t739)
t740 (t740)
t741 (t741)
t742 (t742)
t743 (t743)
t744 (t744)
t745 (t745)
t746 (t746)
t747 (t747)
t748 (t748)
t749 (t749)
t750 (t750)
t751 (t751)
t752 (t752)
t753 (t753)
t754 (t754)
t755 (t755)
t756 (t756)
t757 (t757)
t758 (t758)
t759 (t759)
t760 (t760)
t761 (t761)
t762 (t762)
t763 (t763)
t764 (t764)
t765 (t765)
t766 (t766)
t767 (t767)
t768 (t768)
t769 (t769)
t770 (t770)
t771 (t771)
t772 (t772)
t773 (t773)
t774 (t774)
t775 (t775)
t776 (t776)
t777 (t777)
t778 (t778)
t779 (t779)
t780 (t780)
t781 (t781)
t782 (t782)
t783 (t783)
t784 (t784)
t785 (t785)
t786 (t786)
t787 (t787)
t788 (t788)
t789 (t789)
t790 (t790)
t791 (t791)
t792 (t792)
t793 (t793)
t794 (t794)
t795 (t795)
t796 (t796)
t797 (t797)
t798 (t798)
t799 (t799)
t800 (t800)
t801 (t801)
t802 (t802)
t803 (t803)
t804 (t804)
t805 (t805)
t806 (t806)
t808 (t808)
t809 (t809)
t810 (t810)
t811 (t811)
t812 (t812)
t813 (t813)
t814 (t814)
t815 (t815)
t816 (t816)
t817 (t817)
t818 (t818)
t819 (t819)
t820 (t820)
t821 (t821)
t822 (t822)
t823 (t823)
t824 (t824)
t825 (t825)
t826 (t826)
t827 (t827)
t828 (t828)
t829 (t829)
t830 (t830)
t831 (t831)
t832 (t832)
t833 (t833)
t834 (t834)
t835 (t835)
t836 (t836)
t837 (t837)
t838 (t838)
t839 (t839)
t840 (t840)
t841 (t841)
t842 (t842)
t844 (t844)
t845 (t845)
t846 (t846)
t847 (t847)
t848 (t848)
t849 (t849)
t850 (t850)
t851 (t851)
t852 (t852)
t853 (t853)
t857 (t857)
t858 (t858)
t859 (t859)
t860 (t860)
t861 (t861)
t862 (t862)
t863 (t863)
t864 (t864)
t865 (t865)
t866 (t866)
t867 (t867)
t868 (t868)
t869 (t869)
t870 (t870)
t871 (t871)
t872 (t872)
t873 (t873)
t874 (t874)
t875 (t875)
t876 (t876)
t877 (t877)
t878 (t878)
t879 (t879)
t880 (t880)
t881 (t881)
t882 (t882)
t883 (t883)
t884 (t884)
t885 (t885)
t886 (t886)
t887 (t887)
t888 (t888)
t889 (t889)
t890 (t890)
t891 (t891)
t892 (t892)
t893 (t893)
t894 (t894)
t895 (t895)
t896 (t896)
t897 (t897)
t898 (t898)
t899 (t899)
t900 (t900)
t901 (t901)
t902 (t902)
t903 (t903)
t904 (t904)
t905 (t905)
t906 (t906)
t907 (t907)
t908 (t908)
t909 (t909)
t910 (t910)
t911 (t911)
t912 (t912)
t913 (t913)
t918 (t918)
t919 (t919)
t920 (t920)
t921 (t921)
t922 (t922)
t923 (t923)
t928 (t928)
t931 (t931)
t932 (t932)
t933 (t933)
t934 (t934)
t935 (t935)
t936 (t936)
t937 (t937)
t938 (t938)
t939 (t939)
t940 (t940)
t941 (t941)
t942 (t942)
t943 (t943)
t944 (t944)
t945 (t945)
t946 (t946)
t947 (t947)
t948 (t948)
t949 (t949)
t950 (t950)
t951 (t951)
t952 (t952)
t953 (t953)
t954 (t954)
t955 (t955)
t956 (t956)
t957 (t957)
t958 (t958)
t959 (t959)
t960 (t960)
t961 (t961)
t962 (t962)
t963 (t963)
t964 (t964)
t965 (t965)
t966 (t966)
t967 (t967)
t969 (t969)
t970 (t970)
t971 (t971)
t972 (t972)
t973 (t973)
t974 (t974)
t975 (t975)
t976 (t976)
t977 (t977)
t978 (t978)
t980 (t980)
t981 (t981)
t982 (t982)
t983 (t983)
t984 (t984)
t985 (t985)
t986 (t986)
t987 (t987)
t988 (t988)
t989 (t989)
t990 (t990)
t991 (t991)
t992 (t992)
t993 (t993)
t994 (t994)
t995 (t995)
t996 (t996)
t997 (t997)
t998 (t998)
t999 (t999)
t1000 (t1000)
t1002 (t1002)
t1003 (t1003)
t1004 (t1004)
t1005 (t1005)
t1006 (t1006)
t1007 (t1007)
t1008 (t1008)
t1009 (t1009)
t1010 (t1010)
t1011 (t1011)
t1019 (t1019)
t1020 (t1020)
t1021 (t1021)
t1022 (t1022)
t1023 (t1023)
t1024 (t1024)
t1025 (t1025)
t1029 (t1029)
t1030 (t1030)
t1031 (t1031)
t1032 (t1032)
t1033 (t1033)
t1034 (t1034)
t1038 (t1038)
t1039 (t1039)
t1040 (t1040)
t1041 (t1041)
t1042 (t1042)
t1043 (t1043)
t1044 (t1044)
t1045 (t1045)
t1046 (t1046)
t1047 (t1047)
t1048 (t1048)
t1049 (t1049)
t1050 (t1050)
t1051 (t1051)
t1052 (t1052)
t1054 (t1054)
t1055 (t1055)
t1056 (t1056)
t1057 (t1057)
t1058 (t1058)
t1059 (t1059)
t1060 (t1060)
t1061 (t1061)
t1062 (t1062)
t1063 (t1063)
t1066 (t1066)
t1067 (t1067)
t1068 (t1068)
t1069 (t1069)
t1070 (t1070)
t1072 (t1072)
t1073 (t1073)
t1074 (t1074)
t1075 (t1075)
t1076 (t1076)
t1077 (t1077)
t1078 (t1078)
t1081 (t1081)
t1082 (t1082)
t1083 (t1083)
t1084 (t1084)
t1085 (t1085)
t1086 (t1086)
t1087 (t1087)
t1088 (t1088)
t1089 (t1089)
t1090 (t1090)
t1094 (t1094)
t1095 (t1095)
t1096 (t1096)
t1097 (t1097)
t1098 (t1098)
t1099 (t1099)
t1100 (t1100)
t1101 (t1101)
t1102 (t1102)
t1103 (t1103)
t1104 (t1104)
t1105 (t1105)
t1106 (t1106)
t1107 (t1107)
t1108 (t1108)
t1109 (t1109)
t1110 (t1110)
t1111 (t1111)
t1112 (t1112)
t1113 (t1113)
t1114 (t1114)
t1115 (t1115)
t1116 (t1116)
t1117 (t1117)
t1118 (t1118)
t1120 (t1120)
t1121 (t1121)
t1122 (t1122)
t1123 (t1123)
t1124 (t1124)
t1125 (t1125)
t1126 (t1126)
t1127 (t1127)
t1128 (t1128)
t1129 (t1129)
t1136 (t1136)
t1137 (t1137)
t1138 (t1138)
t1139 (t1139)
t1140 (t1140)
t1141 (t1141)
t1142 (t1142)
t1143 (t1143)
t1144 (t1144)
t1145 (t1145)
t1147 (t1147)
t1148 (t1148)
t1149 (t1149)
t1150 (t1150)
t1151 (t1151)
t1152 (t1152)
t1156 (t1156)
t1157 (t1157)
t1158 (t1158)
t1159 (t1159)
t1160 (t1160)
t1161 (t1161)
t1162 (t1162)
t1163 (t1163)
t1164 (t1164)
t1165 (t1165)
t1166 (t1166)
t1167 (t1167)
t1168 (t1168)
t1169 (t1169)
t1170 (t1170)
t1173 (t1173)
t1174 (t1174)
t1175 (t1175)
t1176 (t1176)
t1177 (t1177)
t1178 (t1178)
t1179 (t1179)
t1180 (t1180)
t1181 (t1181)
t1182 (t1182)
t1183 (t1183)
t1184 (t1184)
t1185 (t1185)
t1186 (t1186)
t1187 (t1187)
t1189 (t1189)
t1190 (t1190)
t1191 (t1191)
t1192 (t1192)
t1193 (t1193)
t1198 (t1198)
t1200 (t1200)
t1201 (t1201)
t1202 (t1202)
t1203 (t1203)
t1204 (t1204)
t1205 (t1205)
t1206 (t1206)
t1207 (t1207)
t1208 (t1208)
t1209 (t1209)
t1210 (t1210)
t1211 (t1211)
t1212 (t1212)
t1213 (t1213)
t1214 (t1214)
t1217 (t1217)
t1218 (t1218)
t1219 (t1219)
t1220 (t1220)
t1221 (t1221)
t1225 (t1225)
t1226 (t1226)
t1227 (t1227)
t1228 (t1228)
t1229 (t1229)
t1230 (t1230)
t1231 (t1231)
t1232 (t1232)
t1233 (t1233)
t1234 (t1234)
t1235 (t1235)
t1236 (t1236)
t1237 (t1237)
t1238 (t1238)
t1239 (t1239)
t1240 (t1240)
t1241 (t1241)
t1242 (t1242)
t1243 (t1243)
t1244 (t1244)
t1245 (t1245)
t1249 (t1249)
t1250 (t1250)
t1251 (t1251)
t1252 (t1252)
t1253 (t1253)
t1259 (t1259)
t1260 (t1260)
t1261 (t1261)
t1262 (t1262)
t1263 (t1263)
t1264 (t1264)
t1265 (t1265)
t1266 (t1266)
t1267 (t1267)
t1268 (t1268)
t1270 (t1270)
t1271 (t1271)
t1272 (t1272)
t1273 (t1273)
t1274 (t1274)
t1275 (t1275)
t1276 (t1276)
t1277 (t1277)
t1278 (t1278)
t1279 (t1279)
t1280 (t1280)
t1281 (t1281)
t1282 (t1282)
t1283 (t1283)
t1284 (t1284)
t1285 (t1285)
t1289 (t1289)
t1290 (t1290)
t1291 (t1291)
t1292 (t1292)
t1293 (t1293)
t1294 (t1294)
t1295 (t1295)
t1296 (t1296)
t1297 (t1297)
t1298 (t1298)
t1299 (t1299)
t1300 (t1300)
t1301 (t1301)
t1302 (t1302)
t1303 (t1303)
t1304 (t1304)
t1305 (t1305)
t1306 (t1306)
t1307 (t1307)
t1308 (t1308)
t1311 (t1311)
t1312 (t1312)
t1313 (t1313)
t1314 (t1314)
t1315 (t1315)
t1316 (t1316)
t1317 (t1317)
t1318 (t1318)
t1319 (t1319)
t1320 (t1320)
t1321 (t1321)
t1322 (t1322)
t1325 (t1325)
t1326 (t1326)
t1327 (t1327)
t1328 (t1328)
t1329 (t1329)
t1330 (t1330)
t1331 (t1331)
t1332 (t1332)
t1333 (t1333)
t1334 (t1334)
t1335 (t1335)
t1336 (t1336)
t1337 (t1337)
t1338 (t1338)
t1339 (t1339)
t1340 (t1340)
t1341 (t1341)
t1342 (t1342)
t1343 (t1343)
t1344 (t1344)
t1347 (t1347)
t1349 (t1349)
t1350 (t1350)
t1351 (t1351)
t1352 (t1352)
t1353 (t1353)
t1354 (t1354)
t1355 (t1355)
t1356 (t1356)
t1357 (t1357)
t1358 (t1358)
t1359 (t1359)
t1361 (t1361)
t1364 (t1364)
t1370 (t1370)
t1371 (t1371)
t1372 (t1372)
t1373 (t1373)
t1374 (t1374)
t1375 (t1375)
t1376 (t1376)
t1377 (t1377)
t1378 (t1378)
t1379 (t1379)
t1380 (t1380)
t1381 (t1381)
t1382 (t1382)
t1383 (t1383)
t1384 (t1384)
t1385 (t1385)
t1386 (t1386)
t1387 (t1387)
t1388 (t1388)
t1389 (t1389)
t1390 (t1390)
t1391 (t1391)
t1392 (t1392)
t1393 (t1393)
t1394 (t1394)
t1395 (t1395)
t1396 (t1396)
t1397 (t1397)
t1398 (t1398)
t1399 (t1399)
t1401 (t1401)
t1402 (t1402)
t1403 (t1403)
t1404 (t1404)
t1405 (t1405)
t1406 (t1406)
t1407 (t1407)
t1408 (t1408)
t1409 (t1409)
t1410 (t1410)
t1411 (t1411)
t1412 (t1412)
t1413 (t1413)
t1414 (t1414)
t1415 (t1415)
t1417 (t1417)
t1418 (t1418)
t1419 (t1419)
t1420 (t1420)
t1421 (t1421)
t1422 (t1422)
t1423 (t1423)
t1424 (t1424)
t1425 (t1425)
t1426 (t1426)
t1427 (t1427)
t1428 (t1428)
t1429 (t1429)
t1430 (t1430)
t1431 (t1431)
t1432 (t1432)
t1433 (t1433)
t1434 (t1434)
t1435 (t1435)
t1436 (t1436)
t1440 (t1440)
t1441 (t1441)
t1442 (t1442)
t1443 (t1443)
t1444 (t1444)
t1445 (t1445)
t1446 (t1446)
t1447 (t1447)
t1448 (t1448)
t1449 (t1449)
t1450 (t1450)
t1451 (t1451)
t1455 (t1455)
t1456 (t1456)
t1457 (t1457)
t1458 (t1458)
t1459 (t1459)
t1460 (t1460)
t1461 (t1461)
t1462 (t1462)
t1463 (t1463)
t1464 (t1464)
t1465 (t1465)
t1466 (t1466)
t1467 (t1467)
t1468 (t1468)
t1469 (t1469)
t1470 (t1470)
t1471 (t1471)
t1472 (t1472)
t1473 (t1473)
t1474 (t1474)
t1475 (t1475)
t1476 (t1476)
t1477 (t1477)
t1478 (t1478)
t1479 (t1479)
t1480 (t1480)
t1481 (t1481)
t1482 (t1482)
t1483 (t1483)
t1484 (t1484)
t1485 (t1485)
t1486 (t1486)
t1487 (t1487)
t1488 (t1488)
t1489 (t1489)
t1490 (t1490)
t1491 (t1491)
t1492 (t1492)
t1493 (t1493)
t1496 (t1496)
t1497 (t1497)
t1498 (t1498)
t1499 (t1499)
t1500 (t1500)
t1501 (t1501)
t1502 (t1502)
t1503 (t1503)
t1504 (t1504)
t1505 (t1505)
t1506 (t1506)
t1507 (t1507)
t1508 (t1508)
t1509 (t1509)
t1510 (t1510)
t1511 (t1511)
t1512 (t1512)
t1513 (t1513)
t1514 (t1514)
t1515 (t1515)
t1517 (t1517)
t1518 (t1518)
t1519 (t1519)
t1520 (t1520)
t1521 (t1521)
t1522 (t1522)
t1523 (t1523)
t1524 (t1524)
t1525 (t1525)
t1526 (t1526)
t1527 (t1527)
t1528 (t1528)
t1529 (t1529)
t1530 (t1530)
t1531 (t1531)
t1532 (t1532)
t1533 (t1533)
t1534 (t1534)
t1535 (t1535)
t1537 (t1537)
t1538 (t1538)
t1539 (t1539)
t1540 (t1540)
t1541 (t1541)
t1542 (t1542)
t1543 (t1543)
t1544 (t1544)
t1545 (t1545)
t1546 (t1546)
t1547 (t1547)
t1548 (t1548)
t1549 (t1549)
t1550 (t1550)
t1551 (t1551)
t1552 (t1552)
t1553 (t1553)
t1554 (t1554)
t1555 (t1555)
t1556 (t1556)
t1557 (t1557)
t1558 (t1558)
t1559 (t1559)
t1560 (t1560)
t1561 (t1561)
t1562 (t1562)
t1563 (t1563)
t1564 (t1564)
t1565 (t1565)
t1566 (t1566)
t1567 (t1567)
t1568 (t1568)
t1569 (t1569)
t1570 (t1570)
t1572 (t1572)
t1573 (t1573)
t1574 (t1574)
t1575 (t1575)
t1576 (t1576)
t1577 (t1577)
t1578 (t1578)
t1579 (t1579)
t1580 (t1580)
t1581 (t1581)
t1582 (t1582)
t1583 (t1583)
t1584 (t1584)
t1585 (t1585)
t1586 (t1586)
t1587 (t1587)
t1588 (t1588)
t1589 (t1589)
t1590 (t1590)
t1591 (t1591)
t1592 (t1592)
t1593 (t1593)
t1594 (t1594)
t1595 (t1595)
t1596 (t1596)
t1597 (t1597)
t1598 (t1598)
t1599 (t1599)
t1600 (t1600)
t1601 (t1601)
t1602 (t1602)
t1603 (t1603)
t1604 (t1604)
t1605 (t1605)
t1606 (t1606)
t1607 (t1607)
t1608 (t1608)
t1609 (t1609)
t1610 (t1610)
t1611 (t1611)
t1612 (t1612)
t1613 (t1613)
t1614 (t1614)
t1615 (t1615)
t1616 (t1616)
t1617 (t1617)
t1618 (t1618)
t1619 (t1619)
t1620 (t1620)
t1621 (t1621)
t1622 (t1622)
t1623 (t1623)
t1624 (t1624)
t1625 (t1625)
t1626 (t1626)
t1627 (t1627)
t1628 (t1628)
t1629 (t1629)
t1630 (t1630)
t1631 (t1631)
t1632 (t1632)
t1633 (t1633)
t1634 (t1634)
t1635 (t1635)
t1636 (t1636)
t1637 (t1637)
t1638 (t1638)
t1639 (t1639)
t1640 (t1640)
t1641 (t1641)
t1642 (t1642)
t1643 (t1643)
t1644 (t1644)
t1645 (t1645)
t1646 (t1646)
t1647 (t1647)
t1648 (t1648)
t1649 (t1649)
t1650 (t1650)
t1651 (t1651)
t1652 (t1652)
t1653 (t1653)
t1654 (t1654)
t1655 (t1655)
t1656 (t1656)
t1657 (t1657)
t1658 (t1658)
t1659 (t1659)
t1660 (t1660)
t1661 (t1661)
t1662 (t1662)
t1663 (t1663)
t1664 (t1664)
t1665 (t1665)
t1666 (t1666)
t1667 (t1667)
t1668 (t1668)
t1669 (t1669)
t1670 (t1670)
t1671 (t1671)
t1672 (t1672)
t1673 (t1673)
t1674 (t1674)
t1675 (t1675)
t1676 (t1676)
t1677 (t1677)
t1678 (t1678)
t1679 (t1679)
t1680 (t1680)
t1681 (t1681)
t1682 (t1682)
t1683 (t1683)
t1684 (t1684)
t1685 (t1685)
t1686 (t1686)
t1687 (t1687)
t1688 (t1688)
t1689 (t1689)
t1690 (t1690)
t1691 (t1691)
t1692 (t1692)
t1693 (t1693)
t1694 (t1694)
t1695 (t1695)
t1696 (t1696)
t1697 (t1697)
t1698 (t1698)
t1699 (t1699)
t1700 (t1700)
t1701 (t1701)
t1702 (t1702)
t1703 (t1703)
t1704 (t1704)
t1705 (t1705)
t1706 (t1706)
t1707 (t1707)
t1708 (t1708)
t1709 (t1709)
t1710 (t1710)
t1711 (t1711)
t1712 (t1712)
t1713 (t1713)
t1714 (t1714)
t1715 (t1715)
t1716 (t1716)
t1717 (t1717)
t1718 (t1718)
t1719 (t1719)
t1720 (t1720)
t1721 (t1721)
t1722 (t1722)
t1723 (t1723)
t1724 (t1724)
t1725 (t1725)
t1726 (t1726)
t1727 (t1727)
t1728 (t1728)
t1729 (t1729)
t1730 (t1730)
t1731 (t1731)
t1732 (t1732)
t1733 (t1733)
t1734 (t1734)
t1735 (t1735)
t1736 (t1736)
t1737 (t1737)
t1738 (t1738)
t1739 (t1739)
t1740 (t1740)
t1741 (t1741)
t1742 (t1742)
t1743 (t1743)
t1744 (t1744)
t1745 (t1745)
t1746 (t1746)
t1747 (t1747)
t1748 (t1748)
t1749 (t1749)
t1750 (t1750)
t1751 (t1751)
t1752 (t1752)
t1753 (t1753)
t1754 (t1754)
t1755 (t1755)
t1757 (t1757)
t1758 (t1758)
t1759 (t1759)
t1760 (t1760)
t1761 (t1761)
t1762 (t1762)
t1763 (t1763)
t1764 (t1764)
t1765 (t1765)
t1766 (t1766)
t1767 (t1767)
t1768 (t1768)
t1769 (t1769)
t1770 (t1770)
t1771 (t1771)
t1772 (t1772)
t1773 (t1773)
t1774 (t1774)
t1775 (t1775)
t1776 (t1776)
t1777 (t1777)
t1778 (t1778)
t1779 (t1779)
t1780 (t1780)
t1781 (t1781)
t1782 (t1782)
t1783 (t1783)
t1784 (t1784)
t1785 (t1785)
t1786 (t1786)
t1787 (t1787)
t1788 (t1788)
t1789 (t1789)
t1790 (t1790)
t1791 (t1791)
t1792 (t1792)
t1793 (t1793)
t1794 (t1794)
t1795 (t1795)
t1796 (t1796)
t1797 (t1797)
t1798 (t1798)
t1799 (t1799)
t1801 (t1801)
t1802 (t1802)
t1803 (t1803)
t1804 (t1804)
t1805 (t1805)
t1806 (t1806)
t1807 (t1807)
t1808 (t1808)
t1809 (t1809)
t1810 (t1810)
t1811 (t1811)
t1812 (t1812)
t1813 (t1813)
t1814 (t1814)
t1815 (t1815)
t1816 (t1816)
t1817 (t1817)
t1818 (t1818)
t1819 (t1819)
t1820 (t1820)
t1821 (t1821)
t1822 (t1822)
t1823 (t1823)
t1824 (t1824)
t1825 (t1825)
t1826 (t1826)
t1827 (t1827)
t1828 (t1828)
t1829 (t1829)
t1830 (t1830)
t1833 (t1833)
t1834 (t1834)
t1835 (t1835)
t1836 (t1836)
t1837 (t1837)
t1838 (t1838)
t1839 (t1839)
t1841 (t1841)
t1842 (t1842)
t1843 (t1843)
t1844 (t1844)
t1845 (t1845)
t1846 (t1846)
t1847 (t1847)
t1848 (t1848)
t1849 (t1849)
t1850 (t1850)
t1851 (t1851)
t1852 (t1852)
t1853 (t1853)
t1854 (t1854)
t1855 (t1855)
t1856 (t1856)
t1857 (t1857)
t1858 (t1858)
t1859 (t1859)
t1860 (t1860)
t1861 (t1861)
t1862 (t1862)
t1863 (t1863)
t1864 (t1864)
t1865 (t1865)
t1866 (t1866)
t1867 (t1867)
t1868 (t1868)
t1869 (t1869)
t1870 (t1870)
t1871 (t1871)
t1872 (t1872)
t1873 (t1873)
t1874 (t1874)
t1875 (t1875)
t1876 (t1876)
t1877 (t1877)
t1880 (t1880)
t1881 (t1881)
t1882 (t1882)
t1883 (t1883)
t1884 (t1884)
t1885 (t1885)
t1887 (t1887)
t1888 (t1888)
t1889 (t1889)
t1890 (t1890)
t1891 (t1891)
t1892 (t1892)
t1894 (t1894)
t1895 (t1895)
t1896 (t1896)
t1897 (t1897)
t1898 (t1898)
t1899 (t1899)
t1901 (t1901)
t1902 (t1902)
t1903 (t1903)
t1904 (t1904)
t1905 (t1905)
t1906 (t1906)
t1907 (t1907)
t1908 (t1908)
t1909 (t1909)
t1910 (t1910)
t1911 (t1911)
t1912 (t1912)
t1913 (t1913)
t1914 (t1914)
t1915 (t1915)
t1918 (t1918)
t1919 (t1919)
t1920 (t1920)
t1921 (t1921)
t1922 (t1922)
t1923 (t1923)
t1924 (t1924)
t1925 (t1925)
t1926 (t1926)
t1927 (t1927)
t1928 (t1928)
t1929 (t1929)
t1930 (t1930)
t1931 (t1931)
t1932 (t1932)
t1933 (t1933)
t1934 (t1934)
t1935 (t1935)
t1936 (t1936)
t1937 (t1937)
t1938 (t1938)
t1939 (t1939)
t1940 (t1940)
t1941 (t1941)
t1942 (t1942)
t1943 (t1943)
t1944 (t1944)
t1945 (t1945)
t1946 (t1946)
t1947 (t1947)
t1948 (t1948)
t1949 (t1949)
t1950 (t1950)
t1952 (t1952)
t1955 (t1955)
t1956 (t1956)
t1957 (t1957)
t1958 (t1958)
t1959 (t1959)
t1960 (t1960)
t1961 (t1961)
t1962 (t1962)
t1963 (t1963)
t1964 (t1964)
t1965 (t1965)
t1966 (t1966)
t1967 (t1967)
t1968 (t1968)
t1969 (t1969)
t1970 (t1970)
t1971 (t1971)
t1974 (t1974)
t1975 (t1975)
t1976 (t1976)
t1977 (t1977)
t1978 (t1978)
t1979 (t1979)
t1980 (t1980)
t1981 (t1981)
t1982 (t1982)
t1983 (t1983)
t1984 (t1984)
t1985 (t1985)
t1986 (t1986)
t1987 (t1987)
t1988 (t1988)
t1989 (t1989)
t1990 (t1990)
t1991 (t1991)
t1992 (t1992)
t1993 (t1993)
t1995 (t1995)
t1996 (t1996)
t1997 (t1997)
t1998 (t1998)
t1999 (t1999)
t2000 (t2000)
t2001 (t2001)
t2002 (t2002)
t2003 (t2003)
t2004 (t2004)
t2005 (t2005)
t2006 (t2006)
t2007 (t2007)
t2008 (t2008)
t2009 (t2009)
t2010 (t2010)
t2011 (t2011)
t2012 (t2012)
t2013 (t2013)
t2014 (t2014)
t2015 (t2015)
t2016 (t2016)
t2017 (t2017)
t2018 (t2018)
t2019 (t2019)
t2020 (t2020)
t2021 (t2021)
t2022 (t2022)
t2023 (t2023)
t2024 (t2024)
t2025 (t2025)
t2027 (t2027)
t2028 (t2028)
t2029 (t2029)
t2030 (t2030)
t2031 (t2031)
t2032 (t2032)
t2033 (t2033)
t2034 (t2034)
t2035 (t2035)
t2036 (t2036)
t2037 (t2037)
t2038 (t2038)
t2039 (t2039)
t2040 (t2040)
t2041 (t2041)
t2042 (t2042)
t2043 (t2043)
t2044 (t2044)
t2045 (t2045)
t2046 (t2046)
t2047 (t2047)
t2048 (t2048)
t2049 (t2049)
t2050 (t2050)
t2051 (t2051)
t2052 (t2052)
t2054 (t2054)
t2055 (t2055)
t2056 (t2056)
t2057 (t2057)
t2058 (t2058)
t2059 (t2059)
t2060 (t2060)
t2061 (t2061)
t2062 (t2062)
t2063 (t2063)
t2064 (t2064)
t2065 (t2065)
t2066 (t2066)
t2067 (t2067)
t2068 (t2068)
t2069 (t2069)
t2070 (t2070)
t2071 (t2071)
t2072 (t2072)
t2073 (t2073)
t2074 (t2074)
t2075 (t2075)
t2076 (t2076)
t2077 (t2077)
t2078 (t2078)
t2079 (t2079)
t2080 (t2080)
t2081 (t2081)
t2082 (t2082)
t2083 (t2083)
t2084 (t2084)
t2085 (t2085)
t2086 (t2086)
t2087 (t2087)
t2088 (t2088)
t2089 (t2089)
t2090 (t2090)
t2091 (t2091)
t2092 (t2092)
t2093 (t2093)
t2094 (t2094)
t2095 (t2095)
t2096 (t2096)
t2097 (t2097)
t2098 (t2098)
t2099 (t2099)
t2100 (t2100)
t2101 (t2101)
t2102 (t2102)
t2103 (t2103)
t2104 (t2104)
t2105 (t2105)
t2106 (t2106)
t2107 (t2107)
t2108 (t2108)
t2109 (t2109)
t2110 (t2110)
t2111 (t2111)
t2112 (t2112)
t2113 (t2113)
t2114 (t2114)
t2115 (t2115)
t2116 (t2116)
t2117 (t2117)
t2118 (t2118)
t2119 (t2119)
t2120 (t2120)
t2121 (t2121)
t2122 (t2122)
t2123 (t2123)
t2124 (t2124)
t2125 (t2125)
t2126 (t2126)
t2127 (t2127)
t2128 (t2128)
t2129 (t2129)
t2130 (t2130)
t2131 (t2131)
t2132 (t2132)
t2133 (t2133)
t2134 (t2134)
t2135 (t2135)
t2136 (t2136)
t2137 (t2137)
t2138 (t2138)
t2139 (t2139)
t2140 (t2140)
t2141 (t2141)
t2142 (t2142)
t2143 (t2143)
t2144 (t2144)
t2145 (t2145)
t2146 (t2146)
t2147 (t2147)
t2148 (t2148)
t2149 (t2149)
t2150 (t2150)
t2151 (t2151)
t2152 (t2152)
t2153 (t2153)
t2154 (t2154)
t2155 (t2155)
t2156 (t2156)
t2157 (t2157)
t2158 (t2158)
t2159 (t2159)
t2160 (t2160)
t2161 (t2161)
t2162 (t2162)
t2163 (t2163)
t2164 (t2164)
t2165 (t2165)
t2166 (t2166)
t2167 (t2167)
t2168 (t2168)
t2169 (t2169)
t2170 (t2170)
t2171 (t2171)
t2172 (t2172)
t2173 (t2173)
t2174 (t2174)
t2175 (t2175)
t2176 (t2176)
t2177 (t2177)
t2178 (t2178)
t2179 (t2179)
t2180 (t2180)
t2181 (t2181)
t2182 (t2182)
t2183 (t2183)
t2184 (t2184)
t2185 (t2185)
t2186 (t2186)
t2187 (t2187)
t2188 (t2188)
t2189 (t2189)
t2190 (t2190)
t2191 (t2191)
t2192 (t2192)
t2193 (t2193)
t2194 (t2194)
t2195 (t2195)
t2196 (t2196)
t2197 (t2197)
t2198 (t2198)
t2199 (t2199)
t2200 (t2200)
t2201 (t2201)
t2202 (t2202)
t2203 (t2203)
ptnet_check.cc:63: Net check exception: Net check failed on the test:
"check if there are transitions without pre-places".
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="SemanticWebServices-PT-S256P18"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="marciexred"
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 marciexred"
echo " Input is SemanticWebServices-PT-S256P18, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r362-smll-167891812900455"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P18.tgz
mv SemanticWebServices-PT-S256P18 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;