About the Execution of M4M.struct for DLCround-PT-10b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10439.310 | 3585453.00 | 3595820.00 | 10074.20 | 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-structural
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 r071-smll-152649743900108
=====================================================================
--------------------
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 1526688257449
BK_STOP 1526691842902
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-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...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
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 stdout -----
----- Start make result stderr -----
CTLCardinality @ DLCround-PT-10b @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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 236 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: 261689 markings, 334932 edges, 52338 markings/sec, 0 secs
lola: 531958 markings, 678146 edges, 54054 markings/sec, 5 secs
lola: 792457 markings, 1018339 edges, 52100 markings/sec, 10 secs
lola: 1053597 markings, 1350491 edges, 52228 markings/sec, 15 secs
lola: 1307196 markings, 1682886 edges, 50720 markings/sec, 20 secs
lola: 1570166 markings, 2018552 edges, 52594 markings/sec, 25 secs
lola: 1801174 markings, 2345136 edges, 46202 markings/sec, 30 secs
lola: 2054194 markings, 2682170 edges, 50604 markings/sec, 35 secs
lola: 2311130 markings, 3018604 edges, 51387 markings/sec, 40 secs
lola: 2581563 markings, 3361223 edges, 54087 markings/sec, 45 secs
lola: 2849370 markings, 3701922 edges, 53561 markings/sec, 50 secs
lola: 3111682 markings, 4040898 edges, 52462 markings/sec, 55 secs
lola: 3362024 markings, 4357981 edges, 50068 markings/sec, 60 secs
lola: 3618296 markings, 4688553 edges, 51254 markings/sec, 65 secs
lola: 3871669 markings, 5019438 edges, 50675 markings/sec, 70 secs
lola: 4127297 markings, 5353521 edges, 51126 markings/sec, 75 secs
lola: 4380395 markings, 5687088 edges, 50620 markings/sec, 80 secs
lola: 4634801 markings, 6009223 edges, 50881 markings/sec, 85 secs
lola: 4883439 markings, 6331218 edges, 49728 markings/sec, 90 secs
lola: 5137838 markings, 6659126 edges, 50880 markings/sec, 95 secs
lola: 5382130 markings, 6984293 edges, 48858 markings/sec, 100 secs
lola: 5629329 markings, 7313382 edges, 49440 markings/sec, 105 secs
lola: 5875194 markings, 7638043 edges, 49173 markings/sec, 110 secs
lola: 6120043 markings, 7951970 edges, 48970 markings/sec, 115 secs
lola: 6348673 markings, 8250737 edges, 45726 markings/sec, 120 secs
lola: 6578190 markings, 8542787 edges, 45903 markings/sec, 125 secs
lola: 6811948 markings, 8844176 edges, 46752 markings/sec, 130 secs
lola: 7043602 markings, 9145475 edges, 46331 markings/sec, 135 secs
lola: 7274992 markings, 9447387 edges, 46278 markings/sec, 140 secs
lola: 7515143 markings, 9768524 edges, 48030 markings/sec, 145 secs
lola: 7765158 markings, 10085558 edges, 50003 markings/sec, 150 secs
lola: 7998030 markings, 10383413 edges, 46574 markings/sec, 155 secs
lola: 8232063 markings, 10686317 edges, 46807 markings/sec, 160 secs
lola: 8460802 markings, 10987645 edges, 45748 markings/sec, 165 secs
lola: 8688895 markings, 11289417 edges, 45619 markings/sec, 170 secs
lola: 8914394 markings, 11591831 edges, 45100 markings/sec, 175 secs
lola: 9154115 markings, 11910727 edges, 47944 markings/sec, 180 secs
lola: 9394731 markings, 12229698 edges, 48123 markings/sec, 185 secs
lola: 9639877 markings, 12549798 edges, 49029 markings/sec, 190 secs
lola: 9879945 markings, 12871865 edges, 48014 markings/sec, 195 secs
lola: 10124805 markings, 13195043 edges, 48972 markings/sec, 200 secs
lola: 10374881 markings, 13520354 edges, 50015 markings/sec, 205 secs
lola: 10618089 markings, 13841515 edges, 48642 markings/sec, 210 secs
lola: 10858540 markings, 14160921 edges, 48090 markings/sec, 215 secs
lola: 11102821 markings, 14484002 edges, 48856 markings/sec, 220 secs
lola: 11357434 markings, 14816584 edges, 50923 markings/sec, 225 secs
lola: 11596850 markings, 15136725 edges, 47883 markings/sec, 230 secs
lola: 11836786 markings, 15457294 edges, 47987 markings/sec, 235 secs
lola: 12075122 markings, 15777598 edges, 47667 markings/sec, 240 secs
lola: 12312266 markings, 16097289 edges, 47429 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: 295458 markings, 322415 edges, 59083 markings/sec, 0 secs
lola: 592875 markings, 650513 edges, 59483 markings/sec, 5 secs
lola: 893669 markings, 982737 edges, 60159 markings/sec, 10 secs
lola: 1181752 markings, 1301981 edges, 57617 markings/sec, 15 secs
lola: 1483592 markings, 1637511 edges, 60368 markings/sec, 20 secs
lola: 1785911 markings, 1974763 edges, 60464 markings/sec, 25 secs
lola: 2098564 markings, 2316841 edges, 62531 markings/sec, 30 secs
lola: 2404572 markings, 2654432 edges, 61202 markings/sec, 35 secs
lola: 2704670 markings, 2984771 edges, 60020 markings/sec, 40 secs
lola: 3004500 markings, 3313892 edges, 59966 markings/sec, 45 secs
lola: 3295719 markings, 3637620 edges, 58244 markings/sec, 50 secs
lola: 3592296 markings, 3965972 edges, 59315 markings/sec, 55 secs
lola: 3891539 markings, 4294525 edges, 59849 markings/sec, 60 secs
lola: 4183956 markings, 4619274 edges, 58483 markings/sec, 65 secs
lola: 4473588 markings, 4944485 edges, 57926 markings/sec, 70 secs
lola: 4772835 markings, 5275026 edges, 59849 markings/sec, 75 secs
lola: 5067535 markings, 5604079 edges, 58940 markings/sec, 80 secs
lola: 5366844 markings, 5933803 edges, 59862 markings/sec, 85 secs
lola: 5662010 markings, 6260138 edges, 59033 markings/sec, 90 secs
lola: 5954031 markings, 6588208 edges, 58404 markings/sec, 95 secs
lola: 6250242 markings, 6914103 edges, 59242 markings/sec, 100 secs
lola: 6544027 markings, 7240407 edges, 58757 markings/sec, 105 secs
lola: 6838309 markings, 7566150 edges, 58856 markings/sec, 110 secs
lola: 7129927 markings, 7889207 edges, 58324 markings/sec, 115 secs
lola: 7428293 markings, 8215507 edges, 59673 markings/sec, 120 secs
lola: 7728586 markings, 8546614 edges, 60059 markings/sec, 125 secs
lola: 8024037 markings, 8874805 edges, 59090 markings/sec, 130 secs
lola: 8316378 markings, 9202635 edges, 58468 markings/sec, 135 secs
lola: 8617672 markings, 9532611 edges, 60259 markings/sec, 140 secs
lola: 8905140 markings, 9853445 edges, 57494 markings/sec, 145 secs
lola: 9204230 markings, 10186613 edges, 59818 markings/sec, 150 secs
lola: 9507138 markings, 10518178 edges, 60582 markings/sec, 155 secs
lola: 9805339 markings, 10845738 edges, 59640 markings/sec, 160 secs
lola: 10096720 markings, 11170781 edges, 58276 markings/sec, 165 secs
lola: 10394704 markings, 11500684 edges, 59597 markings/sec, 170 secs
lola: 10695332 markings, 11832309 edges, 60126 markings/sec, 175 secs
lola: 10999648 markings, 12166369 edges, 60863 markings/sec, 180 secs
lola: 11300220 markings, 12497874 edges, 60114 markings/sec, 185 secs
lola: 11597591 markings, 12830355 edges, 59474 markings/sec, 190 secs
lola: 11900464 markings, 13165683 edges, 60575 markings/sec, 195 secs
lola: 12202969 markings, 13498298 edges, 60501 markings/sec, 200 secs
lola: 12506902 markings, 13833313 edges, 60787 markings/sec, 205 secs
lola: 12801790 markings, 14162697 edges, 58978 markings/sec, 210 secs
lola: 13098852 markings, 14493264 edges, 59412 markings/sec, 215 secs
lola: 13398413 markings, 14826363 edges, 59912 markings/sec, 220 secs
lola: 13690194 markings, 15144615 edges, 58356 markings/sec, 225 secs
lola: 13993405 markings, 15478001 edges, 60642 markings/sec, 230 secs
lola: 14291441 markings, 15809817 edges, 59607 markings/sec, 235 secs
lola: 14593482 markings, 16143918 edges, 60408 markings/sec, 240 secs
lola: 14896971 markings, 16478246 edges, 60698 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: 35011 markings, 39153 edges, 7002 markings/sec, 0 secs
lola: 69801 markings, 78366 edges, 6958 markings/sec, 5 secs
lola: 119988 markings, 134772 edges, 10037 markings/sec, 10 secs
lola: 176657 markings, 198370 edges, 11334 markings/sec, 15 secs
lola: 236039 markings, 265026 edges, 11876 markings/sec, 20 secs
lola: 314469 markings, 353039 edges, 15686 markings/sec, 25 secs
lola: 389831 markings, 437760 edges, 15072 markings/sec, 30 secs
lola: 466691 markings, 524028 edges, 15372 markings/sec, 35 secs
lola: 540420 markings, 606793 edges, 14746 markings/sec, 40 secs
lola: 614950 markings, 690497 edges, 14906 markings/sec, 45 secs
lola: 689351 markings, 774378 edges, 14880 markings/sec, 50 secs
lola: 761212 markings, 855047 edges, 14372 markings/sec, 55 secs
lola: 830592 markings, 932942 edges, 13876 markings/sec, 60 secs
lola: 907243 markings, 1019346 edges, 15330 markings/sec, 65 secs
lola: 981785 markings, 1103528 edges, 14908 markings/sec, 70 secs
lola: 1069374 markings, 1205291 edges, 17518 markings/sec, 75 secs
lola: 1172767 markings, 1328973 edges, 20679 markings/sec, 80 secs
lola: 1248441 markings, 1413967 edges, 15135 markings/sec, 85 secs
lola: 1321746 markings, 1496224 edges, 14661 markings/sec, 90 secs
lola: 1395693 markings, 1579323 edges, 14789 markings/sec, 95 secs
lola: 1467436 markings, 1659878 edges, 14349 markings/sec, 100 secs
lola: 1534485 markings, 1735133 edges, 13410 markings/sec, 105 secs
lola: 1606121 markings, 1815945 edges, 14327 markings/sec, 110 secs
lola: 1681011 markings, 1900202 edges, 14978 markings/sec, 115 secs
lola: 1754108 markings, 1982206 edges, 14619 markings/sec, 120 secs
lola: 1824059 markings, 2060909 edges, 13990 markings/sec, 125 secs
lola: 1896709 markings, 2142474 edges, 14530 markings/sec, 130 secs
lola: 1969155 markings, 2224535 edges, 14489 markings/sec, 135 secs
lola: 2039259 markings, 2303140 edges, 14021 markings/sec, 140 secs
lola: 2101525 markings, 2373337 edges, 12453 markings/sec, 145 secs
lola: 2172840 markings, 2453621 edges, 14263 markings/sec, 150 secs
lola: 2250303 markings, 2540604 edges, 15493 markings/sec, 155 secs
lola: 2314088 markings, 2612264 edges, 12757 markings/sec, 160 secs
lola: 2388420 markings, 2696023 edges, 14866 markings/sec, 165 secs
lola: 2456226 markings, 2772309 edges, 13561 markings/sec, 170 secs
lola: 2521883 markings, 2846076 edges, 13131 markings/sec, 175 secs
lola: 2583136 markings, 2914889 edges, 12251 markings/sec, 180 secs
lola: 2641195 markings, 2980227 edges, 11612 markings/sec, 185 secs
lola: 2703693 markings, 3050526 edges, 12500 markings/sec, 190 secs
lola: 2764589 markings, 3119148 edges, 12179 markings/sec, 195 secs
lola: 2826294 markings, 3188682 edges, 12341 markings/sec, 200 secs
lola: 2888890 markings, 3259134 edges, 12519 markings/sec, 205 secs
lola: 2955724 markings, 3334422 edges, 13367 markings/sec, 210 secs
lola: 3022610 markings, 3409926 edges, 13377 markings/sec, 215 secs
lola: 3087933 markings, 3483288 edges, 13065 markings/sec, 220 secs
lola: 3155115 markings, 3559365 edges, 13436 markings/sec, 225 secs
lola: 3222158 markings, 3635675 edges, 13409 markings/sec, 230 secs
lola: 3289473 markings, 3712449 edges, 13463 markings/sec, 235 secs
lola: 3353333 markings, 3784490 edges, 12772 markings/sec, 240 secs
lola: 3413902 markings, 3852494 edges, 12114 markings/sec, 245 secs
lola: 3475876 markings, 3922168 edges, 12395 markings/sec, 250 secs
lola: 3536132 markings, 3989815 edges, 12051 markings/sec, 255 secs
lola: 3600729 markings, 4062577 edges, 12919 markings/sec, 260 secs
lola: 3666381 markings, 4136659 edges, 13130 markings/sec, 265 secs
lola: 3729179 markings, 4207167 edges, 12560 markings/sec, 270 secs
lola: 3790397 markings, 4276130 edges, 12244 markings/sec, 275 secs
lola: 3849180 markings, 4342264 edges, 11757 markings/sec, 280 secs
lola: 3912098 markings, 4413122 edges, 12584 markings/sec, 285 secs
lola: 3977431 markings, 4486747 edges, 13067 markings/sec, 290 secs
lola: 4039126 markings, 4556240 edges, 12339 markings/sec, 295 secs
lola: 4107778 markings, 4633380 edges, 13730 markings/sec, 300 secs
lola: 4188667 markings, 4724262 edges, 16178 markings/sec, 305 secs
lola: 4266540 markings, 4812011 edges, 15575 markings/sec, 310 secs
lola: 4341965 markings, 4896902 edges, 15085 markings/sec, 315 secs
lola: 4413728 markings, 4977766 edges, 14353 markings/sec, 320 secs
lola: 4492014 markings, 5065929 edges, 15657 markings/sec, 325 secs
lola: 4572059 markings, 5155723 edges, 16009 markings/sec, 330 secs
lola: 4654633 markings, 5248837 edges, 16515 markings/sec, 335 secs
lola: 4733061 markings, 5336933 edges, 15686 markings/sec, 340 secs
lola: 4816703 markings, 5430938 edges, 16728 markings/sec, 345 secs
lola: 4898028 markings, 5522144 edges, 16265 markings/sec, 350 secs
lola: 4979278 markings, 5613527 edges, 16250 markings/sec, 355 secs
lola: 5062471 markings, 5707129 edges, 16639 markings/sec, 360 secs
lola: 5146216 markings, 5801400 edges, 16749 markings/sec, 365 secs
lola: 5222622 markings, 5887126 edges, 15281 markings/sec, 370 secs
lola: 5294949 markings, 5968412 edges, 14465 markings/sec, 375 secs
lola: 5370512 markings, 6053526 edges, 15113 markings/sec, 380 secs
lola: 5449779 markings, 6142467 edges, 15853 markings/sec, 385 secs
lola: 5526143 markings, 6228340 edges, 15273 markings/sec, 390 secs
lola: 5606201 markings, 6318226 edges, 16012 markings/sec, 395 secs
lola: 5685621 markings, 6407512 edges, 15884 markings/sec, 400 secs
lola: 5765283 markings, 6496972 edges, 15932 markings/sec, 405 secs
lola: 5843946 markings, 6585405 edges, 15733 markings/sec, 410 secs
lola: 5923316 markings, 6674536 edges, 15874 markings/sec, 415 secs
lola: 6001173 markings, 6762172 edges, 15571 markings/sec, 420 secs
lola: 6083242 markings, 6854762 edges, 16414 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: 313955 markings, 342584 edges, 3689329903141912576 markings/sec, 0 secs
lola: 617282 markings, 678104 edges, 60665 markings/sec, 5 secs
lola: 903200 markings, 993012 edges, 57184 markings/sec, 10 secs
lola: 1210982 markings, 1334753 edges, 61556 markings/sec, 15 secs
lola: 1517871 markings, 1675573 edges, 61378 markings/sec, 20 secs
lola: 1820160 markings, 2013164 edges, 60458 markings/sec, 25 secs
lola: 2133811 markings, 2355272 edges, 62730 markings/sec, 30 secs
lola: 2438702 markings, 2692789 edges, 60978 markings/sec, 35 secs
lola: 2748903 markings, 3033317 edges, 62040 markings/sec, 40 secs
lola: 3055662 markings, 3370570 edges, 61352 markings/sec, 45 secs
lola: 3355467 markings, 3704870 edges, 59961 markings/sec, 50 secs
lola: 3662865 markings, 4043930 edges, 61480 markings/sec, 55 secs
lola: 3975617 markings, 4385918 edges, 62550 markings/sec, 60 secs
lola: 4272489 markings, 4718544 edges, 59374 markings/sec, 65 secs
lola: 4579296 markings, 5059817 edges, 61361 markings/sec, 70 secs
lola: 4883328 markings, 5399123 edges, 60806 markings/sec, 75 secs
lola: 5186145 markings, 5735580 edges, 60563 markings/sec, 80 secs
lola: 5496306 markings, 6076188 edges, 62032 markings/sec, 85 secs
lola: 5797205 markings, 6412506 edges, 60180 markings/sec, 90 secs
lola: 6098665 markings, 6747631 edges, 60292 markings/sec, 95 secs
lola: 6404042 markings, 7083052 edges, 61075 markings/sec, 100 secs
lola: 6703192 markings, 7416358 edges, 59830 markings/sec, 105 secs
lola: 7008353 markings, 7753565 edges, 61032 markings/sec, 110 secs
lola: 7311753 markings, 8087826 edges, 60680 markings/sec, 115 secs
lola: 7620247 markings, 8426683 edges, 61699 markings/sec, 120 secs
lola: 7927682 markings, 8766733 edges, 61487 markings/sec, 125 secs
lola: 8228912 markings, 9105249 edges, 60246 markings/sec, 130 secs
lola: 8540096 markings, 9446695 edges, 62237 markings/sec, 135 secs
lola: 8842711 markings, 9783813 edges, 60523 markings/sec, 140 secs
lola: 9148539 markings, 10124195 edges, 61166 markings/sec, 145 secs
lola: 9458792 markings, 10464863 edges, 62051 markings/sec, 150 secs
lola: 9764542 markings, 10801204 edges, 61150 markings/sec, 155 secs
lola: 10066680 markings, 11137313 edges, 60428 markings/sec, 160 secs
lola: 10370997 markings, 11474326 edges, 60863 markings/sec, 165 secs
lola: 10677433 markings, 11812568 edges, 61287 markings/sec, 170 secs
lola: 10988277 markings, 12153657 edges, 62169 markings/sec, 175 secs
lola: 11296107 markings, 12492980 edges, 61566 markings/sec, 180 secs
lola: 11598811 markings, 12831694 edges, 60541 markings/sec, 185 secs
lola: 11906846 markings, 13172607 edges, 61607 markings/sec, 190 secs
lola: 12216274 markings, 13512795 edges, 61886 markings/sec, 195 secs
lola: 12525815 markings, 13854519 edges, 61908 markings/sec, 200 secs
lola: 12827618 markings, 14191956 edges, 60361 markings/sec, 205 secs
lola: 13131571 markings, 14530081 edges, 60791 markings/sec, 210 secs
lola: 13439479 markings, 14870661 edges, 61582 markings/sec, 215 secs
lola: 13745547 markings, 15206309 edges, 61214 markings/sec, 220 secs
lola: 14050850 markings, 15542155 edges, 61061 markings/sec, 225 secs
lola: 14351219 markings, 15876204 edges, 60074 markings/sec, 230 secs
lola: 14654195 markings, 16212193 edges, 60595 markings/sec, 235 secs
lola: 14961051 markings, 16548846 edges, 61371 markings/sec, 240 secs
lola: 15268442 markings, 16886731 edges, 61478 markings/sec, 245 secs
lola: 15572974 markings, 17223836 edges, 60906 markings/sec, 250 secs
lola: 15872620 markings, 17560428 edges, 59929 markings/sec, 255 secs
lola: 16179481 markings, 17897440 edges, 61372 markings/sec, 260 secs
lola: 16483526 markings, 18233159 edges, 60809 markings/sec, 265 secs
lola: 16785973 markings, 18567510 edges, 60489 markings/sec, 270 secs
lola: 17081574 markings, 18898145 edges, 59120 markings/sec, 275 secs
lola: 17384175 markings, 19233783 edges, 60520 markings/sec, 280 secs
lola: 17695462 markings, 19574417 edges, 62257 markings/sec, 285 secs
lola: 17990968 markings, 19907519 edges, 59101 markings/sec, 290 secs
lola: 18291608 markings, 20244425 edges, 60128 markings/sec, 295 secs
lola: 18597603 markings, 20583459 edges, 61199 markings/sec, 300 secs
lola: 18897274 markings, 20919952 edges, 59934 markings/sec, 305 secs
lola: 19209873 markings, 21262508 edges, 62520 markings/sec, 310 secs
lola: 19519577 markings, 21603025 edges, 61941 markings/sec, 315 secs
lola: 19828671 markings, 21942551 edges, 61819 markings/sec, 320 secs
lola: 20137133 markings, 22282285 edges, 61692 markings/sec, 325 secs
lola: 20440426 markings, 22619703 edges, 60659 markings/sec, 330 secs
lola: 20746294 markings, 22959093 edges, 61174 markings/sec, 335 secs
lola: 21056240 markings, 23298603 edges, 61989 markings/sec, 340 secs
lola: 21360240 markings, 23636090 edges, 60800 markings/sec, 345 secs
lola: 21659424 markings, 23970393 edges, 59837 markings/sec, 350 secs
lola: 21960976 markings, 24306165 edges, 60310 markings/sec, 355 secs
lola: 22263516 markings, 24641850 edges, 60508 markings/sec, 360 secs
lola: 22564548 markings, 24977255 edges, 60206 markings/sec, 365 secs
lola: 22870641 markings, 25315254 edges, 61219 markings/sec, 370 secs
lola: 23171575 markings, 25647116 edges, 60187 markings/sec, 375 secs
lola: 23474250 markings, 25982022 edges, 60535 markings/sec, 380 secs
lola: 23780111 markings, 26317298 edges, 61172 markings/sec, 385 secs
lola: 24080537 markings, 26651199 edges, 60085 markings/sec, 390 secs
lola: 24383772 markings, 26987570 edges, 60647 markings/sec, 395 secs
lola: 24683845 markings, 27320519 edges, 60015 markings/sec, 400 secs
lola: 24978135 markings, 27661368 edges, 58858 markings/sec, 405 secs
lola: 25274687 markings, 27994686 edges, 59310 markings/sec, 410 secs
lola: 25576613 markings, 28330126 edges, 60385 markings/sec, 415 secs
lola: 25881792 markings, 28665672 edges, 61036 markings/sec, 420 secs
lola: 26182573 markings, 28999780 edges, 60156 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 542 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: 175303 markings, 226608 edges, 35048 markings/sec, 0 secs
lola: 350266 markings, 453205 edges, 34993 markings/sec, 5 secs
lola: 531682 markings, 677804 edges, 36283 markings/sec, 10 secs
lola: 703108 markings, 901187 edges, 34285 markings/sec, 15 secs
lola: 871841 markings, 1120955 edges, 33747 markings/sec, 20 secs
lola: 1045061 markings, 1338278 edges, 34644 markings/sec, 25 secs
lola: 1213295 markings, 1558237 edges, 33647 markings/sec, 30 secs
lola: 1384839 markings, 1781337 edges, 34309 markings/sec, 35 secs
lola: 1559518 markings, 2004441 edges, 34936 markings/sec, 40 secs
lola: 1726346 markings, 2219993 edges, 33366 markings/sec, 45 secs
lola: 1881914 markings, 2452483 edges, 31114 markings/sec, 50 secs
lola: 2047202 markings, 2672294 edges, 33058 markings/sec, 55 secs
lola: 2213674 markings, 2890463 edges, 33294 markings/sec, 60 secs
lola: 2381181 markings, 3106607 edges, 33501 markings/sec, 65 secs
lola: 2549454 markings, 3319848 edges, 33655 markings/sec, 70 secs
lola: 2715616 markings, 3532586 edges, 33232 markings/sec, 75 secs
lola: 2875815 markings, 3736561 edges, 32040 markings/sec, 80 secs
lola: 3046856 markings, 3956617 edges, 34208 markings/sec, 85 secs
lola: 3219288 markings, 4178045 edges, 34486 markings/sec, 90 secs
lola: 3390572 markings, 4393796 edges, 34257 markings/sec, 95 secs
lola: 3558883 markings, 4612110 edges, 33662 markings/sec, 100 secs
lola: 3728298 markings, 4829978 edges, 33883 markings/sec, 105 secs
lola: 3896892 markings, 5051972 edges, 33719 markings/sec, 110 secs
lola: 4065527 markings, 5270592 edges, 33727 markings/sec, 115 secs
lola: 4230566 markings, 5491072 edges, 33008 markings/sec, 120 secs
lola: 4400177 markings, 5713423 edges, 33922 markings/sec, 125 secs
lola: 4563980 markings, 5920237 edges, 32761 markings/sec, 130 secs
lola: 4725932 markings, 6125771 edges, 32390 markings/sec, 135 secs
lola: 4883777 markings, 6331651 edges, 31569 markings/sec, 140 secs
lola: 5047858 markings, 6543031 edges, 32816 markings/sec, 145 secs
lola: 5213631 markings, 6759660 edges, 33155 markings/sec, 150 secs
lola: 5376891 markings, 6977506 edges, 32652 markings/sec, 155 secs
lola: 5541474 markings, 7195893 edges, 32917 markings/sec, 160 secs
lola: 5705132 markings, 7415885 edges, 32732 markings/sec, 165 secs
lola: 5869042 markings, 7630221 edges, 32782 markings/sec, 170 secs
lola: 6028679 markings, 7832985 edges, 31927 markings/sec, 175 secs
lola: 6186025 markings, 8038621 edges, 31469 markings/sec, 180 secs
lola: 6338878 markings, 8238026 edges, 30571 markings/sec, 185 secs
lola: 6500979 markings, 8444338 edges, 32420 markings/sec, 190 secs
lola: 6663437 markings, 8651784 edges, 32492 markings/sec, 195 secs
lola: 6827306 markings, 8864087 edges, 32774 markings/sec, 200 secs
lola: 6992898 markings, 9078497 edges, 33118 markings/sec, 205 secs
lola: 7159545 markings, 9297138 edges, 33329 markings/sec, 210 secs
lola: 7327504 markings, 9517000 edges, 33592 markings/sec, 215 secs
lola: 7491985 markings, 9736636 edges, 32896 markings/sec, 220 secs
lola: 7661556 markings, 9955646 edges, 33914 markings/sec, 225 secs
lola: 7814273 markings, 10147373 edges, 30543 markings/sec, 230 secs
lola: 7972831 markings, 10350371 edges, 31712 markings/sec, 235 secs
lola: 8133344 markings, 10557323 edges, 32103 markings/sec, 240 secs
lola: 8284413 markings, 10752732 edges, 30214 markings/sec, 245 secs
lola: 8430177 markings, 10945825 edges, 29153 markings/sec, 250 secs
lola: 8590018 markings, 11158267 edges, 31968 markings/sec, 255 secs
lola: 8751996 markings, 11373311 edges, 32396 markings/sec, 260 secs
lola: 8909913 markings, 11585866 edges, 31583 markings/sec, 265 secs
lola: 9068897 markings, 11796754 edges, 31797 markings/sec, 270 secs
lola: 9224990 markings, 12005448 edges, 31219 markings/sec, 275 secs
lola: 9388306 markings, 12221005 edges, 32663 markings/sec, 280 secs
lola: 9549553 markings, 12432911 edges, 32249 markings/sec, 285 secs
lola: 9704590 markings, 12635656 edges, 31007 markings/sec, 290 secs
lola: 9859206 markings, 12844056 edges, 30923 markings/sec, 295 secs
lola: 10016917 markings, 13051439 edges, 31542 markings/sec, 300 secs
lola: 10162481 markings, 13244833 edges, 29113 markings/sec, 305 secs
lola: 10329187 markings, 13458414 edges, 33341 markings/sec, 310 secs
lola: 10485695 markings, 13666480 edges, 31302 markings/sec, 315 secs
lola: 10639684 markings, 13869520 edges, 30798 markings/sec, 320 secs
lola: 10792773 markings, 14073716 edges, 30618 markings/sec, 325 secs
lola: 10945485 markings, 14278471 edges, 30542 markings/sec, 330 secs
lola: 11104822 markings, 14487004 edges, 31867 markings/sec, 335 secs
lola: 11268808 markings, 14699466 edges, 32797 markings/sec, 340 secs
lola: 11425600 markings, 14906489 edges, 31358 markings/sec, 345 secs
lola: 11584531 markings, 15120505 edges, 31786 markings/sec, 350 secs
lola: 11744445 markings, 15335289 edges, 31983 markings/sec, 355 secs
lola: 11905418 markings, 15549797 edges, 32195 markings/sec, 360 secs
lola: 12066554 markings, 15765747 edges, 32227 markings/sec, 365 secs
lola: 12225423 markings, 15983322 edges, 31774 markings/sec, 370 secs
lola: 12387506 markings, 16193111 edges, 32417 markings/sec, 375 secs
lola: 12545736 markings, 16393108 edges, 31646 markings/sec, 380 secs
lola: 12703830 markings, 16598388 edges, 31619 markings/sec, 385 secs
lola: 12861851 markings, 16805430 edges, 31604 markings/sec, 390 secs
lola: 13012368 markings, 17001757 edges, 30103 markings/sec, 395 secs
lola: 13164498 markings, 17203091 edges, 30426 markings/sec, 400 secs
lola: 13317712 markings, 17404894 edges, 30643 markings/sec, 405 secs
lola: 13471842 markings, 17607246 edges, 30826 markings/sec, 410 secs
lola: 13623701 markings, 17806161 edges, 30372 markings/sec, 415 secs
lola: 13776796 markings, 17999921 edges, 30619 markings/sec, 420 secs
lola: 13929610 markings, 18195441 edges, 30563 markings/sec, 425 secs
lola: 14084945 markings, 18393918 edges, 31067 markings/sec, 430 secs
lola: 14238106 markings, 18594593 edges, 30632 markings/sec, 435 secs
lola: 14393885 markings, 18794943 edges, 31156 markings/sec, 440 secs
lola: 14545572 markings, 18995218 edges, 30337 markings/sec, 445 secs
lola: 14703809 markings, 19199369 edges, 31647 markings/sec, 450 secs
lola: 14855604 markings, 19399907 edges, 30359 markings/sec, 455 secs
lola: 15009936 markings, 19602631 edges, 30866 markings/sec, 460 secs
lola: 15163542 markings, 19805912 edges, 30721 markings/sec, 465 secs
lola: 15316128 markings, 20010089 edges, 30517 markings/sec, 470 secs
lola: 15468107 markings, 20212154 edges, 30396 markings/sec, 475 secs
lola: 15620116 markings, 20416402 edges, 30402 markings/sec, 480 secs
lola: 15772722 markings, 20623415 edges, 30521 markings/sec, 485 secs
lola: 15924417 markings, 20825312 edges, 30339 markings/sec, 490 secs
lola: 16074505 markings, 21014910 edges, 30018 markings/sec, 495 secs
lola: 16223681 markings, 21207595 edges, 29835 markings/sec, 500 secs
lola: 16372765 markings, 21403419 edges, 29817 markings/sec, 505 secs
lola: 16521834 markings, 21596989 edges, 29814 markings/sec, 510 secs
lola: 16677311 markings, 21801246 edges, 31095 markings/sec, 515 secs
lola: 16831140 markings, 22003852 edges, 30766 markings/sec, 520 secs
lola: 16983375 markings, 22203733 edges, 30447 markings/sec, 525 secs
lola: 17133151 markings, 22402635 edges, 29955 markings/sec, 530 secs
lola: 17286318 markings, 22605231 edges, 30633 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: 316333 markings, 345182 edges, 3096159597753270272 markings/sec, 0 secs
lola: 622160 markings, 683356 edges, 61165 markings/sec, 5 secs
lola: 929235 markings, 1022077 edges, 61415 markings/sec, 10 secs
lola: 1234746 markings, 1360382 edges, 61102 markings/sec, 15 secs
lola: 1537314 markings, 1697225 edges, 60514 markings/sec, 20 secs
lola: 1836588 markings, 2031406 edges, 59855 markings/sec, 25 secs
lola: 2147380 markings, 2370074 edges, 62158 markings/sec, 30 secs
lola: 2448830 markings, 2703969 edges, 60290 markings/sec, 35 secs
lola: 2758743 markings, 3044208 edges, 61983 markings/sec, 40 secs
lola: 3065578 markings, 3381730 edges, 61367 markings/sec, 45 secs
lola: 3355427 markings, 3704828 edges, 57970 markings/sec, 50 secs
lola: 3648187 markings, 4027860 edges, 58552 markings/sec, 55 secs
lola: 3944195 markings, 4351914 edges, 59202 markings/sec, 60 secs
lola: 4237270 markings, 4678649 edges, 58615 markings/sec, 65 secs
lola: 4540394 markings, 5017729 edges, 60625 markings/sec, 70 secs
lola: 4845029 markings, 5356165 edges, 60927 markings/sec, 75 secs
lola: 5146714 markings, 5691625 edges, 60337 markings/sec, 80 secs
lola: 5452149 markings, 6027998 edges, 61087 markings/sec, 85 secs
lola: 5754320 markings, 6363778 edges, 60434 markings/sec, 90 secs
lola: 6054277 markings, 6698566 edges, 59991 markings/sec, 95 secs
lola: 6357259 markings, 7031115 edges, 60596 markings/sec, 100 secs
lola: 6639625 markings, 7346260 edges, 56473 markings/sec, 105 secs
lola: 6925083 markings, 7662230 edges, 57092 markings/sec, 110 secs
lola: 7213071 markings, 7979798 edges, 57598 markings/sec, 115 secs
lola: 7505054 markings, 8299626 edges, 58397 markings/sec, 120 secs
lola: 7795777 markings, 8620345 edges, 58145 markings/sec, 125 secs
lola: 8083890 markings, 8941068 edges, 57623 markings/sec, 130 secs
lola: 8369747 markings, 9260752 edges, 57171 markings/sec, 135 secs
lola: 8661591 markings, 9581682 edges, 58369 markings/sec, 140 secs
lola: 8949205 markings, 9902343 edges, 57523 markings/sec, 145 secs
lola: 9237182 markings, 10222937 edges, 57595 markings/sec, 150 secs
lola: 9530588 markings, 10544359 edges, 58681 markings/sec, 155 secs
lola: 9822040 markings, 10864339 edges, 58290 markings/sec, 160 secs
lola: 10107306 markings, 11182681 edges, 57053 markings/sec, 165 secs
lola: 10396356 markings, 11502461 edges, 57810 markings/sec, 170 secs
lola: 10688415 markings, 11824657 edges, 58412 markings/sec, 175 secs
lola: 10983370 markings, 12148031 edges, 58991 markings/sec, 180 secs
lola: 11278398 markings, 12473347 edges, 59006 markings/sec, 185 secs
lola: 11567938 markings, 12796392 edges, 57908 markings/sec, 190 secs
lola: 11858272 markings, 13119997 edges, 58067 markings/sec, 195 secs
lola: 12152573 markings, 13443026 edges, 58860 markings/sec, 200 secs
lola: 12446881 markings, 13767617 edges, 58862 markings/sec, 205 secs
lola: 12736320 markings, 14089262 edges, 57888 markings/sec, 210 secs
lola: 13022560 markings, 14408504 edges, 57248 markings/sec, 215 secs
lola: 13309978 markings, 14728692 edges, 57484 markings/sec, 220 secs
lola: 13605684 markings, 15051044 edges, 59141 markings/sec, 225 secs
lola: 13892749 markings, 15367234 edges, 57413 markings/sec, 230 secs
lola: 14176632 markings, 15683639 edges, 56777 markings/sec, 235 secs
lola: 14465021 markings, 16002320 edges, 57678 markings/sec, 240 secs
lola: 14761587 markings, 16330334 edges, 59313 markings/sec, 245 secs
lola: 15069222 markings, 16666636 edges, 61527 markings/sec, 250 secs
lola: 15373480 markings, 17001978 edges, 60852 markings/sec, 255 secs
lola: 15672569 markings, 17334445 edges, 59818 markings/sec, 260 secs
lola: 15969489 markings, 17667243 edges, 59384 markings/sec, 265 secs
lola: 16267168 markings, 17994393 edges, 59536 markings/sec, 270 secs
lola: 16567705 markings, 18325256 edges, 60107 markings/sec, 275 secs
lola: 16854509 markings, 18643813 edges, 57361 markings/sec, 280 secs
lola: 17137501 markings, 18959829 edges, 56598 markings/sec, 285 secs
lola: 17424083 markings, 19278482 edges, 57316 markings/sec, 290 secs
lola: 17721512 markings, 19603168 edges, 59486 markings/sec, 295 secs
lola: 17999834 markings, 19918193 edges, 55664 markings/sec, 300 secs
lola: 18285142 markings, 20237192 edges, 57062 markings/sec, 305 secs
lola: 18576024 markings, 20558731 edges, 58176 markings/sec, 310 secs
lola: 18858798 markings, 20878161 edges, 56555 markings/sec, 315 secs
lola: 19155394 markings, 21203565 edges, 59319 markings/sec, 320 secs
lola: 19449103 markings, 21526034 edges, 58742 markings/sec, 325 secs
lola: 19744647 markings, 21850304 edges, 59109 markings/sec, 330 secs
lola: 20041945 markings, 22176841 edges, 59460 markings/sec, 335 secs
lola: 20333673 markings, 22501329 edges, 58346 markings/sec, 340 secs
lola: 20643949 markings, 22843710 edges, 62055 markings/sec, 345 secs
lola: 20955353 markings, 23187910 edges, 62281 markings/sec, 350 secs
lola: 21265011 markings, 23530757 edges, 61932 markings/sec, 355 secs
lola: 21569216 markings, 23870273 edges, 60841 markings/sec, 360 secs
lola: 21873551 markings, 24210611 edges, 60867 markings/sec, 365 secs
lola: 22182026 markings, 24550529 edges, 61695 markings/sec, 370 secs
lola: 22487115 markings, 24891086 edges, 61018 markings/sec, 375 secs
lola: 22796030 markings, 25233203 edges, 61783 markings/sec, 380 secs
lola: 23097537 markings, 25564313 edges, 60301 markings/sec, 385 secs
lola: 23393542 markings, 25893018 edges, 59201 markings/sec, 390 secs
lola: 23701543 markings, 26230864 edges, 61600 markings/sec, 395 secs
lola: 24006051 markings, 26566625 edges, 60902 markings/sec, 400 secs
lola: 24307128 markings, 26902647 edges, 60215 markings/sec, 405 secs
lola: 24609639 markings, 27237851 edges, 60502 markings/sec, 410 secs
lola: 24905111 markings, 27577687 edges, 59094 markings/sec, 415 secs
lola: 25201025 markings, 27909903 edges, 59183 markings/sec, 420 secs
lola: 25494522 markings, 28240584 edges, 58699 markings/sec, 425 secs
lola: 25800459 markings, 28574846 edges, 61187 markings/sec, 430 secs
lola: 26095005 markings, 28902102 edges, 58909 markings/sec, 435 secs
lola: 26396785 markings, 29236410 edges, 60356 markings/sec, 440 secs
lola: 26703403 markings, 29574921 edges, 61324 markings/sec, 445 secs
lola: 26999903 markings, 29903776 edges, 59300 markings/sec, 450 secs
lola: 27295684 markings, 30231697 edges, 59156 markings/sec, 455 secs
lola: 27594323 markings, 30562946 edges, 59728 markings/sec, 460 secs
lola: 27897044 markings, 30896602 edges, 60544 markings/sec, 465 secs
lola: 28198810 markings, 31229005 edges, 60353 markings/sec, 470 secs
lola: 28494598 markings, 31560629 edges, 59158 markings/sec, 475 secs
lola: 28793660 markings, 31891428 edges, 59812 markings/sec, 480 secs
lola: 29095233 markings, 32222757 edges, 60315 markings/sec, 485 secs
lola: 29384402 markings, 32548910 edges, 57834 markings/sec, 490 secs
lola: 29676434 markings, 32876643 edges, 58406 markings/sec, 495 secs
lola: 29976175 markings, 33209351 edges, 59948 markings/sec, 500 secs
lola: 30288860 markings, 33551638 edges, 62537 markings/sec, 505 secs
lola: 30601048 markings, 33894732 edges, 62438 markings/sec, 510 secs
lola: 30912644 markings, 34237558 edges, 62319 markings/sec, 515 secs
lola: 31220788 markings, 34577164 edges, 61629 markings/sec, 520 secs
lola: 31525473 markings, 34915851 edges, 60937 markings/sec, 525 secs
lola: 31830560 markings, 35255031 edges, 61017 markings/sec, 530 secs
lola: 32142255 markings, 35596486 edges, 62339 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
sara: try reading problem file DLCround-PT-10b-CTLCardinality-14.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: 126913 markings, 392715 edges, 25374 markings/sec, 0 secs
lola: 253546 markings, 785318 edges, 25327 markings/sec, 5 secs
lola: 379975 markings, 1177656 edges, 25286 markings/sec, 10 secs
lola: 506712 markings, 1570706 edges, 25347 markings/sec, 15 secs
lola: 632226 markings, 1959078 edges, 25103 markings/sec, 20 secs
lola: 756070 markings, 2344991 edges, 24769 markings/sec, 25 secs
lola: 882479 markings, 2736707 edges, 25282 markings/sec, 30 secs
lola: 1006893 markings, 3122788 edges, 24883 markings/sec, 35 secs
lola: 1129811 markings, 3505778 edges, 24584 markings/sec, 40 secs
lola: 1253058 markings, 3890131 edges, 24649 markings/sec, 45 secs
lola: 1377908 markings, 4278082 edges, 24970 markings/sec, 50 secs
lola: 1499700 markings, 4657159 edges, 24358 markings/sec, 55 secs
lola: 1622779 markings, 5040291 edges, 24616 markings/sec, 60 secs
lola: 1747433 markings, 5427303 edges, 24931 markings/sec, 65 secs
lola: 1871880 markings, 5813823 edges, 24889 markings/sec, 70 secs
lola: 1994114 markings, 6193980 edges, 24447 markings/sec, 75 secs
lola: 2121800 markings, 6587663 edges, 25537 markings/sec, 80 secs
lola: 2247096 markings, 6976134 edges, 25059 markings/sec, 85 secs
lola: 2369850 markings, 7357943 edges, 24551 markings/sec, 90 secs
lola: 2493631 markings, 7742995 edges, 24756 markings/sec, 95 secs
lola: 2618426 markings, 8130235 edges, 24959 markings/sec, 100 secs
lola: 2743910 markings, 8517723 edges, 25097 markings/sec, 105 secs
lola: 2867360 markings, 8901178 edges, 24690 markings/sec, 110 secs
lola: 2990568 markings, 9284429 edges, 24642 markings/sec, 115 secs
lola: 3116709 markings, 9675839 edges, 25228 markings/sec, 120 secs
lola: 3238937 markings, 10058146 edges, 24446 markings/sec, 125 secs
lola: 3361924 markings, 10441019 edges, 24597 markings/sec, 130 secs
lola: 3486463 markings, 10826885 edges, 24908 markings/sec, 135 secs
lola: 3610550 markings, 11212343 edges, 24817 markings/sec, 140 secs
lola: 3724102 markings, 11567720 edges, 22710 markings/sec, 145 secs
lola: 3848116 markings, 11954046 edges, 24803 markings/sec, 150 secs
lola: 3973853 markings, 12344382 edges, 25147 markings/sec, 155 secs
lola: 4098342 markings, 12731125 edges, 24898 markings/sec, 160 secs
lola: 4220041 markings, 13112653 edges, 24340 markings/sec, 165 secs
lola: 4344457 markings, 13498744 edges, 24883 markings/sec, 170 secs
lola: 4465708 markings, 13878488 edges, 24250 markings/sec, 175 secs
lola: 4587931 markings, 14260434 edges, 24445 markings/sec, 180 secs
lola: 4710440 markings, 14643905 edges, 24502 markings/sec, 185 secs
lola: 4833871 markings, 15030140 edges, 24686 markings/sec, 190 secs
lola: 4956737 markings, 15412266 edges, 24573 markings/sec, 195 secs
lola: 5082078 markings, 15800199 edges, 25068 markings/sec, 200 secs
lola: 5205286 markings, 16181958 edges, 24642 markings/sec, 205 secs
lola: 5326652 markings, 16558917 edges, 24273 markings/sec, 210 secs
lola: 5451576 markings, 16944635 edges, 24985 markings/sec, 215 secs
lola: 5574283 markings, 17326459 edges, 24541 markings/sec, 220 secs
lola: 5694553 markings, 17702268 edges, 24054 markings/sec, 225 secs
lola: 5818202 markings, 18085830 edges, 24730 markings/sec, 230 secs
lola: 5941459 markings, 18468730 edges, 24651 markings/sec, 235 secs
lola: 6063991 markings, 18849755 edges, 24506 markings/sec, 240 secs
lola: 6187792 markings, 19234780 edges, 24760 markings/sec, 245 secs
lola: 6310937 markings, 19616224 edges, 24629 markings/sec, 250 secs
lola: 6434604 markings, 19998996 edges, 24733 markings/sec, 255 secs
lola: 6558603 markings, 20382938 edges, 24800 markings/sec, 260 secs
lola: 6683623 markings, 20770527 edges, 25004 markings/sec, 265 secs
lola: 6808502 markings, 21157703 edges, 24976 markings/sec, 270 secs
lola: 6932999 markings, 21544095 edges, 24899 markings/sec, 275 secs
lola: 7055984 markings, 21926489 edges, 24597 markings/sec, 280 secs
lola: 7179588 markings, 22311586 edges, 24721 markings/sec, 285 secs
lola: 7301602 markings, 22693972 edges, 24403 markings/sec, 290 secs
lola: 7425230 markings, 23079588 edges, 24726 markings/sec, 295 secs
lola: 7551470 markings, 23469990 edges, 25248 markings/sec, 300 secs
lola: 7676979 markings, 23858062 edges, 25102 markings/sec, 305 secs
lola: 7799281 markings, 24238684 edges, 24460 markings/sec, 310 secs
lola: 7923606 markings, 24625084 edges, 24865 markings/sec, 315 secs
lola: 8044649 markings, 25002963 edges, 24209 markings/sec, 320 secs
lola: 8153780 markings, 25342892 edges, 21826 markings/sec, 325 secs
lola: 8277471 markings, 25727064 edges, 24738 markings/sec, 330 secs
lola: 8403945 markings, 26117450 edges, 25295 markings/sec, 335 secs
lola: 8528646 markings, 26503953 edges, 24940 markings/sec, 340 secs
lola: 8651660 markings, 26885926 edges, 24603 markings/sec, 345 secs
lola: 8774542 markings, 27267813 edges, 24576 markings/sec, 350 secs
lola: 8897630 markings, 27650530 edges, 24618 markings/sec, 355 secs
lola: 9022208 markings, 28035590 edges, 24916 markings/sec, 360 secs
lola: 9136106 markings, 28387726 edges, 22780 markings/sec, 365 secs
lola: 9257195 markings, 28765097 edges, 24218 markings/sec, 370 secs
lola: 9381777 markings, 29152157 edges, 24916 markings/sec, 375 secs
lola: 9504593 markings, 29534581 edges, 24563 markings/sec, 380 secs
lola: 9624743 markings, 29910553 edges, 24030 markings/sec, 385 secs
lola: 9739021 markings, 30263881 edges, 22856 markings/sec, 390 secs
lola: 9863486 markings, 30650014 edges, 24893 markings/sec, 395 secs
lola: 9985057 markings, 31030403 edges, 24314 markings/sec, 400 secs
lola: 10107871 markings, 31413740 edges, 24563 markings/sec, 405 secs
lola: 10232450 markings, 31801391 edges, 24916 markings/sec, 410 secs
lola: 10353283 markings, 32174400 edges, 24167 markings/sec, 415 secs
lola: 10473928 markings, 32553010 edges, 24129 markings/sec, 420 secs
lola: 10595548 markings, 32931925 edges, 24324 markings/sec, 425 secs
lola: 10717609 markings, 33310907 edges, 24412 markings/sec, 430 secs
lola: 10828234 markings, 33658231 edges, 22125 markings/sec, 435 secs
lola: 10949909 markings, 34038184 edges, 24335 markings/sec, 440 secs
lola: 11073615 markings, 34424869 edges, 24741 markings/sec, 445 secs
lola: 11195732 markings, 34807057 edges, 24423 markings/sec, 450 secs
lola: 11319654 markings, 35191488 edges, 24784 markings/sec, 455 secs
lola: 11443690 markings, 35574923 edges, 24807 markings/sec, 460 secs
lola: 11561517 markings, 35941404 edges, 23565 markings/sec, 465 secs
lola: 11681854 markings, 36313890 edges, 24067 markings/sec, 470 secs
lola: 11804609 markings, 36693765 edges, 24551 markings/sec, 475 secs
lola: 11924787 markings, 37067947 edges, 24036 markings/sec, 480 secs
lola: 12043447 markings, 37438148 edges, 23732 markings/sec, 485 secs
lola: 12164789 markings, 37815562 edges, 24268 markings/sec, 490 secs
lola: 12286386 markings, 38193190 edges, 24319 markings/sec, 495 secs
lola: 12408372 markings, 38571765 edges, 24397 markings/sec, 500 secs
lola: 12530798 markings, 38952567 edges, 24485 markings/sec, 505 secs
lola: 12652078 markings, 39328241 edges, 24256 markings/sec, 510 secs
lola: 12773614 markings, 39704543 edges, 24307 markings/sec, 515 secs
lola: 12897756 markings, 40088465 edges, 24828 markings/sec, 520 secs
lola: 13022061 markings, 40474340 edges, 24861 markings/sec, 525 secs
lola: 13145715 markings, 40858265 edges, 24731 markings/sec, 530 secs
lola: 13269283 markings, 41241245 edges, 24714 markings/sec, 535 secs
lola: 13390992 markings, 41620311 edges, 24342 markings/sec, 540 secs
lola: 13514389 markings, 42004102 edges, 24679 markings/sec, 545 secs
lola: 13636758 markings, 42387518 edges, 24474 markings/sec, 550 secs
lola: 13758945 markings, 42768761 edges, 24437 markings/sec, 555 secs
lola: 13885802 markings, 43160535 edges, 25371 markings/sec, 560 secs
lola: 14010798 markings, 43547691 edges, 24999 markings/sec, 565 secs
lola: 14133299 markings, 43929755 edges, 24500 markings/sec, 570 secs
lola: 14254535 markings, 44309581 edges, 24247 markings/sec, 575 secs
lola: 14378637 markings, 44695384 edges, 24820 markings/sec, 580 secs
lola: 14502237 markings, 45080554 edges, 24720 markings/sec, 585 secs
lola: 14627805 markings, 45469826 edges, 25114 markings/sec, 590 secs
lola: 14751207 markings, 45854323 edges, 24680 markings/sec, 595 secs
lola: 14871681 markings, 46229560 edges, 24095 markings/sec, 600 secs
lola: 14990829 markings, 46602290 edges, 23830 markings/sec, 605 secs
lola: 15114755 markings, 46986645 edges, 24785 markings/sec, 610 secs
lola: 15240014 markings, 47374459 edges, 25052 markings/sec, 615 secs
lola: 15359696 markings, 47749860 edges, 23936 markings/sec, 620 secs
lola: 15483694 markings, 48135597 edges, 24800 markings/sec, 625 secs
lola: 15607986 markings, 48523574 edges, 24858 markings/sec, 630 secs
lola: 15730069 markings, 48903851 edges, 24417 markings/sec, 635 secs
lola: 15852569 markings, 49287562 edges, 24500 markings/sec, 640 secs
lola: 15974747 markings, 49668543 edges, 24436 markings/sec, 645 secs
lola: 16100666 markings, 50057776 edges, 25184 markings/sec, 650 secs
lola: 16224430 markings, 50442131 edges, 24753 markings/sec, 655 secs
lola: 16343850 markings, 50815537 edges, 23884 markings/sec, 660 secs
lola: 16465246 markings, 51193197 edges, 24279 markings/sec, 665 secs
lola: 16589439 markings, 51577281 edges, 24839 markings/sec, 670 secs
lola: 16712643 markings, 51960476 edges, 24641 markings/sec, 675 secs
lola: 16836243 markings, 52345256 edges, 24720 markings/sec, 680 secs
lola: 16957445 markings, 52723686 edges, 24240 markings/sec, 685 secs
lola: 17080818 markings, 53106783 edges, 24675 markings/sec, 690 secs
lola: 17207299 markings, 53497485 edges, 25296 markings/sec, 695 secs
lola: 17334044 markings, 53888862 edges, 25349 markings/sec, 700 secs
lola: 17457355 markings, 54273382 edges, 24662 markings/sec, 705 secs
lola: 17579748 markings, 54655555 edges, 24479 markings/sec, 710 secs
lola: 17702174 markings, 55037248 edges, 24485 markings/sec, 715 secs
lola: 17824716 markings, 55419243 edges, 24508 markings/sec, 720 secs
lola: 17944483 markings, 55793916 edges, 23953 markings/sec, 725 secs
lola: 18067213 markings, 56175595 edges, 24546 markings/sec, 730 secs
lola: 18191106 markings, 56560943 edges, 24779 markings/sec, 735 secs
lola: 18312872 markings, 56940373 edges, 24353 markings/sec, 740 secs
lola: 18434357 markings, 57319775 edges, 24297 markings/sec, 745 secs
lola: 18555618 markings, 57696192 edges, 24252 markings/sec, 750 secs
lola: 18677701 markings, 58074079 edges, 24417 markings/sec, 755 secs
lola: 18798102 markings, 58448392 edges, 24080 markings/sec, 760 secs
lola: 18918278 markings, 58822419 edges, 24035 markings/sec, 765 secs
lola: 19037861 markings, 59194713 edges, 23917 markings/sec, 770 secs
lola: 19149957 markings, 59543154 edges, 22419 markings/sec, 775 secs
lola: 19271613 markings, 59921053 edges, 24331 markings/sec, 780 secs
lola: 19395605 markings, 60303716 edges, 24798 markings/sec, 785 secs
lola: 19514075 markings, 60672043 edges, 23694 markings/sec, 790 secs
lola: 19631274 markings, 61036069 edges, 23440 markings/sec, 795 secs
lola: 19750479 markings, 61404974 edges, 23841 markings/sec, 800 secs
lola: 19869588 markings, 61774756 edges, 23822 markings/sec, 805 secs
lola: 19985280 markings, 62134793 edges, 23138 markings/sec, 810 secs
lola: 20102623 markings, 62499724 edges, 23469 markings/sec, 815 secs
lola: 20220689 markings, 62867339 edges, 23613 markings/sec, 820 secs
lola: 20340632 markings, 63240510 edges, 23989 markings/sec, 825 secs
lola: 20462742 markings, 63617299 edges, 24422 markings/sec, 830 secs
lola: 20582109 markings, 63988266 edges, 23873 markings/sec, 835 secs
lola: 20701830 markings, 64361038 edges, 23944 markings/sec, 840 secs
lola: 20823771 markings, 64738336 edges, 24388 markings/sec, 845 secs
lola: 20946533 markings, 65119368 edges, 24552 markings/sec, 850 secs
lola: 21069056 markings, 65500786 edges, 24505 markings/sec, 855 secs
lola: 21186796 markings, 65869568 edges, 23548 markings/sec, 860 secs
lola: 21307232 markings, 66244892 edges, 24087 markings/sec, 865 secs
lola: 21429610 markings, 66624221 edges, 24476 markings/sec, 870 secs
lola: 21541594 markings, 66972265 edges, 22397 markings/sec, 875 secs
lola: 21663959 markings, 67351200 edges, 24473 markings/sec, 880 secs
lola: 21787531 markings, 67733368 edges, 24714 markings/sec, 885 secs
lola: 21908203 markings, 68110509 edges, 24134 markings/sec, 890 secs
lola: 22028201 markings, 68486004 edges, 24000 markings/sec, 895 secs
lola: 22149476 markings, 68864214 edges, 24255 markings/sec, 900 secs
lola: 22271349 markings, 69244796 edges, 24375 markings/sec, 905 secs
lola: 22391370 markings, 69620622 edges, 24004 markings/sec, 910 secs
lola: 22513937 markings, 70001475 edges, 24513 markings/sec, 915 secs
lola: 22636359 markings, 70382297 edges, 24484 markings/sec, 920 secs
lola: 22756439 markings, 70756645 edges, 24016 markings/sec, 925 secs
lola: 22878643 markings, 71134886 edges, 24441 markings/sec, 930 secs
lola: 22999773 markings, 71512680 edges, 24226 markings/sec, 935 secs
lola: 23122017 markings, 71893059 edges, 24449 markings/sec, 940 secs
lola: 23241860 markings, 72266657 edges, 23969 markings/sec, 945 secs
lola: 23361529 markings, 72640179 edges, 23934 markings/sec, 950 secs
lola: 23483872 markings, 73019509 edges, 24469 markings/sec, 955 secs
lola: 23605962 markings, 73397378 edges, 24418 markings/sec, 960 secs
lola: 23727667 markings, 73776010 edges, 24341 markings/sec, 965 secs
lola: 23848670 markings, 74153346 edges, 24201 markings/sec, 970 secs
lola: 23968542 markings, 74526642 edges, 23974 markings/sec, 975 secs
lola: 24091796 markings, 74909675 edges, 24651 markings/sec, 980 secs
lola: 24215558 markings, 75294256 edges, 24752 markings/sec, 985 secs
lola: 24335557 markings, 75668720 edges, 24000 markings/sec, 990 secs
lola: 24460190 markings, 76053813 edges, 24927 markings/sec, 995 secs
lola: 24583853 markings, 76437914 edges, 24733 markings/sec, 1000 secs
lola: 24704832 markings, 76815147 edges, 24196 markings/sec, 1005 secs
lola: 24827290 markings, 77195981 edges, 24492 markings/sec, 1010 secs
lola: 24951023 markings, 77579249 edges, 24747 markings/sec, 1015 secs
lola: 25070330 markings, 77957831 edges, 23861 markings/sec, 1020 secs
lola: 25191820 markings, 78337124 edges, 24298 markings/sec, 1025 secs
lola: 25313843 markings, 78717604 edges, 24405 markings/sec, 1030 secs
lola: 25436660 markings, 79100835 edges, 24563 markings/sec, 1035 secs
lola: 25560668 markings, 79486404 edges, 24802 markings/sec, 1040 secs
lola: 25684945 markings, 79873155 edges, 24855 markings/sec, 1045 secs
lola: 25809004 markings, 80259740 edges, 24812 markings/sec, 1050 secs
lola: 25932541 markings, 80642349 edges, 24707 markings/sec, 1055 secs
lola: 26054817 markings, 81022045 edges, 24455 markings/sec, 1060 secs
lola: 26176673 markings, 81401747 edges, 24371 markings/sec, 1065 secs
lola: 26299805 markings, 81783375 edges, 24626 markings/sec, 1070 secs
lola: 26421757 markings, 82163561 edges, 24390 markings/sec, 1075 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: yes no unknown unknown no no yes no yes unknown unknown yes unknown unknown no
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 stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-10b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-structural"
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-structural"
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 r071-smll-152649743900108"
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 ;