About the Execution of M4M.full for DLCround-PT-10b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10644.630 | 3584551.00 | 3563917.00 | 10398.80 | TF??FFTFT??T??F? | 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 1.7M
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K 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.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 1.5M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCround-PT-10b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649742900108
=====================================================================
--------------------
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-10b-CTLCardinality-00
FORMULA_NAME DLCround-PT-10b-CTLCardinality-01
FORMULA_NAME DLCround-PT-10b-CTLCardinality-02
FORMULA_NAME DLCround-PT-10b-CTLCardinality-03
FORMULA_NAME DLCround-PT-10b-CTLCardinality-04
FORMULA_NAME DLCround-PT-10b-CTLCardinality-05
FORMULA_NAME DLCround-PT-10b-CTLCardinality-06
FORMULA_NAME DLCround-PT-10b-CTLCardinality-07
FORMULA_NAME DLCround-PT-10b-CTLCardinality-08
FORMULA_NAME DLCround-PT-10b-CTLCardinality-09
FORMULA_NAME DLCround-PT-10b-CTLCardinality-10
FORMULA_NAME DLCround-PT-10b-CTLCardinality-11
FORMULA_NAME DLCround-PT-10b-CTLCardinality-12
FORMULA_NAME DLCround-PT-10b-CTLCardinality-13
FORMULA_NAME DLCround-PT-10b-CTLCardinality-14
FORMULA_NAME DLCround-PT-10b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526683909750
BK_STOP 1526687494301
--------------------
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-10b 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': 3053801, 'Memory': 15947.98, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DLCround-PT-10b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-10b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-10b: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLCardinality @ DLCround-PT-10b @ 3539 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 10116/65536 symbol table entries, 2628 collisions
lola: preprocessing...
lola: finding significant places
lola: 3924 places, 6192 transitions, 3711 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 8844 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-10b-CTLCardinality.task
lola: NOT(A (((p1087 <= 0) U ((1 <= p1075) AND (p1281 <= p969))))) : A (G (((((p1983 <= p3288) OR (1 <= p3775)) AND (3 <= p386)) OR (p1819 <= p348)))) : A (X (A (G (((1 <= p2609) OR (p3039 <= p1500)))))) : E ((E (F ((p1952 <= p2625))) U A (G ((p1279 <= p3536))))) : (E (G (A (F ((2 <= p1067))))) AND A (((p362 <= p273) U ((p2861 <= p72) AND (p663 <= p572))))) : NOT(A (F (E (F ((1 <= p900)))))) : NOT(E (X (A (F ((1 <= p882)))))) : (NOT(E (X ((p1851 <= p2976)))) OR ((A (F ((3 <= p1988))) AND E (G ((p72 <= p784)))) AND ((((1 <= p2086) AND (2 <= p3541)) OR (p3153 + 1 <= p479)) OR E (G ((p2652 <= p3760)))))) : NOT((A (F ((2 <= p2250))) OR (E (X ((3 <= p793))) AND ((2 <= p2888) AND (p2636 + 1 <= p2082))))) : NOT(E (((p2559 <= 2) U ((p1399 <= p747) AND (3 <= p2909))))) : E (G (A (G ((p1532 <= p3624))))) : E (G (A (F (((2 <= p3295) OR (p708 <= p1993)))))) : E (F ((E (X ((3 <= p1660))) AND ((p679 <= p3274) AND (2 <= p253) AND (1 <= p2154) AND (p175 <= p2703))))) : E (F (((p701 <= 1) AND A (G ((p2169 <= p1335)))))) : A (G ((((p2821 <= p2637) OR (p3497 <= p2553)) AND A (X ((p3066 <= p589)))))) : A (G (E (G (((p2552 <= p1564) OR (1 <= p1860))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (((p1087 <= 0) U ((1 <= p1075) AND (p1281 <= p969)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A((p1087 <= 0) U ((1 <= p1075) AND (p1281 <= p969))))
lola: processed formula length: 57
lola: 7 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 1038 markings, 1038 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((((p1983 <= p3288) OR (1 <= p3775)) AND (3 <= p386)) OR (p1819 <= p348))))
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 464 bytes per marking, with 1 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 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-10b-CTLCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-10b-CTLCardinality.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3597 markings, 4345 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (((1 <= p2609) OR (p3039 <= p1500))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X (A (G (((1 <= p2609) OR (p3039 <= p1500))))))
lola: processed formula: A (X (A (G (((1 <= p2609) OR (p3039 <= p1500))))))
lola: processed formula length: 51
lola: 0 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 468 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 257570 markings, 329740 edges, 51514 markings/sec, 0 secs
lola: 531151 markings, 677157 edges, 54716 markings/sec, 5 secs
lola: 793462 markings, 1019638 edges, 52462 markings/sec, 10 secs
lola: 1057405 markings, 1355787 edges, 52789 markings/sec, 15 secs
lola: 1315772 markings, 1693892 edges, 51673 markings/sec, 20 secs
lola: 1583103 markings, 2036470 edges, 53466 markings/sec, 25 secs
lola: 1830691 markings, 2384702 edges, 49518 markings/sec, 30 secs
lola: 2088176 markings, 2725274 edges, 51497 markings/sec, 35 secs
lola: 2348888 markings, 3065073 edges, 52142 markings/sec, 40 secs
lola: 2618400 markings, 3409295 edges, 53902 markings/sec, 45 secs
lola: 2885431 markings, 3749577 edges, 53406 markings/sec, 50 secs
lola: 3148536 markings, 4087662 edges, 52621 markings/sec, 55 secs
lola: 3408376 markings, 4416555 edges, 51968 markings/sec, 60 secs
lola: 3663874 markings, 4746389 edges, 51100 markings/sec, 65 secs
lola: 3919987 markings, 5081078 edges, 51223 markings/sec, 70 secs
lola: 4173268 markings, 5414944 edges, 50656 markings/sec, 75 secs
lola: 4428074 markings, 5749836 edges, 50961 markings/sec, 80 secs
lola: 4681381 markings, 6067973 edges, 50661 markings/sec, 85 secs
lola: 4932993 markings, 6393036 edges, 50322 markings/sec, 90 secs
lola: 5173123 markings, 6706100 edges, 48026 markings/sec, 95 secs
lola: 5404610 markings, 7014584 edges, 46297 markings/sec, 100 secs
lola: 5638633 markings, 7325239 edges, 46805 markings/sec, 105 secs
lola: 5871718 markings, 7633499 edges, 46617 markings/sec, 110 secs
lola: 6102434 markings, 7929705 edges, 46143 markings/sec, 115 secs
lola: 6332066 markings, 8229180 edges, 45926 markings/sec, 120 secs
lola: 6561960 markings, 8521984 edges, 45979 markings/sec, 125 secs
lola: 6793472 markings, 8820478 edges, 46302 markings/sec, 130 secs
lola: 7024614 markings, 9120847 edges, 46228 markings/sec, 135 secs
lola: 7261979 markings, 9429267 edges, 47473 markings/sec, 140 secs
lola: 7492489 markings, 9737453 edges, 46102 markings/sec, 145 secs
lola: 7730399 markings, 10042089 edges, 47582 markings/sec, 150 secs
lola: 7958922 markings, 10332810 edges, 45705 markings/sec, 155 secs
lola: 8190617 markings, 10632551 edges, 46339 markings/sec, 160 secs
lola: 8424689 markings, 10938310 edges, 46814 markings/sec, 165 secs
lola: 8653002 markings, 11241158 edges, 45663 markings/sec, 170 secs
lola: 8882518 markings, 11549095 edges, 45903 markings/sec, 175 secs
lola: 9110922 markings, 11854334 edges, 45681 markings/sec, 180 secs
lola: 9339761 markings, 12157368 edges, 45768 markings/sec, 185 secs
lola: 9575058 markings, 12466558 edges, 47059 markings/sec, 190 secs
lola: 9804663 markings, 12770405 edges, 45921 markings/sec, 195 secs
lola: 10038639 markings, 13080773 edges, 46795 markings/sec, 200 secs
lola: 10277625 markings, 13392181 edges, 47797 markings/sec, 205 secs
lola: 10515477 markings, 13705119 edges, 47570 markings/sec, 210 secs
lola: 10743100 markings, 14006512 edges, 45525 markings/sec, 215 secs
lola: 10972978 markings, 14315248 edges, 45976 markings/sec, 220 secs
lola: 11215658 markings, 14634063 edges, 48536 markings/sec, 225 secs
lola: 11458087 markings, 14949472 edges, 48486 markings/sec, 230 secs
lola: 11685039 markings, 15254773 edges, 45390 markings/sec, 235 secs
lola: 11914012 markings, 15562177 edges, 45795 markings/sec, 240 secs
lola: 12142431 markings, 15869905 edges, 45684 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((p1952 <= p2625))) U A (G ((p1279 <= p3536)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(E(TRUE U (p1952 <= p2625)) U NOT(E(TRUE U (p3536 + 1 <= p1279))))
lola: processed formula length: 67
lola: 4 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 306015 markings, 333961 edges, 61195 markings/sec, 0 secs
lola: 612421 markings, 672864 edges, 61281 markings/sec, 5 secs
lola: 923602 markings, 1015890 edges, 62236 markings/sec, 10 secs
lola: 1232668 markings, 1358129 edges, 61813 markings/sec, 15 secs
lola: 1538443 markings, 1698472 edges, 61155 markings/sec, 20 secs
lola: 1841189 markings, 2036360 edges, 60549 markings/sec, 25 secs
lola: 2154453 markings, 2377716 edges, 62653 markings/sec, 30 secs
lola: 2458037 markings, 2714450 edges, 60717 markings/sec, 35 secs
lola: 2768536 markings, 3055226 edges, 62100 markings/sec, 40 secs
lola: 3074944 markings, 3392302 edges, 61282 markings/sec, 45 secs
lola: 3375118 markings, 3726779 edges, 60035 markings/sec, 50 secs
lola: 3684151 markings, 4067124 edges, 61807 markings/sec, 55 secs
lola: 3996385 markings, 4408667 edges, 62447 markings/sec, 60 secs
lola: 4292300 markings, 4740943 edges, 59183 markings/sec, 65 secs
lola: 4599223 markings, 5081517 edges, 61385 markings/sec, 70 secs
lola: 4901184 markings, 5419133 edges, 60392 markings/sec, 75 secs
lola: 5204554 markings, 5755538 edges, 60674 markings/sec, 80 secs
lola: 5514001 markings, 6095976 edges, 61889 markings/sec, 85 secs
lola: 5814155 markings, 6431529 edges, 60031 markings/sec, 90 secs
lola: 6114205 markings, 6764938 edges, 60010 markings/sec, 95 secs
lola: 6418964 markings, 7099568 edges, 60952 markings/sec, 100 secs
lola: 6715116 markings, 7430013 edges, 59230 markings/sec, 105 secs
lola: 7019169 markings, 7765979 edges, 60811 markings/sec, 110 secs
lola: 7321568 markings, 8098515 edges, 60480 markings/sec, 115 secs
lola: 7629580 markings, 8437084 edges, 61602 markings/sec, 120 secs
lola: 7935930 markings, 8776273 edges, 61270 markings/sec, 125 secs
lola: 8235786 markings, 9112884 edges, 59971 markings/sec, 130 secs
lola: 8546945 markings, 9454342 edges, 62232 markings/sec, 135 secs
lola: 8849333 markings, 9791224 edges, 60478 markings/sec, 140 secs
lola: 9155086 markings, 10131286 edges, 61151 markings/sec, 145 secs
lola: 9465709 markings, 10472316 edges, 62125 markings/sec, 150 secs
lola: 9771688 markings, 10808948 edges, 61196 markings/sec, 155 secs
lola: 10074233 markings, 11145693 edges, 60509 markings/sec, 160 secs
lola: 10379353 markings, 11483767 edges, 61024 markings/sec, 165 secs
lola: 10687389 markings, 11823506 edges, 61607 markings/sec, 170 secs
lola: 10998383 markings, 12165009 edges, 62199 markings/sec, 175 secs
lola: 11307807 markings, 12506115 edges, 61885 markings/sec, 180 secs
lola: 11611823 markings, 12846585 edges, 60803 markings/sec, 185 secs
lola: 11921378 markings, 13188357 edges, 61911 markings/sec, 190 secs
lola: 12229799 markings, 13527946 edges, 61684 markings/sec, 195 secs
lola: 12538540 markings, 13868676 edges, 61748 markings/sec, 200 secs
lola: 12839272 markings, 14205250 edges, 60146 markings/sec, 205 secs
lola: 13142719 markings, 14542806 edges, 60689 markings/sec, 210 secs
lola: 13450792 markings, 14882876 edges, 61615 markings/sec, 215 secs
lola: 13754921 markings, 15216824 edges, 60826 markings/sec, 220 secs
lola: 14060116 markings, 15552372 edges, 61039 markings/sec, 225 secs
lola: 14359659 markings, 15885505 edges, 59909 markings/sec, 230 secs
lola: 14658230 markings, 16216641 edges, 59714 markings/sec, 235 secs
lola: 14948561 markings, 16535383 edges, 58066 markings/sec, 240 secs
lola: 15250484 markings, 16867007 edges, 60385 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (G (A (F ((2 <= p1067))))) AND A (((p362 <= p273) U ((p2861 <= p72) AND (p663 <= p572)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((2 <= p1067)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (2 <= p1067)))))
lola: processed formula length: 42
lola: 2 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1038 markings, 1039 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 275 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F (E (F ((1 <= p900))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U E(TRUE U (1 <= p900))))
lola: processed formula length: 36
lola: 9 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1833 markings, 1891 edges
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E (X (A (F ((1 <= p882))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(NOT(A(TRUE U (1 <= p882))))
lola: processed formula length: 30
lola: 8 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 113 markings, 113 edges
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (X ((p1851 <= p2976)))) OR ((A (F ((3 <= p1988))) AND E (G ((p72 <= p784)))) AND ((((1 <= p2086) AND (2 <= p3541)) OR (p3153 + 1 <= p479)) OR E (G ((p2652 <= p3760))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((p2976 + 1 <= p1851)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X ((p2976 + 1 <= p1851)))
lola: processed formula: A (X ((p2976 + 1 <= p1851)))
lola: processed formula length: 28
lola: 4 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 468 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
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: 114 markings, 114 edges
lola: ========================================
lola: subprocess 8 will run for 379 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((3 <= p1988)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((3 <= p1988)))
lola: processed formula: A (F ((3 <= p1988)))
lola: processed formula length: 20
lola: 4 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 0 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: 1031 markings, 1031 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 379 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (F ((2 <= p2250))) OR (E (X ((3 <= p793))) AND ((2 <= p2888) AND (p2636 + 1 <= p2082)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 379 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((p2250 <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (2 <= p2250)))
lola: processed formula length: 27
lola: 11 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 1038 markings, 1038 edges
lola: ========================================
lola: subprocess 9 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((p793 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X ((p793 <= 2)))
lola: processed formula: A (X ((p793 <= 2)))
lola: processed formula length: 19
lola: 9 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 468 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 9 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E (((p2559 <= 2) U ((p1399 <= p747) AND (3 <= p2909)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((3 <= p2559) R ((p747 + 1 <= p1399) OR (p2909 <= 2))))
lola: processed formula: A (((3 <= p2559) R ((p747 + 1 <= p1399) OR (p2909 <= 2))))
lola: processed formula length: 59
lola: 4 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 468 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 33497 markings, 37435 edges, 6699 markings/sec, 0 secs
lola: 69077 markings, 77568 edges, 7116 markings/sec, 5 secs
lola: 119516 markings, 134242 edges, 10088 markings/sec, 10 secs
lola: 177153 markings, 198926 edges, 11527 markings/sec, 15 secs
lola: 239996 markings, 269482 edges, 12569 markings/sec, 20 secs
lola: 319521 markings, 358717 edges, 15905 markings/sec, 25 secs
lola: 396051 markings, 444768 edges, 15306 markings/sec, 30 secs
lola: 472526 markings, 530584 edges, 15295 markings/sec, 35 secs
lola: 546903 markings, 614059 edges, 14875 markings/sec, 40 secs
lola: 622292 markings, 698880 edges, 15078 markings/sec, 45 secs
lola: 696722 markings, 782648 edges, 14886 markings/sec, 50 secs
lola: 769952 markings, 864831 edges, 14646 markings/sec, 55 secs
lola: 839029 markings, 942413 edges, 13815 markings/sec, 60 secs
lola: 915583 markings, 1028674 edges, 15311 markings/sec, 65 secs
lola: 992119 markings, 1115082 edges, 15307 markings/sec, 70 secs
lola: 1086636 markings, 1226061 edges, 18903 markings/sec, 75 secs
lola: 1185594 markings, 1343391 edges, 19792 markings/sec, 80 secs
lola: 1262184 markings, 1429409 edges, 15318 markings/sec, 85 secs
lola: 1334530 markings, 1510619 edges, 14469 markings/sec, 90 secs
lola: 1408896 markings, 1594115 edges, 14873 markings/sec, 95 secs
lola: 1482355 markings, 1676600 edges, 14692 markings/sec, 100 secs
lola: 1552978 markings, 1755997 edges, 14125 markings/sec, 105 secs
lola: 1631207 markings, 1844099 edges, 15646 markings/sec, 110 secs
lola: 1709804 markings, 1932548 edges, 15719 markings/sec, 115 secs
lola: 1786581 markings, 2018639 edges, 15355 markings/sec, 120 secs
lola: 1859647 markings, 2100816 edges, 14613 markings/sec, 125 secs
lola: 1937083 markings, 2188320 edges, 15487 markings/sec, 130 secs
lola: 2010134 markings, 2270546 edges, 14610 markings/sec, 135 secs
lola: 2070309 markings, 2338132 edges, 12035 markings/sec, 140 secs
lola: 2145401 markings, 2422724 edges, 15018 markings/sec, 145 secs
lola: 2221556 markings, 2508376 edges, 15231 markings/sec, 150 secs
lola: 2292480 markings, 2588070 edges, 14185 markings/sec, 155 secs
lola: 2362035 markings, 2666200 edges, 13911 markings/sec, 160 secs
lola: 2435300 markings, 2748669 edges, 14653 markings/sec, 165 secs
lola: 2504456 markings, 2826488 edges, 13831 markings/sec, 170 secs
lola: 2569480 markings, 2899519 edges, 13005 markings/sec, 175 secs
lola: 2629443 markings, 2966943 edges, 11993 markings/sec, 180 secs
lola: 2691298 markings, 3036505 edges, 12371 markings/sec, 185 secs
lola: 2751739 markings, 3104688 edges, 12088 markings/sec, 190 secs
lola: 2814017 markings, 3174794 edges, 12456 markings/sec, 195 secs
lola: 2875285 markings, 3243904 edges, 12254 markings/sec, 200 secs
lola: 2940380 markings, 3317082 edges, 13019 markings/sec, 205 secs
lola: 3004731 markings, 3389711 edges, 12870 markings/sec, 210 secs
lola: 3072370 markings, 3465833 edges, 13528 markings/sec, 215 secs
lola: 3141184 markings, 3543523 edges, 13763 markings/sec, 220 secs
lola: 3209817 markings, 3621556 edges, 13727 markings/sec, 225 secs
lola: 3278578 markings, 3699929 edges, 13752 markings/sec, 230 secs
lola: 3346578 markings, 3776781 edges, 13600 markings/sec, 235 secs
lola: 3408840 markings, 3846863 edges, 12452 markings/sec, 240 secs
lola: 3473137 markings, 3919093 edges, 12859 markings/sec, 245 secs
lola: 3535054 markings, 3988598 edges, 12383 markings/sec, 250 secs
lola: 3599078 markings, 4060752 edges, 12805 markings/sec, 255 secs
lola: 3662515 markings, 4132313 edges, 12687 markings/sec, 260 secs
lola: 3723994 markings, 4201326 edges, 12296 markings/sec, 265 secs
lola: 3783247 markings, 4268141 edges, 11851 markings/sec, 270 secs
lola: 3840115 markings, 4332064 edges, 11374 markings/sec, 275 secs
lola: 3901402 markings, 4401078 edges, 12257 markings/sec, 280 secs
lola: 3964707 markings, 4472447 edges, 12661 markings/sec, 285 secs
lola: 4022599 markings, 4537579 edges, 11578 markings/sec, 290 secs
lola: 4086182 markings, 4609127 edges, 12717 markings/sec, 295 secs
lola: 4164019 markings, 4696572 edges, 15567 markings/sec, 300 secs
lola: 4242746 markings, 4785188 edges, 15745 markings/sec, 305 secs
lola: 4313674 markings, 4865123 edges, 14186 markings/sec, 310 secs
lola: 4387176 markings, 4947867 edges, 14700 markings/sec, 315 secs
lola: 4456164 markings, 5025682 edges, 13798 markings/sec, 320 secs
lola: 4532260 markings, 5111165 edges, 15219 markings/sec, 325 secs
lola: 4613098 markings, 5201926 edges, 16168 markings/sec, 330 secs
lola: 4689468 markings, 5287945 edges, 15274 markings/sec, 335 secs
lola: 4768745 markings, 5377041 edges, 15855 markings/sec, 340 secs
lola: 4848786 markings, 5466960 edges, 16008 markings/sec, 345 secs
lola: 4929272 markings, 5557213 edges, 16097 markings/sec, 350 secs
lola: 5007734 markings, 5645452 edges, 15692 markings/sec, 355 secs
lola: 5089407 markings, 5737445 edges, 16335 markings/sec, 360 secs
lola: 5168863 markings, 5826830 edges, 15891 markings/sec, 365 secs
lola: 5241127 markings, 5907897 edges, 14453 markings/sec, 370 secs
lola: 5312396 markings, 5988141 edges, 14254 markings/sec, 375 secs
lola: 5385634 markings, 6070541 edges, 14648 markings/sec, 380 secs
lola: 5462088 markings, 6156352 edges, 15291 markings/sec, 385 secs
lola: 5537172 markings, 6240774 edges, 15017 markings/sec, 390 secs
lola: 5615041 markings, 6328196 edges, 15574 markings/sec, 395 secs
lola: 5690942 markings, 6413492 edges, 15180 markings/sec, 400 secs
lola: 5768930 markings, 6501085 edges, 15598 markings/sec, 405 secs
lola: 5844832 markings, 6586388 edges, 15180 markings/sec, 410 secs
lola: 5925656 markings, 6677159 edges, 16165 markings/sec, 415 secs
lola: 6004129 markings, 6765473 edges, 15695 markings/sec, 420 secs
lola: 6087298 markings, 6859340 edges, 16634 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (G ((p1532 <= p3624)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U E(TRUE U (p3624 + 1 <= p1532))))
lola: processed formula length: 45
lola: 4 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 300455 markings, 327971 edges, 3689329903141912576 markings/sec, 0 secs
lola: 611985 markings, 672393 edges, 62306 markings/sec, 5 secs
lola: 927051 markings, 1019658 edges, 63013 markings/sec, 10 secs
lola: 1241229 markings, 1367371 edges, 62836 markings/sec, 15 secs
lola: 1534041 markings, 1693410 edges, 58562 markings/sec, 20 secs
lola: 1835157 markings, 2029852 edges, 60223 markings/sec, 25 secs
lola: 2147356 markings, 2370049 edges, 62440 markings/sec, 30 secs
lola: 2452487 markings, 2708111 edges, 61026 markings/sec, 35 secs
lola: 2758321 markings, 3043722 edges, 61167 markings/sec, 40 secs
lola: 3061489 markings, 3376999 edges, 60634 markings/sec, 45 secs
lola: 3358108 markings, 3707738 edges, 59324 markings/sec, 50 secs
lola: 3669038 markings, 4050580 edges, 62186 markings/sec, 55 secs
lola: 3984560 markings, 4395735 edges, 63104 markings/sec, 60 secs
lola: 4282108 markings, 4729279 edges, 59510 markings/sec, 65 secs
lola: 4589977 markings, 5071338 edges, 61574 markings/sec, 70 secs
lola: 4893917 markings, 5410954 edges, 60788 markings/sec, 75 secs
lola: 5198712 markings, 5749229 edges, 60959 markings/sec, 80 secs
lola: 5510579 markings, 6092037 edges, 62373 markings/sec, 85 secs
lola: 5812573 markings, 6429781 edges, 60399 markings/sec, 90 secs
lola: 6111999 markings, 6762520 edges, 59885 markings/sec, 95 secs
lola: 6417165 markings, 7097602 edges, 61033 markings/sec, 100 secs
lola: 6712668 markings, 7427184 edges, 59101 markings/sec, 105 secs
lola: 7017988 markings, 7764487 edges, 61064 markings/sec, 110 secs
lola: 7322026 markings, 8099006 edges, 60808 markings/sec, 115 secs
lola: 7631274 markings, 8438915 edges, 61850 markings/sec, 120 secs
lola: 7937078 markings, 8777563 edges, 61161 markings/sec, 125 secs
lola: 8237144 markings, 9114404 edges, 60013 markings/sec, 130 secs
lola: 8546501 markings, 9453862 edges, 61871 markings/sec, 135 secs
lola: 8847176 markings, 9788876 edges, 60135 markings/sec, 140 secs
lola: 9152987 markings, 10128997 edges, 61162 markings/sec, 145 secs
lola: 9464406 markings, 10470919 edges, 62284 markings/sec, 150 secs
lola: 9770422 markings, 10807582 edges, 61203 markings/sec, 155 secs
lola: 10071849 markings, 11143013 edges, 60285 markings/sec, 160 secs
lola: 10375099 markings, 11478843 edges, 60650 markings/sec, 165 secs
lola: 10683781 markings, 11819440 edges, 61736 markings/sec, 170 secs
lola: 10997323 markings, 12163862 edges, 62708 markings/sec, 175 secs
lola: 11310831 markings, 12509370 edges, 62702 markings/sec, 180 secs
lola: 11617405 markings, 12852938 edges, 61315 markings/sec, 185 secs
lola: 11930148 markings, 13198010 edges, 62549 markings/sec, 190 secs
lola: 12241882 markings, 13541191 edges, 62347 markings/sec, 195 secs
lola: 12554260 markings, 13886226 edges, 62476 markings/sec, 200 secs
lola: 12856202 markings, 14224641 edges, 60388 markings/sec, 205 secs
lola: 13150202 markings, 14551225 edges, 58800 markings/sec, 210 secs
lola: 13447431 markings, 14879253 edges, 59446 markings/sec, 215 secs
lola: 13741714 markings, 15201961 edges, 58857 markings/sec, 220 secs
lola: 14035745 markings, 15524980 edges, 58806 markings/sec, 225 secs
lola: 14323066 markings, 15845450 edges, 57464 markings/sec, 230 secs
lola: 14615628 markings, 16168296 edges, 58512 markings/sec, 235 secs
lola: 14908694 markings, 16491096 edges, 58613 markings/sec, 240 secs
lola: 15205005 markings, 16816769 edges, 59262 markings/sec, 245 secs
lola: 15498348 markings, 17140999 edges, 58669 markings/sec, 250 secs
lola: 15786764 markings, 17464458 edges, 57683 markings/sec, 255 secs
lola: 16082446 markings, 17790010 edges, 59136 markings/sec, 260 secs
lola: 16373527 markings, 18110829 edges, 58216 markings/sec, 265 secs
lola: 16666363 markings, 18433870 edges, 58567 markings/sec, 270 secs
lola: 16953723 markings, 18754980 edges, 57472 markings/sec, 275 secs
lola: 17242746 markings, 19076373 edges, 57805 markings/sec, 280 secs
lola: 17537160 markings, 19400947 edges, 58883 markings/sec, 285 secs
lola: 17832062 markings, 19726602 edges, 58980 markings/sec, 290 secs
lola: 18110818 markings, 20044030 edges, 55751 markings/sec, 295 secs
lola: 18405926 markings, 20370661 edges, 59022 markings/sec, 300 secs
lola: 18695220 markings, 20693332 edges, 57859 markings/sec, 305 secs
lola: 18987220 markings, 21019825 edges, 58400 markings/sec, 310 secs
lola: 19287935 markings, 21348085 edges, 60143 markings/sec, 315 secs
lola: 19585918 markings, 21675172 edges, 59597 markings/sec, 320 secs
lola: 19881336 markings, 22000340 edges, 59084 markings/sec, 325 secs
lola: 20176092 markings, 22325605 edges, 58951 markings/sec, 330 secs
lola: 20467691 markings, 22649485 edges, 58320 markings/sec, 335 secs
lola: 20760345 markings, 22974982 edges, 58531 markings/sec, 340 secs
lola: 21058258 markings, 23300815 edges, 59583 markings/sec, 345 secs
lola: 21350081 markings, 23624918 edges, 58365 markings/sec, 350 secs
lola: 21637454 markings, 23946056 edges, 57475 markings/sec, 355 secs
lola: 21927320 markings, 24268920 edges, 57973 markings/sec, 360 secs
lola: 22217678 markings, 24590391 edges, 58072 markings/sec, 365 secs
lola: 22506003 markings, 24912193 edges, 57665 markings/sec, 370 secs
lola: 22799589 markings, 25237142 edges, 58717 markings/sec, 375 secs
lola: 23091035 markings, 25557107 edges, 58289 markings/sec, 380 secs
lola: 23378597 markings, 25876871 edges, 57512 markings/sec, 385 secs
lola: 23672908 markings, 26199492 edges, 58862 markings/sec, 390 secs
lola: 23966011 markings, 26521377 edges, 58621 markings/sec, 395 secs
lola: 24252177 markings, 26842035 edges, 57233 markings/sec, 400 secs
lola: 24543254 markings, 27164452 edges, 58215 markings/sec, 405 secs
lola: 24833301 markings, 27485330 edges, 58009 markings/sec, 410 secs
lola: 25113160 markings, 27811874 edges, 55972 markings/sec, 415 secs
lola: 25396024 markings, 28132698 edges, 56573 markings/sec, 420 secs
lola: 25707641 markings, 28473350 edges, 62323 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (((2 <= p3295) OR (p708 <= p1993))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U ((2 <= p3295) OR (p708 <= p1993))))))
lola: processed formula length: 64
lola: 2 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 1035 markings, 2070 edges
lola: ========================================
lola: subprocess 12 will run for 541 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((3 <= p1660))) AND ((p679 <= p3274) AND (2 <= p253) AND (1 <= p2154) AND (p175 <= p2703)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U (EX((3 <= p1660)) AND ((p679 <= p3274) AND (2 <= p253) AND (1 <= p2154) AND (p175 <= p2703))))
lola: processed formula length: 103
lola: 2 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 175136 markings, 226417 edges, 35014 markings/sec, 0 secs
lola: 349649 markings, 452457 edges, 34903 markings/sec, 5 secs
lola: 530586 markings, 676490 edges, 36187 markings/sec, 10 secs
lola: 705333 markings, 904152 edges, 34949 markings/sec, 15 secs
lola: 878612 markings, 1129418 edges, 34656 markings/sec, 20 secs
lola: 1051678 markings, 1347993 edges, 34613 markings/sec, 25 secs
lola: 1222228 markings, 1569805 edges, 34110 markings/sec, 30 secs
lola: 1395855 markings, 1794643 edges, 34725 markings/sec, 35 secs
lola: 1569663 markings, 2017837 edges, 34762 markings/sec, 40 secs
lola: 1741646 markings, 2239614 edges, 34397 markings/sec, 45 secs
lola: 1901624 markings, 2478003 edges, 31996 markings/sec, 50 secs
lola: 2069131 markings, 2701882 edges, 33501 markings/sec, 55 secs
lola: 2237815 markings, 2922526 edges, 33737 markings/sec, 60 secs
lola: 2410281 markings, 3143852 edges, 34493 markings/sec, 65 secs
lola: 2584220 markings, 3364613 edges, 34788 markings/sec, 70 secs
lola: 2756137 markings, 3583100 edges, 34383 markings/sec, 75 secs
lola: 2926446 markings, 3801467 edges, 34062 markings/sec, 80 secs
lola: 3095838 markings, 4020005 edges, 33878 markings/sec, 85 secs
lola: 3264721 markings, 4234961 edges, 33777 markings/sec, 90 secs
lola: 3431903 markings, 4447043 edges, 33436 markings/sec, 95 secs
lola: 3600653 markings, 4665712 edges, 33750 markings/sec, 100 secs
lola: 3766932 markings, 4881062 edges, 33256 markings/sec, 105 secs
lola: 3934006 markings, 5099401 edges, 33415 markings/sec, 110 secs
lola: 4101219 markings, 5317228 edges, 33443 markings/sec, 115 secs
lola: 4263954 markings, 5535941 edges, 32547 markings/sec, 120 secs
lola: 4431247 markings, 5754193 edges, 33459 markings/sec, 125 secs
lola: 4592223 markings, 5956192 edges, 32195 markings/sec, 130 secs
lola: 4754011 markings, 6162750 edges, 32358 markings/sec, 135 secs
lola: 4919586 markings, 6376137 edges, 33115 markings/sec, 140 secs
lola: 5087038 markings, 6592153 edges, 33490 markings/sec, 145 secs
lola: 5248436 markings, 6806198 edges, 32280 markings/sec, 150 secs
lola: 5409522 markings, 7020824 edges, 32217 markings/sec, 155 secs
lola: 5572351 markings, 7235814 edges, 32566 markings/sec, 160 secs
lola: 5732157 markings, 7451766 edges, 31961 markings/sec, 165 secs
lola: 5894117 markings, 7662309 edges, 32392 markings/sec, 170 secs
lola: 6056328 markings, 7869977 edges, 32442 markings/sec, 175 secs
lola: 6218991 markings, 8080295 edges, 32533 markings/sec, 180 secs
lola: 6379673 markings, 8291899 edges, 32136 markings/sec, 185 secs
lola: 6543337 markings, 8497978 edges, 32733 markings/sec, 190 secs
lola: 6706108 markings, 8706737 edges, 32554 markings/sec, 195 secs
lola: 6869613 markings, 8917626 edges, 32701 markings/sec, 200 secs
lola: 7033081 markings, 9131877 edges, 32694 markings/sec, 205 secs
lola: 7199087 markings, 9348887 edges, 33201 markings/sec, 210 secs
lola: 7363697 markings, 9565849 edges, 32922 markings/sec, 215 secs
lola: 7523287 markings, 9779116 edges, 31918 markings/sec, 220 secs
lola: 7684645 markings, 9984336 edges, 32272 markings/sec, 225 secs
lola: 7841526 markings, 10181563 edges, 31376 markings/sec, 230 secs
lola: 8003382 markings, 10391020 edges, 32371 markings/sec, 235 secs
lola: 8168021 markings, 10603516 edges, 32928 markings/sec, 240 secs
lola: 8335180 markings, 10819273 edges, 33432 markings/sec, 245 secs
lola: 8496063 markings, 11034661 edges, 32177 markings/sec, 250 secs
lola: 8659297 markings, 11249448 edges, 32647 markings/sec, 255 secs
lola: 8821643 markings, 11466959 edges, 32469 markings/sec, 260 secs
lola: 8983345 markings, 11684014 edges, 32340 markings/sec, 265 secs
lola: 9146210 markings, 11900541 edges, 32573 markings/sec, 270 secs
lola: 9306979 markings, 12114445 edges, 32154 markings/sec, 275 secs
lola: 9466200 markings, 12323981 edges, 31844 markings/sec, 280 secs
lola: 9627409 markings, 12533665 edges, 32242 markings/sec, 285 secs
lola: 9778999 markings, 12735813 edges, 30318 markings/sec, 290 secs
lola: 9940519 markings, 12952456 edges, 32304 markings/sec, 295 secs
lola: 10105897 markings, 13171355 edges, 33076 markings/sec, 300 secs
lola: 10269268 markings, 13380527 edges, 32674 markings/sec, 305 secs
lola: 10433200 markings, 13595695 edges, 32786 markings/sec, 310 secs
lola: 10593084 markings, 13809384 edges, 31977 markings/sec, 315 secs
lola: 10751693 markings, 14018206 edges, 31722 markings/sec, 320 secs
lola: 10912521 markings, 14235108 edges, 32166 markings/sec, 325 secs
lola: 11077257 markings, 14450754 edges, 32947 markings/sec, 330 secs
lola: 11247078 markings, 14672531 edges, 33964 markings/sec, 335 secs
lola: 11412597 markings, 14888607 edges, 33104 markings/sec, 340 secs
lola: 11571724 markings, 15103595 edges, 31825 markings/sec, 345 secs
lola: 11731736 markings, 15317936 edges, 32002 markings/sec, 350 secs
lola: 11893610 markings, 15533343 edges, 32375 markings/sec, 355 secs
lola: 12052275 markings, 15746363 edges, 31733 markings/sec, 360 secs
lola: 12210620 markings, 15963249 edges, 31669 markings/sec, 365 secs
lola: 12371403 markings, 16172973 edges, 32157 markings/sec, 370 secs
lola: 12528481 markings, 16371421 edges, 31416 markings/sec, 375 secs
lola: 12685021 markings, 16573808 edges, 31308 markings/sec, 380 secs
lola: 12841164 markings, 16778893 edges, 31229 markings/sec, 385 secs
lola: 12996374 markings, 16980511 edges, 31042 markings/sec, 390 secs
lola: 13152781 markings, 17187315 edges, 31281 markings/sec, 395 secs
lola: 13311531 markings, 17396613 edges, 31750 markings/sec, 400 secs
lola: 13471581 markings, 17606865 edges, 32010 markings/sec, 405 secs
lola: 13629158 markings, 17813015 edges, 31515 markings/sec, 410 secs
lola: 13786572 markings, 18012165 edges, 31483 markings/sec, 415 secs
lola: 13944217 markings, 18213783 edges, 31529 markings/sec, 420 secs
lola: 14103437 markings, 18417146 edges, 31844 markings/sec, 425 secs
lola: 14260556 markings, 18623960 edges, 31424 markings/sec, 430 secs
lola: 14421396 markings, 18831180 edges, 32168 markings/sec, 435 secs
lola: 14578102 markings, 19037360 edges, 31341 markings/sec, 440 secs
lola: 14740956 markings, 19248564 edges, 32571 markings/sec, 445 secs
lola: 14897944 markings, 19456483 edges, 31398 markings/sec, 450 secs
lola: 15056476 markings, 19665156 edges, 31706 markings/sec, 455 secs
lola: 15215919 markings, 19875424 edges, 31889 markings/sec, 460 secs
lola: 15373813 markings, 20086290 edges, 31579 markings/sec, 465 secs
lola: 15530044 markings, 20295729 edges, 31246 markings/sec, 470 secs
lola: 15688753 markings, 20509333 edges, 31742 markings/sec, 475 secs
lola: 15844514 markings, 20720252 edges, 31152 markings/sec, 480 secs
lola: 16000377 markings, 20920970 edges, 31173 markings/sec, 485 secs
lola: 16154125 markings, 21117873 edges, 30750 markings/sec, 490 secs
lola: 16308186 markings, 21319302 edges, 30812 markings/sec, 495 secs
lola: 16460941 markings, 21518410 edges, 30551 markings/sec, 500 secs
lola: 16613415 markings, 21718042 edges, 30495 markings/sec, 505 secs
lola: 16769621 markings, 21923681 edges, 31241 markings/sec, 510 secs
lola: 16926602 markings, 22129558 edges, 31396 markings/sec, 515 secs
lola: 17083434 markings, 22336364 edges, 31366 markings/sec, 520 secs
lola: 17237609 markings, 22540917 edges, 30835 markings/sec, 525 secs
lola: 17397115 markings, 22756541 edges, 31901 markings/sec, 530 secs
lola: 17555344 markings, 22963849 edges, 31646 markings/sec, 535 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 541 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p701 <= 1) AND A (G ((p2169 <= p1335))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U ((p701 <= 1) AND NOT(E(TRUE U (p1335 + 1 <= p2169)))))
lola: processed formula length: 63
lola: 3 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 307683 markings, 335758 edges, 3096159597753270272 markings/sec, 0 secs
lola: 613086 markings, 673581 edges, 61081 markings/sec, 5 secs
lola: 923223 markings, 1015472 edges, 62027 markings/sec, 10 secs
lola: 1231050 markings, 1356384 edges, 61565 markings/sec, 15 secs
lola: 1536889 markings, 1696634 edges, 61168 markings/sec, 20 secs
lola: 1838990 markings, 2033994 edges, 60420 markings/sec, 25 secs
lola: 2151422 markings, 2374434 edges, 62486 markings/sec, 30 secs
lola: 2456186 markings, 2712402 edges, 60953 markings/sec, 35 secs
lola: 2767296 markings, 3053727 edges, 62222 markings/sec, 40 secs
lola: 3074078 markings, 3391348 edges, 61356 markings/sec, 45 secs
lola: 3373706 markings, 3725155 edges, 59926 markings/sec, 50 secs
lola: 3682609 markings, 4065462 edges, 61781 markings/sec, 55 secs
lola: 3995060 markings, 4407172 edges, 62490 markings/sec, 60 secs
lola: 4292549 markings, 4741206 edges, 59498 markings/sec, 65 secs
lola: 4599589 markings, 5081933 edges, 61408 markings/sec, 70 secs
lola: 4903406 markings, 5421603 edges, 60763 markings/sec, 75 secs
lola: 5207870 markings, 5759189 edges, 60893 markings/sec, 80 secs
lola: 5518338 markings, 6100653 edges, 62094 markings/sec, 85 secs
lola: 5819391 markings, 6437485 edges, 60211 markings/sec, 90 secs
lola: 6120208 markings, 6771501 edges, 60163 markings/sec, 95 secs
lola: 6424110 markings, 7105281 edges, 60780 markings/sec, 100 secs
lola: 6720535 markings, 7435888 edges, 59285 markings/sec, 105 secs
lola: 7023691 markings, 7771290 edges, 60631 markings/sec, 110 secs
lola: 7326216 markings, 8103757 edges, 60505 markings/sec, 115 secs
lola: 7633522 markings, 8441446 edges, 61461 markings/sec, 120 secs
lola: 7938831 markings, 8779590 edges, 61062 markings/sec, 125 secs
lola: 8237456 markings, 9114814 edges, 59725 markings/sec, 130 secs
lola: 8547729 markings, 9455213 edges, 62055 markings/sec, 135 secs
lola: 8848322 markings, 9790121 edges, 60119 markings/sec, 140 secs
lola: 9150916 markings, 10126770 edges, 60519 markings/sec, 145 secs
lola: 9458910 markings, 10464987 edges, 61599 markings/sec, 150 secs
lola: 9762388 markings, 10798884 edges, 60696 markings/sec, 155 secs
lola: 10062152 markings, 11132391 edges, 59953 markings/sec, 160 secs
lola: 10365844 markings, 11468707 edges, 60738 markings/sec, 165 secs
lola: 10670595 markings, 11804997 edges, 60950 markings/sec, 170 secs
lola: 10979297 markings, 12143488 edges, 61740 markings/sec, 175 secs
lola: 11285921 markings, 12481566 edges, 61325 markings/sec, 180 secs
lola: 11588279 markings, 12819053 edges, 60472 markings/sec, 185 secs
lola: 11893913 markings, 13158625 edges, 61127 markings/sec, 190 secs
lola: 12202042 markings, 13497288 edges, 61626 markings/sec, 195 secs
lola: 12509514 markings, 13836241 edges, 61494 markings/sec, 200 secs
lola: 12809140 markings, 14171042 edges, 59925 markings/sec, 205 secs
lola: 13109546 markings, 14505214 edges, 60081 markings/sec, 210 secs
lola: 13413201 markings, 14842344 edges, 60731 markings/sec, 215 secs
lola: 13720291 markings, 15178335 edges, 61418 markings/sec, 220 secs
lola: 14024133 markings, 15511957 edges, 60768 markings/sec, 225 secs
lola: 14320644 markings, 15842762 edges, 59302 markings/sec, 230 secs
lola: 14623432 markings, 16177121 edges, 60558 markings/sec, 235 secs
lola: 14926354 markings, 16510506 edges, 60584 markings/sec, 240 secs
lola: 15232724 markings, 16847175 edges, 61274 markings/sec, 245 secs
lola: 15536260 markings, 17183006 edges, 60707 markings/sec, 250 secs
lola: 15833949 markings, 17517451 edges, 59538 markings/sec, 255 secs
lola: 16139974 markings, 17853959 edges, 61205 markings/sec, 260 secs
lola: 16443450 markings, 18188229 edges, 60695 markings/sec, 265 secs
lola: 16745425 markings, 18522396 edges, 60395 markings/sec, 270 secs
lola: 17040250 markings, 18852324 edges, 58965 markings/sec, 275 secs
lola: 17341535 markings, 19186593 edges, 60257 markings/sec, 280 secs
lola: 17651167 markings, 19525821 edges, 61926 markings/sec, 285 secs
lola: 17948413 markings, 19858154 edges, 59449 markings/sec, 290 secs
lola: 18241210 markings, 20188459 edges, 58559 markings/sec, 295 secs
lola: 18549537 markings, 20528463 edges, 61665 markings/sec, 300 secs
lola: 18843367 markings, 20860912 edges, 58766 markings/sec, 305 secs
lola: 19153683 markings, 21201715 edges, 62063 markings/sec, 310 secs
lola: 19463637 markings, 21541708 edges, 61991 markings/sec, 315 secs
lola: 19771121 markings, 21879852 edges, 61497 markings/sec, 320 secs
lola: 20079556 markings, 22218696 edges, 61687 markings/sec, 325 secs
lola: 20381713 markings, 22553841 edges, 60431 markings/sec, 330 secs
lola: 20687366 markings, 22892709 edges, 61131 markings/sec, 335 secs
lola: 20994499 markings, 23230927 edges, 61427 markings/sec, 340 secs
lola: 21297512 markings, 23567226 edges, 60603 markings/sec, 345 secs
lola: 21596299 markings, 23900547 edges, 59757 markings/sec, 350 secs
lola: 21896142 markings, 24234999 edges, 59969 markings/sec, 355 secs
lola: 22198983 markings, 24569827 edges, 60568 markings/sec, 360 secs
lola: 22499117 markings, 24904698 edges, 60027 markings/sec, 365 secs
lola: 22804961 markings, 25243403 edges, 61169 markings/sec, 370 secs
lola: 23107548 markings, 25575309 edges, 60517 markings/sec, 375 secs
lola: 23407162 markings, 25907702 edges, 59923 markings/sec, 380 secs
lola: 23712860 markings, 26243053 edges, 61140 markings/sec, 385 secs
lola: 24014700 markings, 26576664 edges, 60368 markings/sec, 390 secs
lola: 24314574 markings, 26910970 edges, 59975 markings/sec, 395 secs
lola: 24616502 markings, 27245696 edges, 60386 markings/sec, 400 secs
lola: 24909854 markings, 27584323 edges, 58670 markings/sec, 405 secs
lola: 25208934 markings, 27918870 edges, 59816 markings/sec, 410 secs
lola: 25508367 markings, 28255745 edges, 59887 markings/sec, 415 secs
lola: 25817316 markings, 28593675 edges, 61790 markings/sec, 420 secs
lola: 26117172 markings, 28926873 edges, 59971 markings/sec, 425 secs
lola: 26419281 markings, 29261457 edges, 60422 markings/sec, 430 secs
lola: 26725895 markings, 29600306 edges, 61323 markings/sec, 435 secs
lola: 27024049 markings, 29930333 edges, 59631 markings/sec, 440 secs
lola: 27320819 markings, 30259736 edges, 59354 markings/sec, 445 secs
lola: 27619780 markings, 30591508 edges, 59792 markings/sec, 450 secs
lola: 27922509 markings, 30924784 edges, 60546 markings/sec, 455 secs
lola: 28227557 markings, 31260462 edges, 61010 markings/sec, 460 secs
lola: 28525024 markings, 31594532 edges, 59493 markings/sec, 465 secs
lola: 28825927 markings, 31927303 edges, 60181 markings/sec, 470 secs
lola: 29128628 markings, 32260067 edges, 60540 markings/sec, 475 secs
lola: 29419894 markings, 32587991 edges, 58253 markings/sec, 480 secs
lola: 29711618 markings, 32916173 edges, 58345 markings/sec, 485 secs
lola: 30016585 markings, 33254166 edges, 60993 markings/sec, 490 secs
lola: 30330686 markings, 33597526 edges, 62820 markings/sec, 495 secs
lola: 30644233 markings, 33941665 edges, 62709 markings/sec, 500 secs
lola: 30954109 markings, 34282578 edges, 61975 markings/sec, 505 secs
lola: 31261745 markings, 34623095 edges, 61527 markings/sec, 510 secs
lola: 31565855 markings, 34960556 edges, 60822 markings/sec, 515 secs
lola: 31869260 markings, 35297711 edges, 60681 markings/sec, 520 secs
lola: 32180076 markings, 35638524 edges, 62163 markings/sec, 525 secs
lola: 32483606 markings, 35976220 edges, 60706 markings/sec, 530 secs
lola: 32786954 markings, 36314187 edges, 60670 markings/sec, 535 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 542 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((p2821 <= p2637) OR (p3497 <= p2553)) AND A (X ((p3066 <= p589))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 542 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p2821 <= p2637) OR (p3497 <= p2553))))
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 464 bytes per marking, with 1 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 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-10b-CTLCardinality-14.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: 139 markings, 138 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 1084 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (G (((p2552 <= p1564) OR (1 <= p1860))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U A(TRUE U ((p1564 + 1 <= p2552) AND (p1860 <= 0)))))
lola: processed formula length: 64
lola: 4 rewrites
lola: formula mentions 0 of 3924 places; total mentions: 0
lola: closed formula file DLCround-PT-10b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 127387 markings, 394154 edges, 25469 markings/sec, 0 secs
lola: 254854 markings, 789424 edges, 25493 markings/sec, 5 secs
lola: 381676 markings, 1182933 edges, 25364 markings/sec, 10 secs
lola: 508417 markings, 1575932 edges, 25348 markings/sec, 15 secs
lola: 634355 markings, 1965591 edges, 25188 markings/sec, 20 secs
lola: 758812 markings, 2353597 edges, 24891 markings/sec, 25 secs
lola: 885647 markings, 2746526 edges, 25367 markings/sec, 30 secs
lola: 1010305 markings, 3133433 edges, 24932 markings/sec, 35 secs
lola: 1126622 markings, 3495893 edges, 23263 markings/sec, 40 secs
lola: 1250818 markings, 3883261 edges, 24839 markings/sec, 45 secs
lola: 1376101 markings, 4272519 edges, 25057 markings/sec, 50 secs
lola: 1499938 markings, 4657858 edges, 24767 markings/sec, 55 secs
lola: 1624576 markings, 5045878 edges, 24928 markings/sec, 60 secs
lola: 1748816 markings, 5431654 edges, 24848 markings/sec, 65 secs
lola: 1872602 markings, 5816012 edges, 24757 markings/sec, 70 secs
lola: 1994242 markings, 6194373 edges, 24328 markings/sec, 75 secs
lola: 2121618 markings, 6587044 edges, 25475 markings/sec, 80 secs
lola: 2245704 markings, 6971840 edges, 24817 markings/sec, 85 secs
lola: 2367548 markings, 7350803 edges, 24369 markings/sec, 90 secs
lola: 2490389 markings, 7732829 edges, 24568 markings/sec, 95 secs
lola: 2613048 markings, 8113653 edges, 24532 markings/sec, 100 secs
lola: 2737792 markings, 8498879 edges, 24949 markings/sec, 105 secs
lola: 2860525 markings, 8879732 edges, 24547 markings/sec, 110 secs
lola: 2982572 markings, 9259313 edges, 24409 markings/sec, 115 secs
lola: 3108105 markings, 9648905 edges, 25107 markings/sec, 120 secs
lola: 3228462 markings, 10025182 edges, 24071 markings/sec, 125 secs
lola: 3349263 markings, 10401987 edges, 24160 markings/sec, 130 secs
lola: 3474590 markings, 10789937 edges, 25065 markings/sec, 135 secs
lola: 3598884 markings, 11175699 edges, 24859 markings/sec, 140 secs
lola: 3719154 markings, 11552232 edges, 24054 markings/sec, 145 secs
lola: 3841695 markings, 11933995 edges, 24508 markings/sec, 150 secs
lola: 3966006 markings, 12320196 edges, 24862 markings/sec, 155 secs
lola: 4085409 markings, 12690453 edges, 23881 markings/sec, 160 secs
lola: 4205871 markings, 13068161 edges, 24092 markings/sec, 165 secs
lola: 4328114 markings, 13448326 edges, 24449 markings/sec, 170 secs
lola: 4449297 markings, 13826879 edges, 24237 markings/sec, 175 secs
lola: 4572296 markings, 14211535 edges, 24600 markings/sec, 180 secs
lola: 4694319 markings, 14594076 edges, 24405 markings/sec, 185 secs
lola: 4819201 markings, 14984084 edges, 24976 markings/sec, 190 secs
lola: 4942786 markings, 15369007 edges, 24717 markings/sec, 195 secs
lola: 5068303 markings, 15757751 edges, 25103 markings/sec, 200 secs
lola: 5193254 markings, 16144823 edges, 24990 markings/sec, 205 secs
lola: 5315154 markings, 16523404 edges, 24380 markings/sec, 210 secs
lola: 5440339 markings, 16910024 edges, 25037 markings/sec, 215 secs
lola: 5564295 markings, 17295045 edges, 24791 markings/sec, 220 secs
lola: 5685602 markings, 17674346 edges, 24261 markings/sec, 225 secs
lola: 5806776 markings, 18050619 edges, 24235 markings/sec, 230 secs
lola: 5931673 markings, 18437962 edges, 24979 markings/sec, 235 secs
lola: 6054757 markings, 18821145 edges, 24617 markings/sec, 240 secs
lola: 6179365 markings, 19208588 edges, 24922 markings/sec, 245 secs
lola: 6303224 markings, 19592441 edges, 24772 markings/sec, 250 secs
lola: 6428034 markings, 19978591 edges, 24962 markings/sec, 255 secs
lola: 6552274 markings, 20363444 edges, 24848 markings/sec, 260 secs
lola: 6678238 markings, 20753936 edges, 25193 markings/sec, 265 secs
lola: 6804251 markings, 21144620 edges, 25203 markings/sec, 270 secs
lola: 6929560 markings, 21533454 edges, 25062 markings/sec, 275 secs
lola: 7053486 markings, 21918690 edges, 24785 markings/sec, 280 secs
lola: 7177699 markings, 22305686 edges, 24843 markings/sec, 285 secs
lola: 7300264 markings, 22689810 edges, 24513 markings/sec, 290 secs
lola: 7424820 markings, 23078240 edges, 24911 markings/sec, 295 secs
lola: 7551786 markings, 23470989 edges, 25393 markings/sec, 300 secs
lola: 7678212 markings, 23861866 edges, 25285 markings/sec, 305 secs
lola: 7801510 markings, 24245610 edges, 24660 markings/sec, 310 secs
lola: 7926693 markings, 24634676 edges, 25037 markings/sec, 315 secs
lola: 8050118 markings, 25020367 edges, 24685 markings/sec, 320 secs
lola: 8174579 markings, 25407906 edges, 24892 markings/sec, 325 secs
lola: 8299626 markings, 25795841 edges, 25009 markings/sec, 330 secs
lola: 8427753 markings, 26190773 edges, 25625 markings/sec, 335 secs
lola: 8553114 markings, 26579361 edges, 25072 markings/sec, 340 secs
lola: 8676498 markings, 26963153 edges, 24677 markings/sec, 345 secs
lola: 8800637 markings, 27349258 edges, 24828 markings/sec, 350 secs
lola: 8925709 markings, 27737474 edges, 25014 markings/sec, 355 secs
lola: 9051962 markings, 28127261 edges, 25251 markings/sec, 360 secs
lola: 9175931 markings, 28512328 edges, 24794 markings/sec, 365 secs
lola: 9299252 markings, 28895943 edges, 24664 markings/sec, 370 secs
lola: 9425993 markings, 29289202 edges, 25348 markings/sec, 375 secs
lola: 9548857 markings, 29673569 edges, 24573 markings/sec, 380 secs
lola: 9672923 markings, 30059659 edges, 24813 markings/sec, 385 secs
lola: 9798640 markings, 30449224 edges, 25143 markings/sec, 390 secs
lola: 9923600 markings, 30837429 edges, 24992 markings/sec, 395 secs
lola: 10046602 markings, 31222453 edges, 24600 markings/sec, 400 secs
lola: 10171111 markings, 31609839 edges, 24902 markings/sec, 405 secs
lola: 10297826 markings, 32002960 edges, 25343 markings/sec, 410 secs
lola: 10421488 markings, 32388341 edges, 24732 markings/sec, 415 secs
lola: 10543562 markings, 32770633 edges, 24415 markings/sec, 420 secs
lola: 10668498 markings, 33158007 edges, 24987 markings/sec, 425 secs
lola: 10789844 markings, 33538760 edges, 24269 markings/sec, 430 secs
lola: 10912576 markings, 33921736 edges, 24546 markings/sec, 435 secs
lola: 11036046 markings, 34307857 edges, 24694 markings/sec, 440 secs
lola: 11159281 markings, 34693752 edges, 24647 markings/sec, 445 secs
lola: 11283094 markings, 35078173 edges, 24763 markings/sec, 450 secs
lola: 11408651 markings, 35466855 edges, 25111 markings/sec, 455 secs
lola: 11528489 markings, 35838395 edges, 23968 markings/sec, 460 secs
lola: 11647676 markings, 36208395 edges, 23837 markings/sec, 465 secs
lola: 11770379 markings, 36587523 edges, 24541 markings/sec, 470 secs
lola: 11891762 markings, 36965398 edges, 24277 markings/sec, 475 secs
lola: 12010729 markings, 37337136 edges, 23793 markings/sec, 480 secs
lola: 12132599 markings, 37714981 edges, 24374 markings/sec, 485 secs
lola: 12254274 markings, 38093000 edges, 24335 markings/sec, 490 secs
lola: 12376081 markings, 38471723 edges, 24361 markings/sec, 495 secs
lola: 12498871 markings, 38853792 edges, 24558 markings/sec, 500 secs
lola: 12619297 markings, 39226743 edges, 24085 markings/sec, 505 secs
lola: 12741708 markings, 39605591 edges, 24482 markings/sec, 510 secs
lola: 12865130 markings, 39987787 edges, 24684 markings/sec, 515 secs
lola: 12990379 markings, 40376101 edges, 25050 markings/sec, 520 secs
lola: 13114997 markings, 40762460 edges, 24924 markings/sec, 525 secs
lola: 13239387 markings, 41148491 edges, 24878 markings/sec, 530 secs
lola: 13361417 markings, 41527887 edges, 24406 markings/sec, 535 secs
lola: 13484884 markings, 41912542 edges, 24693 markings/sec, 540 secs
lola: 13607280 markings, 42296106 edges, 24479 markings/sec, 545 secs
lola: 13730994 markings, 42681763 edges, 24743 markings/sec, 550 secs
lola: 13857908 markings, 43074588 edges, 25383 markings/sec, 555 secs
lola: 13983458 markings, 43462725 edges, 25110 markings/sec, 560 secs
lola: 14106807 markings, 43846489 edges, 24670 markings/sec, 565 secs
lola: 14228959 markings, 44229236 edges, 24430 markings/sec, 570 secs
lola: 14353852 markings, 44618075 edges, 24979 markings/sec, 575 secs
lola: 14476962 markings, 45002722 edges, 24622 markings/sec, 580 secs
lola: 14603282 markings, 45393901 edges, 25264 markings/sec, 585 secs
lola: 14728375 markings, 45782482 edges, 25019 markings/sec, 590 secs
lola: 14849072 markings, 46158895 edges, 24139 markings/sec, 595 secs
lola: 14967975 markings, 46531801 edges, 23781 markings/sec, 600 secs
lola: 15091614 markings, 46915025 edges, 24728 markings/sec, 605 secs
lola: 15217743 markings, 47305622 edges, 25226 markings/sec, 610 secs
lola: 15339210 markings, 47685094 edges, 24293 markings/sec, 615 secs
lola: 15461818 markings, 48067960 edges, 24522 markings/sec, 620 secs
lola: 15587180 markings, 48458472 edges, 25072 markings/sec, 625 secs
lola: 15710209 markings, 48841458 edges, 24606 markings/sec, 630 secs
lola: 15833187 markings, 49226269 edges, 24596 markings/sec, 635 secs
lola: 15954437 markings, 49605739 edges, 24250 markings/sec, 640 secs
lola: 16080495 markings, 49995724 edges, 25212 markings/sec, 645 secs
lola: 16205927 markings, 50384027 edges, 25086 markings/sec, 650 secs
lola: 16325604 markings, 50758675 edges, 23935 markings/sec, 655 secs
lola: 16447520 markings, 51138241 edges, 24383 markings/sec, 660 secs
lola: 16572760 markings, 51525801 edges, 25048 markings/sec, 665 secs
lola: 16696260 markings, 51909105 edges, 24700 markings/sec, 670 secs
lola: 16819562 markings, 52293529 edges, 24660 markings/sec, 675 secs
lola: 16941488 markings, 52673967 edges, 24385 markings/sec, 680 secs
lola: 17064434 markings, 53055510 edges, 24589 markings/sec, 685 secs
lola: 17190438 markings, 53445360 edges, 25201 markings/sec, 690 secs
lola: 17317014 markings, 53836415 edges, 25315 markings/sec, 695 secs
lola: 17441089 markings, 54222411 edges, 24815 markings/sec, 700 secs
lola: 17563954 markings, 54605819 edges, 24573 markings/sec, 705 secs
lola: 17685469 markings, 54985740 edges, 24303 markings/sec, 710 secs
lola: 17808786 markings, 55369042 edges, 24663 markings/sec, 715 secs
lola: 17928559 markings, 55744161 edges, 23955 markings/sec, 720 secs
lola: 18050452 markings, 56123710 edges, 24379 markings/sec, 725 secs
lola: 18174173 markings, 56508354 edges, 24744 markings/sec, 730 secs
lola: 18296195 markings, 56888708 edges, 24404 markings/sec, 735 secs
lola: 18417945 markings, 57269048 edges, 24350 markings/sec, 740 secs
lola: 18540000 markings, 57648126 edges, 24411 markings/sec, 745 secs
lola: 18662950 markings, 58028614 edges, 24590 markings/sec, 750 secs
lola: 18784991 markings, 58407744 edges, 24408 markings/sec, 755 secs
lola: 18906471 markings, 58785685 edges, 24296 markings/sec, 760 secs
lola: 19027845 markings, 59163412 edges, 24275 markings/sec, 765 secs
lola: 19151187 markings, 59547001 edges, 24668 markings/sec, 770 secs
lola: 19275862 markings, 59934139 edges, 24935 markings/sec, 775 secs
lola: 19402384 markings, 60324838 edges, 25304 markings/sec, 780 secs
lola: 19523795 markings, 60702044 edges, 24282 markings/sec, 785 secs
lola: 19644149 markings, 61075778 edges, 24071 markings/sec, 790 secs
lola: 19765461 markings, 61451345 edges, 24262 markings/sec, 795 secs
lola: 19886235 markings, 61826712 edges, 24155 markings/sec, 800 secs
lola: 20005828 markings, 62198864 edges, 23919 markings/sec, 805 secs
lola: 20125107 markings, 62570207 edges, 23856 markings/sec, 810 secs
lola: 20243512 markings, 62938341 edges, 23681 markings/sec, 815 secs
lola: 20366015 markings, 63318733 edges, 24501 markings/sec, 820 secs
lola: 20490903 markings, 63704222 edges, 24978 markings/sec, 825 secs
lola: 20612256 markings, 64081747 edges, 24271 markings/sec, 830 secs
lola: 20734630 markings, 64463017 edges, 24475 markings/sec, 835 secs
lola: 20859924 markings, 64850268 edges, 25059 markings/sec, 840 secs
lola: 20985605 markings, 65241256 edges, 25136 markings/sec, 845 secs
lola: 21109895 markings, 65628745 edges, 24858 markings/sec, 850 secs
lola: 21231942 markings, 66010130 edges, 24409 markings/sec, 855 secs
lola: 21354791 markings, 66392256 edges, 24570 markings/sec, 860 secs
lola: 21478834 markings, 66776318 edges, 24809 markings/sec, 865 secs
lola: 21601668 markings, 67158145 edges, 24567 markings/sec, 870 secs
lola: 21725624 markings, 67541585 edges, 24791 markings/sec, 875 secs
lola: 21848050 markings, 67922706 edges, 24485 markings/sec, 880 secs
lola: 21969796 markings, 68303544 edges, 24349 markings/sec, 885 secs
lola: 22091220 markings, 68682809 edges, 24285 markings/sec, 890 secs
lola: 22213683 markings, 69064797 edges, 24493 markings/sec, 895 secs
lola: 22336232 markings, 69447368 edges, 24510 markings/sec, 900 secs
lola: 22457388 markings, 69826497 edges, 24231 markings/sec, 905 secs
lola: 22581402 markings, 70212029 edges, 24803 markings/sec, 910 secs
lola: 22703385 markings, 70591498 edges, 24397 markings/sec, 915 secs
lola: 22826116 markings, 70971885 edges, 24546 markings/sec, 920 secs
lola: 22947212 markings, 71349341 edges, 24219 markings/sec, 925 secs
lola: 23071922 markings, 71736578 edges, 24942 markings/sec, 930 secs
lola: 23192727 markings, 72113083 edges, 24161 markings/sec, 935 secs
lola: 23312409 markings, 72487140 edges, 23936 markings/sec, 940 secs
lola: 23434587 markings, 72866562 edges, 24436 markings/sec, 945 secs
lola: 23556434 markings, 73244772 edges, 24369 markings/sec, 950 secs
lola: 23679334 markings, 73625212 edges, 24580 markings/sec, 955 secs
lola: 23801406 markings, 74005897 edges, 24414 markings/sec, 960 secs
lola: 23919945 markings, 74375916 edges, 23708 markings/sec, 965 secs
lola: 24042473 markings, 74756007 edges, 24506 markings/sec, 970 secs
lola: 24166147 markings, 75139857 edges, 24735 markings/sec, 975 secs
lola: 24287844 markings, 75519034 edges, 24339 markings/sec, 980 secs
lola: 24409106 markings, 75896540 edges, 24252 markings/sec, 985 secs
lola: 24534660 markings, 76284462 edges, 25111 markings/sec, 990 secs
lola: 24655916 markings, 76662645 edges, 24251 markings/sec, 995 secs
lola: 24778359 markings, 77044176 edges, 24489 markings/sec, 1000 secs
lola: 24902658 markings, 77428803 edges, 24860 markings/sec, 1005 secs
lola: 25023458 markings, 77810311 edges, 24160 markings/sec, 1010 secs
lola: 25145250 markings, 78190913 edges, 24358 markings/sec, 1015 secs
lola: 25267468 markings, 78573034 edges, 24444 markings/sec, 1020 secs
lola: 25389262 markings, 78953840 edges, 24359 markings/sec, 1025 secs
lola: 25514451 markings, 79342252 edges, 25038 markings/sec, 1030 secs
lola: 25639115 markings, 79730159 edges, 24933 markings/sec, 1035 secs
lola: 25763915 markings, 80118728 edges, 24960 markings/sec, 1040 secs
lola: 25887099 markings, 80502003 edges, 24637 markings/sec, 1045 secs
lola: 26010408 markings, 80884295 edges, 24662 markings/sec, 1050 secs
lola: 26133470 markings, 81266437 edges, 24612 markings/sec, 1055 secs
lola: 26255025 markings, 81645019 edges, 24311 markings/sec, 1060 secs
lola: 26379010 markings, 82029610 edges, 24797 markings/sec, 1065 secs
lola: 26499455 markings, 82406817 edges, 24089 markings/sec, 1070 secs
lola: 26624902 markings, 82794776 edges, 25089 markings/sec, 1075 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no unknown unknown no no yes no yes unknown unknown yes unknown unknown no
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 unknown unknown no no yes no yes unknown unknown yes unknown unknown no unknown
FORMULA DLCround-PT-10b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-10b-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- 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-10b"
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-10b.tgz
mv DLCround-PT-10b 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-10b, 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-152649742900108"
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 ;