About the Execution of M4M.full for DLCround-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13887.480 | 3585158.00 | 3614072.00 | 9037.00 | TFT??TTFTTTF???? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCround-PT-13b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649742900150
=====================================================================
--------------------
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 DLCround-PT-13b-CTLCardinality-00
FORMULA_NAME DLCround-PT-13b-CTLCardinality-01
FORMULA_NAME DLCround-PT-13b-CTLCardinality-02
FORMULA_NAME DLCround-PT-13b-CTLCardinality-03
FORMULA_NAME DLCround-PT-13b-CTLCardinality-04
FORMULA_NAME DLCround-PT-13b-CTLCardinality-05
FORMULA_NAME DLCround-PT-13b-CTLCardinality-06
FORMULA_NAME DLCround-PT-13b-CTLCardinality-07
FORMULA_NAME DLCround-PT-13b-CTLCardinality-08
FORMULA_NAME DLCround-PT-13b-CTLCardinality-09
FORMULA_NAME DLCround-PT-13b-CTLCardinality-10
FORMULA_NAME DLCround-PT-13b-CTLCardinality-11
FORMULA_NAME DLCround-PT-13b-CTLCardinality-12
FORMULA_NAME DLCround-PT-13b-CTLCardinality-13
FORMULA_NAME DLCround-PT-13b-CTLCardinality-14
FORMULA_NAME DLCround-PT-13b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526708873275
BK_STOP 1526712458433
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-13b as instance name.
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 2247220, 'Memory': 15949.27, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DLCround-PT-13b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-13b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-13b: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLCardinality @ DLCround-PT-13b @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-CTLCardinality.task
lola: E (G (A (F (((p2616 <= p298) AND (p3704 <= p2429)))))) : A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1))))) : NOT(A (F ((2 <= p252)))) : A (G (NOT(A (F ((3 <= p3371)))))) : ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256)))))) : NOT(A (X (A (F ((1 <= p2603)))))) : E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258)))))) : A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870))))) : A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446))))) : E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969)))) : NOT(NOT(A (G ((p3850 <= 1))))) : NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292)))) : (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232))))) : A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825))))) : E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59))))) : ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (((p2616 <= p298) AND (p3704 <= p2429))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U ((p2616 <= p298) AND (p3704 <= p2429))))))
lola: processed formula length: 68
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 3004 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 8 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 73 markings, 72 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((2 <= p252))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (2 <= p252)))
lola: processed formula length: 26
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 1502 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT(A (F ((3 <= p3371))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U A(TRUE U (3 <= p3371))))
lola: processed formula length: 37
lola: 7 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 87674 markings, 278291 edges, 3096156024340480000 markings/sec, 0 secs
lola: 181021 markings, 573207 edges, 18669 markings/sec, 5 secs
lola: 273363 markings, 867143 edges, 18468 markings/sec, 10 secs
lola: 364688 markings, 1157578 edges, 18265 markings/sec, 15 secs
lola: 456253 markings, 1450073 edges, 18313 markings/sec, 20 secs
lola: 549163 markings, 1745552 edges, 18582 markings/sec, 25 secs
lola: 641844 markings, 2040120 edges, 18536 markings/sec, 30 secs
lola: 734054 markings, 2333794 edges, 18442 markings/sec, 35 secs
lola: 826576 markings, 2629416 edges, 18504 markings/sec, 40 secs
lola: 920438 markings, 2928725 edges, 18772 markings/sec, 45 secs
lola: 1014253 markings, 3228257 edges, 18763 markings/sec, 50 secs
lola: 1106864 markings, 3525658 edges, 18522 markings/sec, 55 secs
lola: 1199487 markings, 3822784 edges, 18525 markings/sec, 60 secs
lola: 1292233 markings, 4120631 edges, 18549 markings/sec, 65 secs
lola: 1384934 markings, 4418676 edges, 18540 markings/sec, 70 secs
lola: 1477604 markings, 4714766 edges, 18534 markings/sec, 75 secs
lola: 1569891 markings, 5010703 edges, 18457 markings/sec, 80 secs
lola: 1662948 markings, 5308847 edges, 18611 markings/sec, 85 secs
lola: 1756152 markings, 5607306 edges, 18641 markings/sec, 90 secs
lola: 1849223 markings, 5905418 edges, 18614 markings/sec, 95 secs
lola: 1941527 markings, 6201199 edges, 18461 markings/sec, 100 secs
lola: 2032751 markings, 6495654 edges, 18245 markings/sec, 105 secs
lola: 2124458 markings, 6790703 edges, 18341 markings/sec, 110 secs
lola: 2216835 markings, 7087544 edges, 18475 markings/sec, 115 secs
lola: 2308662 markings, 7384112 edges, 18365 markings/sec, 120 secs
lola: 2399341 markings, 7680036 edges, 18136 markings/sec, 125 secs
lola: 2490708 markings, 7975643 edges, 18273 markings/sec, 130 secs
lola: 2582844 markings, 8271736 edges, 18427 markings/sec, 135 secs
lola: 2676419 markings, 8569004 edges, 18715 markings/sec, 140 secs
lola: 2768415 markings, 8865005 edges, 18399 markings/sec, 145 secs
lola: 2861718 markings, 9161299 edges, 18661 markings/sec, 150 secs
lola: 2953851 markings, 9454524 edges, 18427 markings/sec, 155 secs
lola: 3045344 markings, 9746905 edges, 18299 markings/sec, 160 secs
lola: 3130153 markings, 10020266 edges, 16962 markings/sec, 165 secs
lola: 3221572 markings, 10313526 edges, 18284 markings/sec, 170 secs
lola: 3314810 markings, 10611214 edges, 18648 markings/sec, 175 secs
lola: 3405768 markings, 10904269 edges, 18192 markings/sec, 180 secs
lola: 3497184 markings, 11199670 edges, 18283 markings/sec, 185 secs
lola: 3588697 markings, 11494927 edges, 18303 markings/sec, 190 secs
lola: 3680044 markings, 11787645 edges, 18269 markings/sec, 195 secs
lola: 3771004 markings, 12081099 edges, 18192 markings/sec, 200 secs
lola: 3862898 markings, 12375090 edges, 18379 markings/sec, 205 secs
lola: 3954756 markings, 12670327 edges, 18372 markings/sec, 210 secs
lola: 4045939 markings, 12964809 edges, 18237 markings/sec, 215 secs
lola: 4137212 markings, 13259929 edges, 18255 markings/sec, 220 secs
lola: 4230581 markings, 13557275 edges, 18674 markings/sec, 225 secs
lola: 4323521 markings, 13854553 edges, 18588 markings/sec, 230 secs
lola: 4416031 markings, 14152342 edges, 18502 markings/sec, 235 secs
lola: 4507240 markings, 14445657 edges, 18242 markings/sec, 240 secs
lola: 4598830 markings, 14738197 edges, 18318 markings/sec, 245 secs
lola: 4688544 markings, 15029668 edges, 17943 markings/sec, 250 secs
lola: 4778928 markings, 15320958 edges, 18077 markings/sec, 255 secs
lola: 4869917 markings, 15613119 edges, 18198 markings/sec, 260 secs
lola: 4960220 markings, 15905801 edges, 18061 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((p2480 <= 0) AND (p2730 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p2480 <= 0) AND (p2730 <= 2))
lola: processed formula length: 31
lola: 0 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((p2328 <= p256)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(EX((p2328 <= p256)))))
lola: processed formula length: 39
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 153460 markings, 193747 edges, 2011398055902838784 markings/sec, 0 secs
lola: 310295 markings, 393641 edges, 31367 markings/sec, 5 secs
lola: 466914 markings, 593277 edges, 31324 markings/sec, 10 secs
lola: 622190 markings, 793910 edges, 31055 markings/sec, 15 secs
lola: 777144 markings, 991365 edges, 30991 markings/sec, 20 secs
lola: 931737 markings, 1190640 edges, 30919 markings/sec, 25 secs
lola: 1084277 markings, 1385403 edges, 30508 markings/sec, 30 secs
lola: 1237397 markings, 1583836 edges, 30624 markings/sec, 35 secs
lola: 1391144 markings, 1780398 edges, 30749 markings/sec, 40 secs
lola: 1542981 markings, 1972893 edges, 30367 markings/sec, 45 secs
lola: 1686700 markings, 2154562 edges, 28744 markings/sec, 50 secs
lola: 1838422 markings, 2348397 edges, 30344 markings/sec, 55 secs
lola: 1991115 markings, 2545625 edges, 30539 markings/sec, 60 secs
lola: 2144348 markings, 2743716 edges, 30647 markings/sec, 65 secs
lola: 2296344 markings, 2941845 edges, 30399 markings/sec, 70 secs
lola: 2447330 markings, 3135483 edges, 30197 markings/sec, 75 secs
lola: 2600450 markings, 3330824 edges, 30624 markings/sec, 80 secs
lola: 2749914 markings, 3521280 edges, 29893 markings/sec, 85 secs
lola: 2900128 markings, 3712850 edges, 30043 markings/sec, 90 secs
lola: 3049357 markings, 3906200 edges, 29846 markings/sec, 95 secs
lola: 3199339 markings, 4100120 edges, 29996 markings/sec, 100 secs
lola: 3350069 markings, 4294638 edges, 30146 markings/sec, 105 secs
lola: 3500054 markings, 4488676 edges, 29997 markings/sec, 110 secs
lola: 3650914 markings, 4684858 edges, 30172 markings/sec, 115 secs
lola: 3800919 markings, 4879384 edges, 30001 markings/sec, 120 secs
lola: 3951113 markings, 5073738 edges, 30039 markings/sec, 125 secs
lola: 4100281 markings, 5265678 edges, 29834 markings/sec, 130 secs
lola: 4253298 markings, 5463409 edges, 30603 markings/sec, 135 secs
lola: 4403025 markings, 5656124 edges, 29945 markings/sec, 140 secs
lola: 4550391 markings, 5851312 edges, 29473 markings/sec, 145 secs
lola: 4701692 markings, 6047170 edges, 30260 markings/sec, 150 secs
lola: 4852447 markings, 6242413 edges, 30151 markings/sec, 155 secs
lola: 5001948 markings, 6438899 edges, 29900 markings/sec, 160 secs
lola: 5151724 markings, 6632826 edges, 29955 markings/sec, 165 secs
lola: 5301590 markings, 6824550 edges, 29973 markings/sec, 170 secs
lola: 5449398 markings, 7015048 edges, 29562 markings/sec, 175 secs
lola: 5598702 markings, 7208923 edges, 29861 markings/sec, 180 secs
lola: 5748359 markings, 7404109 edges, 29931 markings/sec, 185 secs
lola: 5896883 markings, 7597391 edges, 29705 markings/sec, 190 secs
lola: 6046111 markings, 7790158 edges, 29846 markings/sec, 195 secs
lola: 6194164 markings, 7985702 edges, 29611 markings/sec, 200 secs
lola: 6342381 markings, 8177817 edges, 29643 markings/sec, 205 secs
lola: 6489901 markings, 8370375 edges, 29504 markings/sec, 210 secs
lola: 6644238 markings, 8567987 edges, 30867 markings/sec, 215 secs
lola: 6800664 markings, 8766282 edges, 31285 markings/sec, 220 secs
lola: 6954978 markings, 8962539 edges, 30863 markings/sec, 225 secs
lola: 7108987 markings, 9160553 edges, 30802 markings/sec, 230 secs
lola: 7261999 markings, 9357332 edges, 30602 markings/sec, 235 secs
lola: 7413621 markings, 9551377 edges, 30324 markings/sec, 240 secs
lola: 7566625 markings, 9746442 edges, 30601 markings/sec, 245 secs
lola: 7719477 markings, 9942889 edges, 30570 markings/sec, 250 secs
lola: 7871509 markings, 10136103 edges, 30406 markings/sec, 255 secs
lola: 8022374 markings, 10328777 edges, 30173 markings/sec, 260 secs
lola: 8174737 markings, 10523800 edges, 30473 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (X (A (F ((1 <= p2603))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(NOT(A(TRUE U (1 <= p2603))))
lola: processed formula length: 31
lola: 8 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 161 markings, 161 edges
lola: ========================================
lola: subprocess 6 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((p4205 <= 2) AND (2 <= p3773) AND ((p1265 <= p2574) OR ((p1526 + 1 <= p4454) AND (p258 <= 1))))))
lola: processed formula length: 112
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 917 markings, 917 edges
lola: ========================================
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((p3875 <= p506)) U NOT(E(TRUE U (p2870 <= 1))))
lola: processed formula length: 52
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 162 markings, 324 edges
lola: ========================================
lola: subprocess 8 will run for 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(NOT(E(TRUE U (p350 <= 1))) U NOT(A(TRUE U (p3446 + 1 <= p3745))))
lola: processed formula length: 67
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 1503 edges
lola: ========================================
lola: subprocess 9 will run for 427 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-9.sara.
lola: sara is running 0 secs || 17475 markings, 20010 edges, 3495 markings/sec, 0 secs
lola: sara is running 5 secs || 36396 markings, 41547 edges, 3784 markings/sec, 5 secs
lola: sara is running 10 secs || 55571 markings, 63226 edges, 3835 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 74818 markings, 85207 edges, 3849 markings/sec, 15 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 10 will run for 495 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G ((p3850 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-10.sara.
lola: sara is running 0 secs || 42378 markings, 49783 edges, 8476 markings/sec, 0 secs
lola: sara is running 5 secs || 80655 markings, 94918 edges, 7655 markings/sec, 5 secs
lola: sara is running 10 secs || 119157 markings, 140234 edges, 7700 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 157540 markings, 185458 edges, 7677 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 11 will run for 589 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 589 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((p4638 <= p3553)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((p4638 <= p3553))
lola: processed formula length: 20
lola: 10 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p2922 + 1 <= p2911)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula length: 28
lola: 9 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 24 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1455 markings, 1455 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula length: 37
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 23 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 56813 markings, 65536 edges, 11363 markings/sec, 0 secs
lola: 118639 markings, 136992 edges, 12365 markings/sec, 5 secs
lola: 175901 markings, 202856 edges, 11452 markings/sec, 10 secs
lola: 238205 markings, 275002 edges, 12461 markings/sec, 15 secs
lola: 300377 markings, 346918 edges, 12434 markings/sec, 20 secs
lola: 367084 markings, 424184 edges, 13341 markings/sec, 25 secs
lola: 424824 markings, 490786 edges, 11548 markings/sec, 30 secs
lola: 477502 markings, 550775 edges, 10536 markings/sec, 35 secs
lola: 533495 markings, 614967 edges, 11199 markings/sec, 40 secs
lola: 589228 markings, 679134 edges, 11147 markings/sec, 45 secs
lola: 645878 markings, 744273 edges, 11330 markings/sec, 50 secs
lola: 700483 markings, 806860 edges, 10921 markings/sec, 55 secs
lola: 758212 markings, 873063 edges, 11546 markings/sec, 60 secs
lola: 815066 markings, 938468 edges, 11371 markings/sec, 65 secs
lola: 889637 markings, 1027779 edges, 14914 markings/sec, 70 secs
lola: 957193 markings, 1107477 edges, 13511 markings/sec, 75 secs
lola: 1016847 markings, 1176196 edges, 11931 markings/sec, 80 secs
lola: 1075329 markings, 1243684 edges, 11696 markings/sec, 85 secs
lola: 1138908 markings, 1317013 edges, 12716 markings/sec, 90 secs
lola: 1191280 markings, 1376870 edges, 10474 markings/sec, 95 secs
lola: 1246235 markings, 1439926 edges, 10991 markings/sec, 100 secs
lola: 1307687 markings, 1510794 edges, 12290 markings/sec, 105 secs
lola: 1366773 markings, 1578663 edges, 11817 markings/sec, 110 secs
lola: 1425441 markings, 1646306 edges, 11734 markings/sec, 115 secs
lola: 1482720 markings, 1712273 edges, 11456 markings/sec, 120 secs
lola: 1542533 markings, 1781331 edges, 11963 markings/sec, 125 secs
lola: 1603513 markings, 1851478 edges, 12196 markings/sec, 130 secs
lola: 1661584 markings, 1918428 edges, 11614 markings/sec, 135 secs
lola: 1727181 markings, 1995393 edges, 13119 markings/sec, 140 secs
lola: 1791961 markings, 2071400 edges, 12956 markings/sec, 145 secs
lola: 1847288 markings, 2135120 edges, 11065 markings/sec, 150 secs
lola: 1905022 markings, 2201395 edges, 11547 markings/sec, 155 secs
lola: 1965945 markings, 2271652 edges, 12185 markings/sec, 160 secs
lola: 2025992 markings, 2340668 edges, 12009 markings/sec, 165 secs
lola: 2085089 markings, 2408600 edges, 11819 markings/sec, 170 secs
lola: 2143911 markings, 2476061 edges, 11764 markings/sec, 175 secs
lola: 2200262 markings, 2540883 edges, 11270 markings/sec, 180 secs
lola: 2259770 markings, 2609439 edges, 11902 markings/sec, 185 secs
lola: 2321121 markings, 2680395 edges, 12270 markings/sec, 190 secs
lola: 2378725 markings, 2746652 edges, 11521 markings/sec, 195 secs
lola: 2440131 markings, 2817580 edges, 12281 markings/sec, 200 secs
lola: 2499681 markings, 2886413 edges, 11910 markings/sec, 205 secs
lola: 2563397 markings, 2960071 edges, 12743 markings/sec, 210 secs
lola: 2621881 markings, 3027365 edges, 11697 markings/sec, 215 secs
lola: 2678592 markings, 3092827 edges, 11342 markings/sec, 220 secs
lola: 2737258 markings, 3160617 edges, 11733 markings/sec, 225 secs
lola: 2796203 markings, 3228792 edges, 11789 markings/sec, 230 secs
lola: 2856690 markings, 3298770 edges, 12097 markings/sec, 235 secs
lola: 2916695 markings, 3368259 edges, 12001 markings/sec, 240 secs
lola: 2975614 markings, 3436427 edges, 11784 markings/sec, 245 secs
lola: 3036135 markings, 3506349 edges, 12104 markings/sec, 250 secs
lola: 3096443 markings, 3576100 edges, 12062 markings/sec, 255 secs
lola: 3156479 markings, 3645382 edges, 12007 markings/sec, 260 secs
lola: 3215853 markings, 3713957 edges, 11875 markings/sec, 265 secs
lola: 3277162 markings, 3784565 edges, 12262 markings/sec, 270 secs
lola: 3338458 markings, 3855481 edges, 12259 markings/sec, 275 secs
lola: 3396586 markings, 3922800 edges, 11626 markings/sec, 280 secs
lola: 3460294 markings, 3996503 edges, 12742 markings/sec, 285 secs
lola: 3520711 markings, 4066088 edges, 12083 markings/sec, 290 secs
lola: 3582585 markings, 4137715 edges, 12375 markings/sec, 295 secs
lola: 3640570 markings, 4204573 edges, 11597 markings/sec, 300 secs
lola: 3698993 markings, 4272186 edges, 11685 markings/sec, 305 secs
lola: 3760416 markings, 4343088 edges, 12285 markings/sec, 310 secs
lola: 3821718 markings, 4414019 edges, 12260 markings/sec, 315 secs
lola: 3877875 markings, 4478748 edges, 11231 markings/sec, 320 secs
lola: 3942006 markings, 4553256 edges, 12826 markings/sec, 325 secs
lola: 4004303 markings, 4625427 edges, 12459 markings/sec, 330 secs
lola: 4069648 markings, 4701000 edges, 13069 markings/sec, 335 secs
lola: 4130528 markings, 4771359 edges, 12176 markings/sec, 340 secs
lola: 4190181 markings, 4840320 edges, 11931 markings/sec, 345 secs
lola: 4252873 markings, 4912828 edges, 12538 markings/sec, 350 secs
lola: 4308183 markings, 4976824 edges, 11062 markings/sec, 355 secs
lola: 4371530 markings, 5050259 edges, 12669 markings/sec, 360 secs
lola: 4432293 markings, 5120540 edges, 12153 markings/sec, 365 secs
lola: 4495356 markings, 5193587 edges, 12613 markings/sec, 370 secs
lola: 4556481 markings, 5264209 edges, 12225 markings/sec, 375 secs
lola: 4619481 markings, 5337088 edges, 12600 markings/sec, 380 secs
lola: 4681786 markings, 5409407 edges, 12461 markings/sec, 385 secs
lola: 4746005 markings, 5484133 edges, 12844 markings/sec, 390 secs
lola: 4805927 markings, 5553423 edges, 11984 markings/sec, 395 secs
lola: 4867797 markings, 5624756 edges, 12374 markings/sec, 400 secs
lola: 4929977 markings, 5696771 edges, 12436 markings/sec, 405 secs
lola: 4991512 markings, 5767933 edges, 12307 markings/sec, 410 secs
lola: 5051170 markings, 5836825 edges, 11932 markings/sec, 415 secs
lola: 5110693 markings, 5905431 edges, 11905 markings/sec, 420 secs
lola: 5171746 markings, 5975575 edges, 12211 markings/sec, 425 secs
lola: 5229246 markings, 6041952 edges, 11500 markings/sec, 430 secs
lola: 5285084 markings, 6106676 edges, 11168 markings/sec, 435 secs
lola: 5347271 markings, 6178517 edges, 12437 markings/sec, 440 secs
lola: 5410340 markings, 6251712 edges, 12614 markings/sec, 445 secs
lola: 5471498 markings, 6322461 edges, 12232 markings/sec, 450 secs
lola: 5531396 markings, 6391973 edges, 11980 markings/sec, 455 secs
lola: 5594875 markings, 6465677 edges, 12696 markings/sec, 460 secs
lola: 5656407 markings, 6537049 edges, 12306 markings/sec, 465 secs
lola: 5722642 markings, 6614102 edges, 13247 markings/sec, 470 secs
lola: 5785484 markings, 6686906 edges, 12568 markings/sec, 475 secs
lola: 5844478 markings, 6755233 edges, 11799 markings/sec, 480 secs
lola: 5907627 markings, 6828066 edges, 12630 markings/sec, 485 secs
lola: 5968720 markings, 6898816 edges, 12219 markings/sec, 490 secs
lola: 6026086 markings, 6964829 edges, 11473 markings/sec, 495 secs
lola: 6088842 markings, 7037510 edges, 12551 markings/sec, 500 secs
lola: 6150406 markings, 7108740 edges, 12313 markings/sec, 505 secs
lola: 6214552 markings, 7183282 edges, 12829 markings/sec, 510 secs
lola: 6277673 markings, 7256481 edges, 12624 markings/sec, 515 secs
lola: 6352838 markings, 7346001 edges, 15033 markings/sec, 520 secs
lola: 6412787 markings, 7415699 edges, 11990 markings/sec, 525 secs
lola: 6469653 markings, 7481304 edges, 11373 markings/sec, 530 secs
lola: 6527569 markings, 7548180 edges, 11583 markings/sec, 535 secs
lola: 6587329 markings, 7617341 edges, 11952 markings/sec, 540 secs
lola: 6645816 markings, 7685082 edges, 11697 markings/sec, 545 secs
lola: 6709188 markings, 7758384 edges, 12674 markings/sec, 550 secs
lola: 6768045 markings, 7826429 edges, 11771 markings/sec, 555 secs
lola: 6830597 markings, 7899067 edges, 12510 markings/sec, 560 secs
lola: 6888934 markings, 7966811 edges, 11667 markings/sec, 565 secs
lola: 6948128 markings, 8035405 edges, 11839 markings/sec, 570 secs
lola: 7013450 markings, 8111377 edges, 13064 markings/sec, 575 secs
lola: 7075629 markings, 8183433 edges, 12436 markings/sec, 580 secs
lola: 7138168 markings, 8256293 edges, 12508 markings/sec, 585 secs
lola: 7202032 markings, 8330356 edges, 12773 markings/sec, 590 secs
lola: 7266572 markings, 8405229 edges, 12908 markings/sec, 595 secs
lola: 7324026 markings, 8471577 edges, 11491 markings/sec, 600 secs
lola: 7387317 markings, 8545590 edges, 12658 markings/sec, 605 secs
lola: 7448114 markings, 8615944 edges, 12159 markings/sec, 610 secs
lola: 7513805 markings, 8692468 edges, 13138 markings/sec, 615 secs
lola: 7578560 markings, 8767377 edges, 12951 markings/sec, 620 secs
lola: 7642320 markings, 8841243 edges, 12752 markings/sec, 625 secs
lola: 7707841 markings, 8917356 edges, 13104 markings/sec, 630 secs
lola: 7771175 markings, 8990739 edges, 12667 markings/sec, 635 secs
lola: 7827835 markings, 9056271 edges, 11332 markings/sec, 640 secs
lola: 7883447 markings, 9120716 edges, 11122 markings/sec, 645 secs
lola: 7944239 markings, 9191495 edges, 12158 markings/sec, 650 secs
lola: 8004358 markings, 9261135 edges, 12024 markings/sec, 655 secs
lola: 8064480 markings, 9330785 edges, 12024 markings/sec, 660 secs
lola: 8126981 markings, 9403270 edges, 12500 markings/sec, 665 secs
lola: 8180781 markings, 9465322 edges, 10760 markings/sec, 670 secs
lola: 8234643 markings, 9527412 edges, 10772 markings/sec, 675 secs
lola: 8296363 markings, 9598800 edges, 12344 markings/sec, 680 secs
lola: 8357364 markings, 9669471 edges, 12200 markings/sec, 685 secs
lola: 8419924 markings, 9741823 edges, 12512 markings/sec, 690 secs
lola: 8482659 markings, 9814465 edges, 12547 markings/sec, 695 secs
lola: 8549912 markings, 9893591 edges, 13451 markings/sec, 700 secs
lola: 8613841 markings, 9967898 edges, 12786 markings/sec, 705 secs
lola: 8672150 markings, 10035616 edges, 11662 markings/sec, 710 secs
lola: 8734738 markings, 10108236 edges, 12518 markings/sec, 715 secs
lola: 8795497 markings, 10178327 edges, 12152 markings/sec, 720 secs
lola: 8856042 markings, 10248381 edges, 12109 markings/sec, 725 secs
lola: 8912828 markings, 10314233 edges, 11357 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((3 <= p3375)) U NOT(E(TRUE U (p4825 + 1 <= p3575))))
lola: processed formula length: 57
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 205969 markings, 260682 edges, 3689329903141912576 markings/sec, 0 secs
lola: 409152 markings, 519341 edges, 40637 markings/sec, 5 secs
lola: 611037 markings, 779302 edges, 40377 markings/sec, 10 secs
lola: 813043 markings, 1036874 edges, 40401 markings/sec, 15 secs
lola: 1013093 markings, 1294990 edges, 40010 markings/sec, 20 secs
lola: 1211588 markings, 1550400 edges, 39699 markings/sec, 25 secs
lola: 1411376 markings, 1806132 edges, 39958 markings/sec, 30 secs
lola: 1609364 markings, 2056928 edges, 39598 markings/sec, 35 secs
lola: 1806111 markings, 2306852 edges, 39349 markings/sec, 40 secs
lola: 2004734 markings, 2562833 edges, 39725 markings/sec, 45 secs
lola: 2202905 markings, 2819735 edges, 39634 markings/sec, 50 secs
lola: 2397425 markings, 3071490 edges, 38904 markings/sec, 55 secs
lola: 2594225 markings, 3323037 edges, 39360 markings/sec, 60 secs
lola: 2789925 markings, 3572339 edges, 39140 markings/sec, 65 secs
lola: 2983092 markings, 3819224 edges, 38633 markings/sec, 70 secs
lola: 3176335 markings, 4070694 edges, 38649 markings/sec, 75 secs
lola: 3371491 markings, 4322165 edges, 39031 markings/sec, 80 secs
lola: 3565446 markings, 4573988 edges, 38791 markings/sec, 85 secs
lola: 3760610 markings, 4826680 edges, 39033 markings/sec, 90 secs
lola: 3954992 markings, 5078750 edges, 38876 markings/sec, 95 secs
lola: 4151681 markings, 5330857 edges, 39338 markings/sec, 100 secs
lola: 4346441 markings, 5582455 edges, 38952 markings/sec, 105 secs
lola: 4537628 markings, 5833020 edges, 38237 markings/sec, 110 secs
lola: 4732517 markings, 6088472 edges, 38978 markings/sec, 115 secs
lola: 4928156 markings, 6343230 edges, 39128 markings/sec, 120 secs
lola: 5122682 markings, 6594557 edges, 38905 markings/sec, 125 secs
lola: 5317564 markings, 6845453 edges, 38976 markings/sec, 130 secs
lola: 5509574 markings, 7093581 edges, 38402 markings/sec, 135 secs
lola: 5703755 markings, 7347116 edges, 38836 markings/sec, 140 secs
lola: 5896289 markings, 7596584 edges, 38507 markings/sec, 145 secs
lola: 6088908 markings, 7847277 edges, 38524 markings/sec, 150 secs
lola: 6281165 markings, 8098702 edges, 38451 markings/sec, 155 secs
lola: 6473817 markings, 8348711 edges, 38530 markings/sec, 160 secs
lola: 6675248 markings, 8607691 edges, 40286 markings/sec, 165 secs
lola: 6879712 markings, 8866451 edges, 40893 markings/sec, 170 secs
lola: 7080757 markings, 9124359 edges, 40209 markings/sec, 175 secs
lola: 7283084 markings, 9384203 edges, 40465 markings/sec, 180 secs
lola: 7484167 markings, 9641329 edges, 40217 markings/sec, 185 secs
lola: 7685538 markings, 9899019 edges, 40274 markings/sec, 190 secs
lola: 7885887 markings, 10154382 edges, 40070 markings/sec, 195 secs
lola: 8085145 markings, 10408851 edges, 39852 markings/sec, 200 secs
lola: 8285436 markings, 10666547 edges, 40058 markings/sec, 205 secs
lola: 8484148 markings, 10924424 edges, 39742 markings/sec, 210 secs
lola: 8682441 markings, 11176201 edges, 39659 markings/sec, 215 secs
lola: 8881847 markings, 11433141 edges, 39881 markings/sec, 220 secs
lola: 9080062 markings, 11688525 edges, 39643 markings/sec, 225 secs
lola: 9278292 markings, 11941029 edges, 39646 markings/sec, 230 secs
lola: 9477009 markings, 12196313 edges, 39743 markings/sec, 235 secs
lola: 9674272 markings, 12449026 edges, 39453 markings/sec, 240 secs
lola: 9870926 markings, 12700847 edges, 39331 markings/sec, 245 secs
lola: 10067987 markings, 12958961 edges, 39412 markings/sec, 250 secs
lola: 10267152 markings, 13215718 edges, 39833 markings/sec, 255 secs
lola: 10466561 markings, 13471597 edges, 39882 markings/sec, 260 secs
lola: 10666644 markings, 13728564 edges, 40017 markings/sec, 265 secs
lola: 10864197 markings, 13984844 edges, 39511 markings/sec, 270 secs
lola: 11060285 markings, 14241721 edges, 39218 markings/sec, 275 secs
lola: 11253068 markings, 14494925 edges, 38557 markings/sec, 280 secs
lola: 11450446 markings, 14751194 edges, 39476 markings/sec, 285 secs
lola: 11646701 markings, 15003642 edges, 39251 markings/sec, 290 secs
lola: 11839955 markings, 15254034 edges, 38651 markings/sec, 295 secs
lola: 12025432 markings, 15492132 edges, 37095 markings/sec, 300 secs
lola: 12211058 markings, 15733260 edges, 37125 markings/sec, 305 secs
lola: 12399432 markings, 15977288 edges, 37675 markings/sec, 310 secs
lola: 12594128 markings, 16231177 edges, 38939 markings/sec, 315 secs
lola: 12786752 markings, 16481003 edges, 38525 markings/sec, 320 secs
lola: 12979684 markings, 16732029 edges, 38586 markings/sec, 325 secs
lola: 13174305 markings, 16985876 edges, 38924 markings/sec, 330 secs
lola: 13368001 markings, 17240895 edges, 38739 markings/sec, 335 secs
lola: 13563171 markings, 17494135 edges, 39034 markings/sec, 340 secs
lola: 13765969 markings, 17753934 edges, 40560 markings/sec, 345 secs
lola: 13968343 markings, 18015548 edges, 40475 markings/sec, 350 secs
lola: 14168293 markings, 18269844 edges, 39990 markings/sec, 355 secs
lola: 14369385 markings, 18527809 edges, 40218 markings/sec, 360 secs
lola: 14571156 markings, 18787866 edges, 40354 markings/sec, 365 secs
lola: 14769048 markings, 19047242 edges, 39578 markings/sec, 370 secs
lola: 14968655 markings, 19303210 edges, 39921 markings/sec, 375 secs
lola: 15167536 markings, 19560261 edges, 39776 markings/sec, 380 secs
lola: 15364726 markings, 19815576 edges, 39438 markings/sec, 385 secs
lola: 15563184 markings, 20075224 edges, 39692 markings/sec, 390 secs
lola: 15762507 markings, 20328374 edges, 39865 markings/sec, 395 secs
lola: 15960695 markings, 20579920 edges, 39638 markings/sec, 400 secs
lola: 16157080 markings, 20830732 edges, 39277 markings/sec, 405 secs
lola: 16356778 markings, 21085815 edges, 39940 markings/sec, 410 secs
lola: 16553510 markings, 21340121 edges, 39346 markings/sec, 415 secs
lola: 16750845 markings, 21591895 edges, 39467 markings/sec, 420 secs
lola: 16953957 markings, 21851501 edges, 40622 markings/sec, 425 secs
lola: 17160994 markings, 22113155 edges, 41407 markings/sec, 430 secs
lola: 17363263 markings, 22371851 edges, 40454 markings/sec, 435 secs
lola: 17565801 markings, 22632321 edges, 40508 markings/sec, 440 secs
lola: 17766288 markings, 22889147 edges, 40097 markings/sec, 445 secs
lola: 17969519 markings, 23148614 edges, 40646 markings/sec, 450 secs
lola: 18171004 markings, 23405934 edges, 40297 markings/sec, 455 secs
lola: 18371219 markings, 23659417 edges, 40043 markings/sec, 460 secs
lola: 18571184 markings, 23916061 edges, 39993 markings/sec, 465 secs
lola: 18771781 markings, 24172777 edges, 40119 markings/sec, 470 secs
lola: 18971761 markings, 24429686 edges, 39996 markings/sec, 475 secs
lola: 19170654 markings, 24684888 edges, 39779 markings/sec, 480 secs
lola: 19369182 markings, 24941319 edges, 39706 markings/sec, 485 secs
lola: 19567128 markings, 25194990 edges, 39589 markings/sec, 490 secs
lola: 19763867 markings, 25450481 edges, 39348 markings/sec, 495 secs
lola: 19961929 markings, 25706442 edges, 39612 markings/sec, 500 secs
lola: 20160059 markings, 25962318 edges, 39626 markings/sec, 505 secs
lola: 20356999 markings, 26216902 edges, 39388 markings/sec, 510 secs
lola: 20555526 markings, 26471493 edges, 39705 markings/sec, 515 secs
lola: 20751296 markings, 26722657 edges, 39154 markings/sec, 520 secs
lola: 20951183 markings, 26979935 edges, 39977 markings/sec, 525 secs
lola: 21147237 markings, 27233588 edges, 39211 markings/sec, 530 secs
lola: 21335013 markings, 27475299 edges, 37555 markings/sec, 535 secs
lola: 21524915 markings, 27724283 edges, 37980 markings/sec, 540 secs
lola: 21721779 markings, 27980626 edges, 39373 markings/sec, 545 secs
lola: 21918818 markings, 28238242 edges, 39408 markings/sec, 550 secs
lola: 22114105 markings, 28492884 edges, 39057 markings/sec, 555 secs
lola: 22311407 markings, 28748765 edges, 39460 markings/sec, 560 secs
lola: 22511595 markings, 29006496 edges, 40038 markings/sec, 565 secs
lola: 22714845 markings, 29266893 edges, 40650 markings/sec, 570 secs
lola: 22917196 markings, 29526026 edges, 40470 markings/sec, 575 secs
lola: 23118633 markings, 29787228 edges, 40287 markings/sec, 580 secs
lola: 23318016 markings, 30046960 edges, 39877 markings/sec, 585 secs
lola: 23518011 markings, 30304778 edges, 39999 markings/sec, 590 secs
lola: 23715633 markings, 30556621 edges, 39524 markings/sec, 595 secs
lola: 23913584 markings, 30812811 edges, 39590 markings/sec, 600 secs
lola: 24111710 markings, 31069116 edges, 39625 markings/sec, 605 secs
lola: 24310772 markings, 31321377 edges, 39812 markings/sec, 610 secs
lola: 24507211 markings, 31575669 edges, 39288 markings/sec, 615 secs
lola: 24703901 markings, 31826520 edges, 39338 markings/sec, 620 secs
lola: 24899871 markings, 32077511 edges, 39194 markings/sec, 625 secs
lola: 25096653 markings, 32328612 edges, 39356 markings/sec, 630 secs
lola: 25293777 markings, 32580411 edges, 39425 markings/sec, 635 secs
lola: 25490769 markings, 32833280 edges, 39398 markings/sec, 640 secs
lola: 25688364 markings, 33090892 edges, 39519 markings/sec, 645 secs
lola: 25882243 markings, 33344746 edges, 38776 markings/sec, 650 secs
lola: 26076292 markings, 33593018 edges, 38810 markings/sec, 655 secs
lola: 26271840 markings, 33843977 edges, 39110 markings/sec, 660 secs
lola: 26468174 markings, 34097180 edges, 39267 markings/sec, 665 secs
lola: 26663985 markings, 34350921 edges, 39162 markings/sec, 670 secs
lola: 26864246 markings, 34607594 edges, 40052 markings/sec, 675 secs
lola: 27060005 markings, 34858991 edges, 39152 markings/sec, 680 secs
lola: 27255646 markings, 35110429 edges, 39128 markings/sec, 685 secs
lola: 27450714 markings, 35362711 edges, 39014 markings/sec, 690 secs
lola: 27646225 markings, 35615720 edges, 39102 markings/sec, 695 secs
lola: 27840732 markings, 35867362 edges, 38901 markings/sec, 700 secs
lola: 28037061 markings, 36123213 edges, 39266 markings/sec, 705 secs
lola: 28233793 markings, 36378061 edges, 39346 markings/sec, 710 secs
lola: 28431967 markings, 36630408 edges, 39635 markings/sec, 715 secs
lola: 28626992 markings, 36881434 edges, 39005 markings/sec, 720 secs
lola: 28823777 markings, 37137200 edges, 39357 markings/sec, 725 secs
lola: 29018685 markings, 37390118 edges, 38982 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(E(TRUE U (p3244 <= p209)) U NOT(E(TRUE U (p59 + 1 <= p991))))
lola: processed formula length: 63
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 230970 markings, 270624 edges, 3689329903141912576 markings/sec, 0 secs
lola: 457612 markings, 539212 edges, 45328 markings/sec, 5 secs
lola: 687260 markings, 810394 edges, 45930 markings/sec, 10 secs
lola: 916689 markings, 1083588 edges, 45886 markings/sec, 15 secs
lola: 1143951 markings, 1357350 edges, 45452 markings/sec, 20 secs
lola: 1370424 markings, 1631725 edges, 45295 markings/sec, 25 secs
lola: 1594792 markings, 1901335 edges, 44874 markings/sec, 30 secs
lola: 1822084 markings, 2174361 edges, 45458 markings/sec, 35 secs
lola: 2046011 markings, 2446099 edges, 44785 markings/sec, 40 secs
lola: 2270134 markings, 2718785 edges, 44825 markings/sec, 45 secs
lola: 2488850 markings, 2992017 edges, 43743 markings/sec, 50 secs
lola: 2716470 markings, 3264451 edges, 45524 markings/sec, 55 secs
lola: 2944653 markings, 3536131 edges, 45637 markings/sec, 60 secs
lola: 3167095 markings, 3804456 edges, 44488 markings/sec, 65 secs
lola: 3389501 markings, 4072665 edges, 44481 markings/sec, 70 secs
lola: 3608075 markings, 4341182 edges, 43715 markings/sec, 75 secs
lola: 3827595 markings, 4606922 edges, 43904 markings/sec, 80 secs
lola: 4047832 markings, 4875341 edges, 44047 markings/sec, 85 secs
lola: 4271711 markings, 5145903 edges, 44776 markings/sec, 90 secs
lola: 4496125 markings, 5417648 edges, 44883 markings/sec, 95 secs
lola: 4717639 markings, 5687648 edges, 44303 markings/sec, 100 secs
lola: 4937319 markings, 5956778 edges, 43936 markings/sec, 105 secs
lola: 5152489 markings, 6226779 edges, 43034 markings/sec, 110 secs
lola: 5360517 markings, 6485729 edges, 41606 markings/sec, 115 secs
lola: 5564241 markings, 6740896 edges, 40745 markings/sec, 120 secs
lola: 5770489 markings, 6999163 edges, 41250 markings/sec, 125 secs
lola: 5984851 markings, 7268655 edges, 42872 markings/sec, 130 secs
lola: 6203162 markings, 7534998 edges, 43662 markings/sec, 135 secs
lola: 6414880 markings, 7801334 edges, 42344 markings/sec, 140 secs
lola: 6628811 markings, 8070043 edges, 42786 markings/sec, 145 secs
lola: 6842848 markings, 8335624 edges, 42807 markings/sec, 150 secs
lola: 7049933 markings, 8597992 edges, 41417 markings/sec, 155 secs
lola: 7262635 markings, 8866898 edges, 42540 markings/sec, 160 secs
lola: 7481108 markings, 9137177 edges, 43695 markings/sec, 165 secs
lola: 7697502 markings, 9406558 edges, 43279 markings/sec, 170 secs
lola: 7912287 markings, 9673995 edges, 42957 markings/sec, 175 secs
lola: 8128663 markings, 9943796 edges, 43275 markings/sec, 180 secs
lola: 8341080 markings, 10212446 edges, 42483 markings/sec, 185 secs
lola: 8553111 markings, 10479144 edges, 42406 markings/sec, 190 secs
lola: 8766039 markings, 10746465 edges, 42586 markings/sec, 195 secs
lola: 8977273 markings, 11013378 edges, 42247 markings/sec, 200 secs
lola: 9185308 markings, 11275319 edges, 41607 markings/sec, 205 secs
lola: 9390530 markings, 11536800 edges, 41044 markings/sec, 210 secs
lola: 9603441 markings, 11798550 edges, 42582 markings/sec, 215 secs
lola: 9808471 markings, 12058919 edges, 41006 markings/sec, 220 secs
lola: 10022465 markings, 12321212 edges, 42799 markings/sec, 225 secs
lola: 10223439 markings, 12574841 edges, 40195 markings/sec, 230 secs
lola: 10424423 markings, 12826033 edges, 40197 markings/sec, 235 secs
lola: 10623620 markings, 13078456 edges, 39839 markings/sec, 240 secs
lola: 10841991 markings, 13337433 edges, 43674 markings/sec, 245 secs
lola: 11046157 markings, 13591706 edges, 40833 markings/sec, 250 secs
lola: 11255015 markings, 13857002 edges, 41772 markings/sec, 255 secs
lola: 11465136 markings, 14122015 edges, 42024 markings/sec, 260 secs
lola: 11672772 markings, 14386536 edges, 41527 markings/sec, 265 secs
lola: 11878983 markings, 14649644 edges, 41242 markings/sec, 270 secs
lola: 12092678 markings, 14915394 edges, 42739 markings/sec, 275 secs
lola: 12302905 markings, 15174475 edges, 42045 markings/sec, 280 secs
lola: 12512257 markings, 15434607 edges, 41870 markings/sec, 285 secs
lola: 12723955 markings, 15695555 edges, 42340 markings/sec, 290 secs
lola: 12940035 markings, 15959813 edges, 43216 markings/sec, 295 secs
lola: 13153390 markings, 16221576 edges, 42671 markings/sec, 300 secs
lola: 13377777 markings, 16488055 edges, 44877 markings/sec, 305 secs
lola: 13585201 markings, 16747092 edges, 41485 markings/sec, 310 secs
lola: 13796741 markings, 17009134 edges, 42308 markings/sec, 315 secs
lola: 14004753 markings, 17269443 edges, 41602 markings/sec, 320 secs
lola: 14215565 markings, 17529484 edges, 42162 markings/sec, 325 secs
lola: 14421917 markings, 17789697 edges, 41270 markings/sec, 330 secs
lola: 14638240 markings, 18053351 edges, 43265 markings/sec, 335 secs
lola: 14842988 markings, 18308305 edges, 40950 markings/sec, 340 secs
lola: 15060752 markings, 18568112 edges, 43553 markings/sec, 345 secs
lola: 15275847 markings, 18829406 edges, 43019 markings/sec, 350 secs
lola: 15480462 markings, 19081547 edges, 40923 markings/sec, 355 secs
lola: 15693493 markings, 19338543 edges, 42606 markings/sec, 360 secs
lola: 15909008 markings, 19594811 edges, 43103 markings/sec, 365 secs
lola: 16122434 markings, 19852527 edges, 42685 markings/sec, 370 secs
lola: 16332818 markings, 20108285 edges, 42077 markings/sec, 375 secs
lola: 16539209 markings, 20363573 edges, 41278 markings/sec, 380 secs
lola: 16748303 markings, 20618414 edges, 41819 markings/sec, 385 secs
lola: 16955371 markings, 20865408 edges, 41414 markings/sec, 390 secs
lola: 17158611 markings, 21113861 edges, 40648 markings/sec, 395 secs
lola: 17362867 markings, 21360464 edges, 40851 markings/sec, 400 secs
lola: 17567833 markings, 21606203 edges, 40993 markings/sec, 405 secs
lola: 17768809 markings, 21853055 edges, 40195 markings/sec, 410 secs
lola: 17976042 markings, 22101877 edges, 41447 markings/sec, 415 secs
lola: 18174662 markings, 22345767 edges, 39724 markings/sec, 420 secs
lola: 18373502 markings, 22591364 edges, 39768 markings/sec, 425 secs
lola: 18575978 markings, 22842052 edges, 40495 markings/sec, 430 secs
lola: 18772856 markings, 23088056 edges, 39376 markings/sec, 435 secs
lola: 18969508 markings, 23333998 edges, 39330 markings/sec, 440 secs
lola: 19169413 markings, 23581599 edges, 39981 markings/sec, 445 secs
lola: 19368005 markings, 23827862 edges, 39718 markings/sec, 450 secs
lola: 19564519 markings, 24075847 edges, 39303 markings/sec, 455 secs
lola: 19773149 markings, 24327279 edges, 41726 markings/sec, 460 secs
lola: 19978142 markings, 24577674 edges, 40999 markings/sec, 465 secs
lola: 20176049 markings, 24826305 edges, 39581 markings/sec, 470 secs
lola: 20375122 markings, 25074982 edges, 39815 markings/sec, 475 secs
lola: 20579484 markings, 25324900 edges, 40872 markings/sec, 480 secs
lola: 20781186 markings, 25573880 edges, 40340 markings/sec, 485 secs
lola: 20982556 markings, 25822283 edges, 40274 markings/sec, 490 secs
lola: 21178897 markings, 26070686 edges, 39268 markings/sec, 495 secs
lola: 21376261 markings, 26318269 edges, 39473 markings/sec, 500 secs
lola: 21577778 markings, 26566650 edges, 40303 markings/sec, 505 secs
lola: 21777565 markings, 26815394 edges, 39957 markings/sec, 510 secs
lola: 21981057 markings, 27065658 edges, 40698 markings/sec, 515 secs
lola: 22177276 markings, 27314016 edges, 39244 markings/sec, 520 secs
lola: 22374484 markings, 27563203 edges, 39442 markings/sec, 525 secs
lola: 22576819 markings, 27813355 edges, 40467 markings/sec, 530 secs
lola: 22772880 markings, 28062834 edges, 39212 markings/sec, 535 secs
lola: 22973382 markings, 28312157 edges, 40100 markings/sec, 540 secs
lola: 23170070 markings, 28558967 edges, 39338 markings/sec, 545 secs
lola: 23365655 markings, 28808418 edges, 39117 markings/sec, 550 secs
lola: 23561635 markings, 29057683 edges, 39196 markings/sec, 555 secs
lola: 23760861 markings, 29307318 edges, 39845 markings/sec, 560 secs
lola: 23955387 markings, 29553353 edges, 38905 markings/sec, 565 secs
lola: 24148739 markings, 29799068 edges, 38670 markings/sec, 570 secs
lola: 24346005 markings, 30045768 edges, 39453 markings/sec, 575 secs
lola: 24543536 markings, 30295413 edges, 39506 markings/sec, 580 secs
lola: 24742475 markings, 30544181 edges, 39788 markings/sec, 585 secs
lola: 24941979 markings, 30794265 edges, 39901 markings/sec, 590 secs
lola: 25142571 markings, 31044049 edges, 40118 markings/sec, 595 secs
lola: 25341531 markings, 31294954 edges, 39792 markings/sec, 600 secs
lola: 25538094 markings, 31543706 edges, 39313 markings/sec, 605 secs
lola: 25731812 markings, 31793562 edges, 38744 markings/sec, 610 secs
lola: 25929936 markings, 32041718 edges, 39625 markings/sec, 615 secs
lola: 26129638 markings, 32291799 edges, 39940 markings/sec, 620 secs
lola: 26328630 markings, 32543466 edges, 39798 markings/sec, 625 secs
lola: 26522236 markings, 32790976 edges, 38721 markings/sec, 630 secs
lola: 26717009 markings, 33038935 edges, 38955 markings/sec, 635 secs
lola: 26913914 markings, 33288545 edges, 39381 markings/sec, 640 secs
lola: 27109709 markings, 33537359 edges, 39159 markings/sec, 645 secs
lola: 27306297 markings, 33786289 edges, 39318 markings/sec, 650 secs
lola: 27506052 markings, 34036725 edges, 39951 markings/sec, 655 secs
lola: 27697320 markings, 34283838 edges, 38254 markings/sec, 660 secs
lola: 27890733 markings, 34532625 edges, 38683 markings/sec, 665 secs
lola: 28087776 markings, 34782727 edges, 39409 markings/sec, 670 secs
lola: 28282528 markings, 35029982 edges, 38950 markings/sec, 675 secs
lola: 28476352 markings, 35277848 edges, 38765 markings/sec, 680 secs
lola: 28671693 markings, 35524872 edges, 39068 markings/sec, 685 secs
lola: 28865915 markings, 35773545 edges, 38844 markings/sec, 690 secs
lola: 29059985 markings, 36020569 edges, 38814 markings/sec, 695 secs
lola: 29257332 markings, 36268424 edges, 39469 markings/sec, 700 secs
lola: 29451487 markings, 36514211 edges, 38831 markings/sec, 705 secs
lola: 29646242 markings, 36762579 edges, 38951 markings/sec, 710 secs
lola: 29841523 markings, 37011577 edges, 39056 markings/sec, 715 secs
lola: 30038182 markings, 37258566 edges, 39332 markings/sec, 720 secs
lola: 30231570 markings, 37502508 edges, 38678 markings/sec, 725 secs
lola: 30426730 markings, 37749757 edges, 39032 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 736 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 736 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((p4243 <= p2543) U (2 <= p3322)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((p4243 <= p2543) U (2 <= p3322))
lola: processed formula length: 34
lola: 1 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 248792 markings, 285155 edges, 49746 markings/sec, 0 secs
lola: 498731 markings, 573532 edges, 49988 markings/sec, 5 secs
lola: 752517 markings, 866214 edges, 50757 markings/sec, 10 secs
lola: 1004117 markings, 1158158 edges, 50320 markings/sec, 15 secs
lola: 1257893 markings, 1452904 edges, 50755 markings/sec, 20 secs
lola: 1505204 markings, 1745343 edges, 49462 markings/sec, 25 secs
lola: 1750349 markings, 2034438 edges, 49029 markings/sec, 30 secs
lola: 1989925 markings, 2317844 edges, 47915 markings/sec, 35 secs
lola: 2228795 markings, 2601300 edges, 47774 markings/sec, 40 secs
lola: 2461912 markings, 2881175 edges, 46623 markings/sec, 45 secs
lola: 2703491 markings, 3170941 edges, 48316 markings/sec, 50 secs
lola: 2943834 markings, 3460371 edges, 48069 markings/sec, 55 secs
lola: 3194022 markings, 3751567 edges, 50038 markings/sec, 60 secs
lola: 3444180 markings, 4040099 edges, 50032 markings/sec, 65 secs
lola: 3686202 markings, 4325539 edges, 48404 markings/sec, 70 secs
lola: 3928820 markings, 4610510 edges, 48524 markings/sec, 75 secs
lola: 4166451 markings, 4894547 edges, 47526 markings/sec, 80 secs
lola: 4404363 markings, 5176122 edges, 47582 markings/sec, 85 secs
lola: 4643466 markings, 5457819 edges, 47821 markings/sec, 90 secs
lola: 4883681 markings, 5743196 edges, 48043 markings/sec, 95 secs
lola: 5130561 markings, 6032942 edges, 49376 markings/sec, 100 secs
lola: 5374724 markings, 6320380 edges, 48833 markings/sec, 105 secs
lola: 5613454 markings, 6605847 edges, 47746 markings/sec, 110 secs
lola: 5848528 markings, 6889710 edges, 47015 markings/sec, 115 secs
lola: 6081652 markings, 7172132 edges, 46625 markings/sec, 120 secs
lola: 6315841 markings, 7456116 edges, 46838 markings/sec, 125 secs
lola: 6547256 markings, 7737232 edges, 46283 markings/sec, 130 secs
lola: 6777048 markings, 8018705 edges, 45958 markings/sec, 135 secs
lola: 7011154 markings, 8301817 edges, 46821 markings/sec, 140 secs
lola: 7249573 markings, 8585448 edges, 47684 markings/sec, 145 secs
lola: 7481415 markings, 8868784 edges, 46368 markings/sec, 150 secs
lola: 7711441 markings, 9149681 edges, 46005 markings/sec, 155 secs
lola: 7943205 markings, 9429373 edges, 46353 markings/sec, 160 secs
lola: 8170697 markings, 9709042 edges, 45498 markings/sec, 165 secs
lola: 8402232 markings, 9991518 edges, 46307 markings/sec, 170 secs
lola: 8633135 markings, 10273681 edges, 46181 markings/sec, 175 secs
lola: 8869935 markings, 10557671 edges, 47360 markings/sec, 180 secs
lola: 9101553 markings, 10838204 edges, 46324 markings/sec, 185 secs
lola: 9335433 markings, 11120094 edges, 46776 markings/sec, 190 secs
lola: 9564365 markings, 11400930 edges, 45786 markings/sec, 195 secs
lola: 9792371 markings, 11680445 edges, 45601 markings/sec, 200 secs
lola: 10008642 markings, 11946093 edges, 43254 markings/sec, 205 secs
lola: 10237096 markings, 12224451 edges, 45691 markings/sec, 210 secs
lola: 10464910 markings, 12503631 edges, 45563 markings/sec, 215 secs
lola: 10691427 markings, 12780472 edges, 45303 markings/sec, 220 secs
lola: 10914289 markings, 13057641 edges, 44572 markings/sec, 225 secs
lola: 11153118 markings, 13341943 edges, 47766 markings/sec, 230 secs
lola: 11378723 markings, 13619685 edges, 45121 markings/sec, 235 secs
lola: 11611736 markings, 13900861 edges, 46603 markings/sec, 240 secs
lola: 11844447 markings, 14181664 edges, 46542 markings/sec, 245 secs
lola: 12063945 markings, 14449353 edges, 43900 markings/sec, 250 secs
lola: 12281220 markings, 14714936 edges, 43455 markings/sec, 255 secs
lola: 12505053 markings, 14983749 edges, 44767 markings/sec, 260 secs
lola: 12746864 markings, 15262653 edges, 48362 markings/sec, 265 secs
lola: 12960308 markings, 15528299 edges, 42689 markings/sec, 270 secs
lola: 13175865 markings, 15794281 edges, 43111 markings/sec, 275 secs
lola: 13396371 markings, 16063283 edges, 44101 markings/sec, 280 secs
lola: 13610113 markings, 16328631 edges, 42748 markings/sec, 285 secs
lola: 13823061 markings, 16592647 edges, 42590 markings/sec, 290 secs
lola: 14042843 markings, 16860726 edges, 43956 markings/sec, 295 secs
lola: 14265979 markings, 17125429 edges, 44627 markings/sec, 300 secs
lola: 14484919 markings, 17391478 edges, 43788 markings/sec, 305 secs
lola: 14707380 markings, 17657241 edges, 44492 markings/sec, 310 secs
lola: 14930187 markings, 17923935 edges, 44561 markings/sec, 315 secs
lola: 15154595 markings, 18190786 edges, 44882 markings/sec, 320 secs
lola: 15385308 markings, 18463744 edges, 46143 markings/sec, 325 secs
lola: 15620932 markings, 18736928 edges, 47125 markings/sec, 330 secs
lola: 15835675 markings, 18998902 edges, 42949 markings/sec, 335 secs
lola: 16059317 markings, 19267489 edges, 44728 markings/sec, 340 secs
lola: 16276673 markings, 19533137 edges, 43471 markings/sec, 345 secs
lola: 16498809 markings, 19798078 edges, 44427 markings/sec, 350 secs
lola: 16714847 markings, 20061980 edges, 43208 markings/sec, 355 secs
lola: 16941440 markings, 20333377 edges, 45319 markings/sec, 360 secs
lola: 17162402 markings, 20599257 edges, 44192 markings/sec, 365 secs
lola: 17386163 markings, 20867024 edges, 44752 markings/sec, 370 secs
lola: 17628476 markings, 21148514 edges, 48463 markings/sec, 375 secs
lola: 17866149 markings, 21428343 edges, 47535 markings/sec, 380 secs
lola: 18085684 markings, 21694769 edges, 43907 markings/sec, 385 secs
lola: 18324237 markings, 21972014 edges, 47711 markings/sec, 390 secs
lola: 18562507 markings, 22248399 edges, 47654 markings/sec, 395 secs
lola: 18799524 markings, 22526438 edges, 47403 markings/sec, 400 secs
lola: 19033763 markings, 22803629 edges, 46848 markings/sec, 405 secs
lola: 19263300 markings, 23078331 edges, 45907 markings/sec, 410 secs
lola: 19496561 markings, 23357122 edges, 46652 markings/sec, 415 secs
lola: 19726766 markings, 23624119 edges, 46041 markings/sec, 420 secs
lola: 19948606 markings, 23887770 edges, 44368 markings/sec, 425 secs
lola: 20175225 markings, 24152953 edges, 45324 markings/sec, 430 secs
lola: 20389448 markings, 24406053 edges, 42845 markings/sec, 435 secs
lola: 20623037 markings, 24680231 edges, 46718 markings/sec, 440 secs
lola: 20857267 markings, 24956900 edges, 46846 markings/sec, 445 secs
lola: 21086581 markings, 25229939 edges, 45863 markings/sec, 450 secs
lola: 21314247 markings, 25499060 edges, 45533 markings/sec, 455 secs
lola: 21537857 markings, 25771510 edges, 44722 markings/sec, 460 secs
lola: 21767220 markings, 26047384 edges, 45873 markings/sec, 465 secs
lola: 21989632 markings, 26316545 edges, 44482 markings/sec, 470 secs
lola: 22210288 markings, 26584921 edges, 44131 markings/sec, 475 secs
lola: 22437728 markings, 26858597 edges, 45488 markings/sec, 480 secs
lola: 22661806 markings, 27129027 edges, 44816 markings/sec, 485 secs
lola: 22883288 markings, 27401148 edges, 44296 markings/sec, 490 secs
lola: 23123968 markings, 27682301 edges, 48136 markings/sec, 495 secs
lola: 23355706 markings, 27958218 edges, 46348 markings/sec, 500 secs
lola: 23579136 markings, 28231252 edges, 44686 markings/sec, 505 secs
lola: 23803971 markings, 28504066 edges, 44967 markings/sec, 510 secs
lola: 24035873 markings, 28780131 edges, 46380 markings/sec, 515 secs
lola: 24265786 markings, 29055603 edges, 45983 markings/sec, 520 secs
lola: 24492654 markings, 29327941 edges, 45374 markings/sec, 525 secs
lola: 24715116 markings, 29600912 edges, 44492 markings/sec, 530 secs
lola: 24937551 markings, 29872537 edges, 44487 markings/sec, 535 secs
lola: 25163030 markings, 30143697 edges, 45096 markings/sec, 540 secs
lola: 25387647 markings, 30416154 edges, 44923 markings/sec, 545 secs
lola: 25621546 markings, 30693382 edges, 46780 markings/sec, 550 secs
lola: 25842124 markings, 30963121 edges, 44116 markings/sec, 555 secs
lola: 26062592 markings, 31236234 edges, 44094 markings/sec, 560 secs
lola: 26288955 markings, 31509952 edges, 45273 markings/sec, 565 secs
lola: 26513807 markings, 31784400 edges, 44970 markings/sec, 570 secs
lola: 26737171 markings, 32057940 edges, 44673 markings/sec, 575 secs
lola: 26960289 markings, 32327755 edges, 44624 markings/sec, 580 secs
lola: 27178365 markings, 32597200 edges, 43615 markings/sec, 585 secs
lola: 27400835 markings, 32871453 edges, 44494 markings/sec, 590 secs
lola: 27625321 markings, 33145592 edges, 44897 markings/sec, 595 secs
lola: 27841153 markings, 33413376 edges, 43166 markings/sec, 600 secs
lola: 28061727 markings, 33681872 edges, 44115 markings/sec, 605 secs
lola: 28281122 markings, 33950269 edges, 43879 markings/sec, 610 secs
lola: 28501695 markings, 34220744 edges, 44115 markings/sec, 615 secs
lola: 28726313 markings, 34494029 edges, 44924 markings/sec, 620 secs
lola: 28948458 markings, 34766418 edges, 44429 markings/sec, 625 secs
lola: 29173549 markings, 35040013 edges, 45018 markings/sec, 630 secs
lola: 29398566 markings, 35312553 edges, 45003 markings/sec, 635 secs
lola: 29624846 markings, 35589561 edges, 45256 markings/sec, 640 secs
lola: 29844525 markings, 35860314 edges, 43936 markings/sec, 645 secs
lola: 30060638 markings, 36131026 edges, 43223 markings/sec, 650 secs
lola: 30282700 markings, 36401303 edges, 44412 markings/sec, 655 secs
lola: 30506745 markings, 36674752 edges, 44809 markings/sec, 660 secs
lola: 30730070 markings, 36948758 edges, 44665 markings/sec, 665 secs
lola: 30946336 markings, 37217311 edges, 43253 markings/sec, 670 secs
lola: 31163929 markings, 37486604 edges, 43519 markings/sec, 675 secs
lola: 31384773 markings, 37758798 edges, 44169 markings/sec, 680 secs
lola: 31605120 markings, 38030276 edges, 44069 markings/sec, 685 secs
lola: 31826061 markings, 38301884 edges, 44188 markings/sec, 690 secs
lola: 32051250 markings, 38576333 edges, 45038 markings/sec, 695 secs
lola: 32266254 markings, 38845499 edges, 43001 markings/sec, 700 secs
lola: 32481625 markings, 39114765 edges, 43074 markings/sec, 705 secs
lola: 32700519 markings, 39386553 edges, 43779 markings/sec, 710 secs
lola: 32920299 markings, 39657370 edges, 43956 markings/sec, 715 secs
lola: 33139354 markings, 39925684 edges, 43811 markings/sec, 720 secs
lola: 33356620 markings, 40195830 edges, 43453 markings/sec, 725 secs
lola: 33574126 markings, 40464856 edges, 43501 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no yes unknown unknown yes yes no yes yes yes no unknown unknown unknown unknown
lola: time limit reached - aborting
FORMULA DLCround-PT-13b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----
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="DLCround-PT-13b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is DLCround-PT-13b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649742900150"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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
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 ;