About the Execution of LoLA for DLCround-PT-04a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10159.590 | 3600000.00 | 3596481.00 | 8158.90 | ?TF??T??FTF?TF?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 368K
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.3K 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.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K 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 200K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-04a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735100018
=====================================================================
--------------------
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-04a-CTLFireability-00
FORMULA_NAME DLCround-PT-04a-CTLFireability-01
FORMULA_NAME DLCround-PT-04a-CTLFireability-02
FORMULA_NAME DLCround-PT-04a-CTLFireability-03
FORMULA_NAME DLCround-PT-04a-CTLFireability-04
FORMULA_NAME DLCround-PT-04a-CTLFireability-05
FORMULA_NAME DLCround-PT-04a-CTLFireability-06
FORMULA_NAME DLCround-PT-04a-CTLFireability-07
FORMULA_NAME DLCround-PT-04a-CTLFireability-08
FORMULA_NAME DLCround-PT-04a-CTLFireability-09
FORMULA_NAME DLCround-PT-04a-CTLFireability-10
FORMULA_NAME DLCround-PT-04a-CTLFireability-11
FORMULA_NAME DLCround-PT-04a-CTLFireability-12
FORMULA_NAME DLCround-PT-04a-CTLFireability-13
FORMULA_NAME DLCround-PT-04a-CTLFireability-14
FORMULA_NAME DLCround-PT-04a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526587123676
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-04a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-04a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCround-PT-04a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 962/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 139
lola: finding significant places
lola: 139 places, 823 transitions, 70 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-04a-CTLFireability.task
lola: E (F (E (X (A (G (FIREABLE(t324))))))) : (A ((E (X (FIREABLE(t259))) U E (G (FIREABLE(t17))))) AND E (F (E (G (FIREABLE(t419)))))) : NOT(E (F (((FIREABLE(t554) AND FIREABLE(t504) AND FIREABLE(t626)) AND A (F (FIREABLE(t195))))))) : A (G (NOT(NOT(E (F (FIREABLE(t312))))))) : E ((E (F ((FIREABLE(t80) AND FIREABLE(t550)))) U FIREABLE(t327))) : ((NOT FIREABLE(t667) AND E ((NOT FIREABLE(t486) U (FIREABLE(t395) AND FIREABLE(t703))))) AND A (X (((NOT FIREABLE(t50) OR NOT FIREABLE(t790)) AND FIREABLE(t398))))) : E (F (A (G (FIREABLE(t242))))) : E (F (A (G ((NOT FIREABLE(t569) OR NOT FIREABLE(t473)))))) : A (G (((NOT FIREABLE(t346) OR NOT FIREABLE(t717) OR (NOT FIREABLE(t295) AND NOT FIREABLE(t712))) AND (NOT FIREABLE(t84) OR NOT FIREABLE(t482) OR NOT FIREABLE(t420))))) : E (F ((FIREABLE(t490) AND FIREABLE(t205) AND NOT FIREABLE(t125) AND NOT FIREABLE(t382) AND NOT FIREABLE(t446) AND NOT FIREABLE(t275)))) : A (X ((FIREABLE(t756) OR E ((FIREABLE(t663) U FIREABLE(t42)))))) : (A (X (E (G (NOT FIREABLE(t369))))) AND E (F ((((FIREABLE(t308) OR FIREABLE(t682)) AND NOT FIREABLE(t812)) AND A (G (FIREABLE(t598))))))) : (E (F (FIREABLE(t315))) OR E (X ((NOT FIREABLE(t96) OR NOT FIREABLE(t458) OR (NOT FIREABLE(t181) AND NOT FIREABLE(t806)))))) : (E (G ((NOT FIREABLE(t607) OR NOT FIREABLE(t552) OR FIREABLE(t805)))) AND (NOT(E (X (NOT FIREABLE(t487)))) AND FIREABLE(t558))) : (FIREABLE(t380) OR ((FIREABLE(t582) OR E (F (FIREABLE(t591)))) AND FIREABLE(t627))) : (NOT(E (G (NOT FIREABLE(t197)))) AND (A (((FIREABLE(t496) OR FIREABLE(t419)) U NOT FIREABLE(t78))) AND (A (X (NOT FIREABLE(t358))) AND FIREABLE(t656))))
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (FIREABLE(t324)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX(E(TRUE U NOT(E(TRUE U NOT FIREABLE(t324)))))
lola: processed formula length: 47
lola: 25 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 156737 markings, 4754005 edges, 31347 markings/sec, 0 secs
lola: 305919 markings, 9763001 edges, 29836 markings/sec, 5 secs
lola: 456607 markings, 14848401 edges, 30138 markings/sec, 10 secs
lola: 598202 markings, 19829996 edges, 28319 markings/sec, 15 secs
lola: 731425 markings, 24844604 edges, 26645 markings/sec, 20 secs
lola: 866583 markings, 29840010 edges, 27032 markings/sec, 25 secs
lola: 1006143 markings, 34828673 edges, 27912 markings/sec, 30 secs
lola: 1140221 markings, 39832557 edges, 26816 markings/sec, 35 secs
lola: 1273076 markings, 44855301 edges, 26571 markings/sec, 40 secs
lola: 1400294 markings, 49864387 edges, 25444 markings/sec, 45 secs
lola: 1530493 markings, 54822081 edges, 26040 markings/sec, 50 secs
lola: 1655155 markings, 59803876 edges, 24932 markings/sec, 55 secs
lola: 1787014 markings, 64803536 edges, 26372 markings/sec, 60 secs
lola: 1908036 markings, 69576522 edges, 24204 markings/sec, 65 secs
lola: 2031500 markings, 74537492 edges, 24693 markings/sec, 70 secs
lola: 2155190 markings, 79472569 edges, 24738 markings/sec, 75 secs
lola: 2277980 markings, 84399426 edges, 24558 markings/sec, 80 secs
lola: 2404821 markings, 89341251 edges, 25368 markings/sec, 85 secs
lola: 2526878 markings, 94247288 edges, 24411 markings/sec, 90 secs
lola: 2650116 markings, 99153474 edges, 24648 markings/sec, 95 secs
lola: 2773268 markings, 104013893 edges, 24630 markings/sec, 100 secs
lola: 2893921 markings, 108898031 edges, 24131 markings/sec, 105 secs
lola: 3017727 markings, 113783382 edges, 24761 markings/sec, 110 secs
lola: 3144981 markings, 118730468 edges, 25451 markings/sec, 115 secs
lola: 3260529 markings, 123587353 edges, 23110 markings/sec, 120 secs
lola: 3384153 markings, 128454308 edges, 24725 markings/sec, 125 secs
lola: 3503634 markings, 133327181 edges, 23896 markings/sec, 130 secs
lola: 3624297 markings, 138167414 edges, 24133 markings/sec, 135 secs
lola: 3747303 markings, 143019238 edges, 24601 markings/sec, 140 secs
lola: 3865395 markings, 147782369 edges, 23618 markings/sec, 145 secs
lola: 3982903 markings, 152603563 edges, 23502 markings/sec, 150 secs
lola: 4101602 markings, 157416877 edges, 23740 markings/sec, 155 secs
lola: 4217486 markings, 162172982 edges, 23177 markings/sec, 160 secs
lola: 4336367 markings, 166949271 edges, 23776 markings/sec, 165 secs
lola: 4451643 markings, 171675971 edges, 23055 markings/sec, 170 secs
lola: 4565035 markings, 176315162 edges, 22678 markings/sec, 175 secs
lola: 4681377 markings, 181054228 edges, 23268 markings/sec, 180 secs
lola: 4797327 markings, 185815300 edges, 23190 markings/sec, 185 secs
lola: 4912137 markings, 190605617 edges, 22962 markings/sec, 190 secs
lola: 5032700 markings, 195389050 edges, 24113 markings/sec, 195 secs
lola: 5145982 markings, 200132000 edges, 22656 markings/sec, 200 secs
lola: 5264437 markings, 204930977 edges, 23691 markings/sec, 205 secs
lola: 5381742 markings, 209725067 edges, 23461 markings/sec, 210 secs
lola: 5499434 markings, 214499060 edges, 23538 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2441476 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((E (X (FIREABLE(t259))) U E (G (FIREABLE(t17))))) AND E (F (E (G (FIREABLE(t419))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (A(EX(FIREABLE(t259)) U NOT(A(TRUE U NOT FIREABLE(t17)))) AND E(TRUE U NOT(A(TRUE U NOT FIREABLE(t419)))))
lola: processed formula length: 106
lola: 28 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 4 significant temporal operators and needs 17 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: 36 markings, 498 edges
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t667) AND (E ((NOT FIREABLE(t486) U (FIREABLE(t395) AND FIREABLE(t703)))) AND A (X (((NOT FIREABLE(t50) OR NOT FIREABLE(t790)) AND FIREABLE(t398))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t667)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t667)
lola: processed formula length: 18
lola: 21 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(t486) U (FIREABLE(t395) AND FIREABLE(t703))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((NOT FIREABLE(t486) U (FIREABLE(t395) AND FIREABLE(t703))))
lola: processed formula length: 62
lola: 24 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (FIREABLE(t395) AND FIREABLE(t703))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-04a-CTLFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-04a-CTLFireability-3-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 13075 markings, 315464 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(t50) OR NOT FIREABLE(t790)) AND FIREABLE(t398))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(((NOT FIREABLE(t50) OR NOT FIREABLE(t790)) AND FIREABLE(t398)))
lola: processed formula length: 67
lola: 22 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t756) OR E ((FIREABLE(t663) U FIREABLE(t42))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX((FIREABLE(t756) OR E(FIREABLE(t663) U FIREABLE(t42))))
lola: processed formula length: 57
lola: 23 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (E (G (NOT FIREABLE(t369))))) AND E (F ((((FIREABLE(t308) OR FIREABLE(t682)) AND NOT FIREABLE(t812)) AND A (G (FIREABLE(t598)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t308) OR FIREABLE(t682)) AND NOT FIREABLE(t812)) AND A (G (FIREABLE(t598))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(TRUE U (((FIREABLE(t308) OR FIREABLE(t682)) AND NOT FIREABLE(t812)) AND NOT(E(TRUE U NOT FIREABLE(t598)))))
lola: processed formula length: 110
lola: 24 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 165340 markings, 4868493 edges, 33068 markings/sec, 0 secs
lola: 313087 markings, 9705875 edges, 29549 markings/sec, 5 secs
lola: 462818 markings, 14629458 edges, 29946 markings/sec, 10 secs
lola: 602767 markings, 19442853 edges, 27990 markings/sec, 15 secs
lola: 734479 markings, 24288452 edges, 26342 markings/sec, 20 secs
lola: 867790 markings, 29108841 edges, 26662 markings/sec, 25 secs
lola: 1005794 markings, 33916330 edges, 27601 markings/sec, 30 secs
lola: 1138341 markings, 38749737 edges, 26509 markings/sec, 35 secs
lola: 1269644 markings, 43605158 edges, 26261 markings/sec, 40 secs
lola: 1395639 markings, 48445085 edges, 25199 markings/sec, 45 secs
lola: 1524427 markings, 53229585 edges, 25758 markings/sec, 50 secs
lola: 1647391 markings, 58048077 edges, 24593 markings/sec, 55 secs
lola: 1778487 markings, 62884030 edges, 26219 markings/sec, 60 secs
lola: 1903219 markings, 67690038 edges, 24946 markings/sec, 65 secs
lola: 2025323 markings, 72480868 edges, 24421 markings/sec, 70 secs
lola: 2147989 markings, 77252906 edges, 24533 markings/sec, 75 secs
lola: 2268139 markings, 82014028 edges, 24030 markings/sec, 80 secs
lola: 2394341 markings, 86770695 edges, 25240 markings/sec, 85 secs
lola: 2514880 markings, 91507359 edges, 24108 markings/sec, 90 secs
lola: 2633134 markings, 96230098 edges, 23651 markings/sec, 95 secs
lola: 2756735 markings, 100930890 edges, 24720 markings/sec, 100 secs
lola: 2876031 markings, 105637014 edges, 23859 markings/sec, 105 secs
lola: 2996526 markings, 110350654 edges, 24099 markings/sec, 110 secs
lola: 3122509 markings, 115130963 edges, 25197 markings/sec, 115 secs
lola: 3240044 markings, 119827049 edges, 23507 markings/sec, 120 secs
lola: 3360187 markings, 124522575 edges, 24029 markings/sec, 125 secs
lola: 3478832 markings, 129225737 edges, 23729 markings/sec, 130 secs
lola: 3597258 markings, 133956734 edges, 23685 markings/sec, 135 secs
lola: 3719294 markings, 138709983 edges, 24407 markings/sec, 140 secs
lola: 3841796 markings, 143430077 edges, 24500 markings/sec, 145 secs
lola: 3959703 markings, 148127391 edges, 23581 markings/sec, 150 secs
lola: 4076962 markings, 152817548 edges, 23452 markings/sec, 155 secs
lola: 4194590 markings, 157511856 edges, 23526 markings/sec, 160 secs
lola: 4314008 markings, 162205065 edges, 23884 markings/sec, 165 secs
lola: 4431008 markings, 166898799 edges, 23400 markings/sec, 170 secs
lola: 4546909 markings, 171573516 edges, 23180 markings/sec, 175 secs
lola: 4664881 markings, 176213054 edges, 23594 markings/sec, 180 secs
lola: 4780861 markings, 180884616 edges, 23196 markings/sec, 185 secs
lola: 4894875 markings, 185576746 edges, 22803 markings/sec, 190 secs
lola: 5016071 markings, 190258815 edges, 24239 markings/sec, 195 secs
lola: 5129180 markings, 194908095 edges, 22622 markings/sec, 200 secs
lola: 5246521 markings, 199605176 edges, 23468 markings/sec, 205 secs
lola: 5365294 markings, 204293260 edges, 23755 markings/sec, 210 secs
lola: 5481755 markings, 208975322 edges, 23292 markings/sec, 215 secs
lola: 5598748 markings, 213637652 edges, 23399 markings/sec, 220 secs
lola: 5715114 markings, 218297955 edges, 23273 markings/sec, 225 secs
lola: 5829356 markings, 222929605 edges, 22848 markings/sec, 230 secs
lola: 5944331 markings, 227605760 edges, 22995 markings/sec, 235 secs
lola: 6060007 markings, 232283579 edges, 23135 markings/sec, 240 secs
lola: 6171091 markings, 236934131 edges, 22217 markings/sec, 245 secs
lola: 6284108 markings, 241573800 edges, 22603 markings/sec, 250 secs
lola: 6400965 markings, 246246808 edges, 23371 markings/sec, 255 secs
lola: 6515568 markings, 250900497 edges, 22921 markings/sec, 260 secs
lola: 6631319 markings, 255547951 edges, 23150 markings/sec, 265 secs
lola: 6746557 markings, 260195796 edges, 23048 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown yes unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown yes unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 2998132 KB
lola: time consumption: 503 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown yes unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 2998132 KB
lola: time consumption: 503 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (FIREABLE(t315))) OR E (X ((NOT FIREABLE(t96) OR NOT FIREABLE(t458) OR (NOT FIREABLE(t181) AND NOT FIREABLE(t806))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t315)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t315)))
lola: processed formula length: 22
lola: 22 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t315)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-04a-CTLFireability-5-0.sara
lola: SUBRESULT
lola: lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2 markings, 1 edges
state equation: calling and running sara
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((NOT FIREABLE(t607) OR NOT FIREABLE(t552) OR FIREABLE(t805)))) AND (A (X (FIREABLE(t487))) AND FIREABLE(t558)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
sara: try reading problem file DLCround-PT-04a-CTLFireability-5-0.sara.
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t558)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t558)
lola: processed formula length: 14
lola: 21 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t197))) AND (A (((FIREABLE(t496) OR FIREABLE(t419)) U NOT FIREABLE(t78))) AND (A (X (NOT FIREABLE(t358))) AND FIREABLE(t656))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t656)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t656)
lola: processed formula length: 14
lola: 21 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: lola: SUBRESULT
lola: ========================================
result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t490) AND FIREABLE(t205) AND NOT FIREABLE(t125) AND NOT FIREABLE(t382) AND NOT FIREABLE(t446) AND NOT FIREABLE(t275))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t490) AND FIREABLE(t205) AND NOT FIREABLE(t125) AND NOT FIREABLE(t382) AND NOT FIREABLE(t446) AND NOT FIREABLE(t275))))
lola: processed formula length: 135
lola: 22 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t490) AND FIREABLE(t205) AND NOT FIREABLE(t125) AND NOT FIREABLE(t382) AND NOT FIREABLE(t446) AND NOT FIREABLE(t275))
lola: state equation: Generated DNF with 128 literals and 16 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-04a-CTLFireability-8-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola:
FORMULA DLCround-PT-04a-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t346) OR NOT FIREABLE(t717) OR (NOT FIREABLE(t295) AND NOT FIREABLE(t712))) AND (NOT FIREABLE(t84) OR NOT FIREABLE(t482) OR NOT FIREABLE(t420)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(t346) OR NOT FIREABLE(t717) OR (NOT FIREABLE(t295) AND NOT FIREABLE(t712))) AND (NOT FIREABLE(t84) OR NOT FIREABLE(t482) OR NOT FIREABLE(t420)))))
lola: processed formula length: 171
lola: 23 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((FIREABLE(t346) AND FIREABLE(t717) AND (FIREABLE(t295) OR FIREABLE(t712))) OR (FIREABLE(t84) AND FIREABLE(t482) AND FIREABLE(t420)))
lola: state equation: Generated DNF with 17 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-04a-CTLFireability-9-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 511 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(t242)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t242)
lola: processed formula length: 18
lola: 23 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
sara: place or transition ordering is non-deterministic
lola: 170919 markings, 4311290 edges, 34184 markings/sec, 0 secs
lola: 327252 markings, 8594209 edges, 31267 markings/sec, 5 secs
lola: 477711 markings, 12852602 edges, 30092 markings/sec, 10 secs
lola: 625285 markings, 17067949 edges, 29515 markings/sec, 15 secs
lola: 771452 markings, 21279264 edges, 29233 markings/sec, 20 secs
lola: 911747 markings, 25435840 edges, 28059 markings/sec, 25 secs
lola: 1054589 markings, 29697662 edges, 28568 markings/sec, 30 secs
lola: 1195721 markings, 33924832 edges, 28226 markings/sec, 35 secs
lola: 1335754 markings, 38152592 edges, 28007 markings/sec, 40 secs
lola: 1473282 markings, 42330402 edges, 27506 markings/sec, 45 secs
lola: 1611103 markings, 46547905 edges, 27564 markings/sec, 50 secs
lola: 1747461 markings, 50744085 edges, 27272 markings/sec, 55 secs
lola: 1884059 markings, 54920042 edges, 27320 markings/sec, 60 secs
lola: 2018808 markings, 59086697 edges, 26950 markings/sec, 65 secs
lola: 2150287 markings, 63262034 edges, 26296 markings/sec, 70 secs
lola: 2282081 markings, 67408827 edges, 26359 markings/sec, 75 secs
lola: 2417707 markings, 71557518 edges, 27125 markings/sec, 80 secs
lola: 2550355 markings, 75762602 edges, 26530 markings/sec, 85 secs
lola: 2680727 markings, 79924073 edges, 26074 markings/sec, 90 secs
lola: 2812575 markings, 84089154 edges, 26370 markings/sec, 95 secs
lola: 2941857 markings, 88250089 edges, 25856 markings/sec, 100 secs
lola: 3073647 markings, 92408240 edges, 26358 markings/sec, 105 secs
lola: 3203632 markings, 96550373 edges, 25997 markings/sec, 110 secs
lola: 3334456 markings, 100721036 edges, 26165 markings/sec, 115 secs
lola: 3466749 markings, 104891497 edges, 26459 markings/sec, 120 secs
lola: 3594247 markings, 109055386 edges, 25500 markings/sec, 125 secs
lola: 3723278 markings, 113199981 edges, 25806 markings/sec, 130 secs
lola: 3851687 markings, 117379837 edges, 25682 markings/sec, 135 secs
lola: 3977140 markings, 121502274 edges, 25091 markings/sec, 140 secs
lola: 4104426 markings, 125635629 edges, 25457 markings/sec, 145 secs
lola: 4231655 markings, 129816276 edges, 25446 markings/sec, 150 secs
lola: 4359509 markings, 133981449 edges, 25571 markings/sec, 155 secs
lola: 4485354 markings, 138099476 edges, 25169 markings/sec, 160 secs
lola: 4608735 markings, 142229575 edges, 24676 markings/sec, 165 secs
lola: 4732260 markings, 146348108 edges, 24705 markings/sec, 170 secs
lola: 4858150 markings, 150497516 edges, 25178 markings/sec, 175 secs
lola: 4984552 markings, 154637443 edges, 25280 markings/sec, 180 secs
lola: 5111073 markings, 158782047 edges, 25304 markings/sec, 185 secs
lola: 5236437 markings, 162909004 edges, 25073 markings/sec, 190 secs
lola: 5360902 markings, 167019788 edges, 24893 markings/sec, 195 secs
lola: 5487101 markings, 171202285 edges, 25240 markings/sec, 200 secs
lola: 5609455 markings, 175323901 edges, 24471 markings/sec, 205 secs
lola: 5735728 markings, 179463651 edges, 25255 markings/sec, 210 secs
lola: 5858436 markings, 183592808 edges, 24542 markings/sec, 215 secs
lola: 5981423 markings, 187689487 edges, 24597 markings/sec, 220 secs
lola: 6102802 markings, 191824685 edges, 24276 markings/sec, 225 secs
lola: 6226102 markings, 195961766 edges, 24660 markings/sec, 230 secs
lola: 6343537 markings, 199907747 edges, 23487 markings/sec, 235 secs
lola: 6464072 markings, 204017812 edges, 24107 markings/sec, 240 secs
lola: 6585192 markings, 208128046 edges, 24224 markings/sec, 245 secs
lola: 6708398 markings, 212280798 edges, 24641 markings/sec, 250 secs
lola: 6829539 markings, 216389347 edges, 24228 markings/sec, 255 secs
lola: 6949768 markings, 220545521 edges, 24046 markings/sec, 260 secs
lola: 7069731 markings, 224665796 edges, 23993 markings/sec, 265 secs
lola: 7193460 markings, 228756911 edges, 24746 markings/sec, 270 secs
lola: 7315775 markings, 232887961 edges, 24463 markings/sec, 275 secs
lola: 7437361 markings, 236984433 edges, 24317 markings/sec, 280 secs
lola: 7559214 markings, 241152853 edges, 24371 markings/sec, 285 secs
lola: 7682973 markings, 245230367 edges, 24752 markings/sec, 290 secs
lola: 7805196 markings, 249294802 edges, 24445 markings/sec, 295 secs
lola: 7926192 markings, 253428245 edges, 24199 markings/sec, 300 secs
lola: 8045778 markings, 257539845 edges, 23917 markings/sec, 305 secs
lola: 8167119 markings, 261626505 edges, 24268 markings/sec, 310 secs
lola: 8286501 markings, 265711600 edges, 23876 markings/sec, 315 secs
lola: 8405666 markings, 269816883 edges, 23833 markings/sec, 320 secs
lola: 8525451 markings, 273902609 edges, 23957 markings/sec, 325 secs
lola: 8644650 markings, 277999903 edges, 23840 markings/sec, 330 secs
lola: 8763987 markings, 282119861 edges, 23867 markings/sec, 335 secs
lola: 8881299 markings, 286193636 edges, 23462 markings/sec, 340 secs
lola: 9002090 markings, 290283476 edges, 24158 markings/sec, 345 secs
lola: 9121920 markings, 294376348 edges, 23966 markings/sec, 350 secs
lola: 9239151 markings, 298432450 edges, 23446 markings/sec, 355 secs
lola: 9355508 markings, 302504442 edges, 23271 markings/sec, 360 secs
lola: 9472480 markings, 306585898 edges, 23394 markings/sec, 365 secs
lola: 9590141 markings, 310725340 edges, 23532 markings/sec, 370 secs
lola: 9707900 markings, 314848914 edges, 23552 markings/sec, 375 secs
lola: 9827960 markings, 318960912 edges, 24012 markings/sec, 380 secs
lola: 9947575 markings, 323023551 edges, 23923 markings/sec, 385 secs
lola: 10069070 markings, 327091179 edges, 24299 markings/sec, 390 secs
lola: 10185971 markings, 331182293 edges, 23380 markings/sec, 395 secs
lola: 10302177 markings, 335262371 edges, 23241 markings/sec, 400 secs
lola: 10420309 markings, 339353477 edges, 23626 markings/sec, 405 secs
lola: 10539368 markings, 343475003 edges, 23812 markings/sec, 410 secs
lola: 10656094 markings, 347538903 edges, 23345 markings/sec, 415 secs
lola: 10775190 markings, 351658437 edges, 23819 markings/sec, 420 secs
lola: 10893762 markings, 355755678 edges, 23714 markings/sec, 425 secs
lola: 11012460 markings, 359804707 edges, 23740 markings/sec, 430 secs
lola: 11130785 markings, 363902483 edges, 23665 markings/sec, 435 secs
lola: 11247801 markings, 368017871 edges, 23403 markings/sec, 440 secs
lola: 11364289 markings, 372073862 edges, 23298 markings/sec, 445 secs
lola: 11479980 markings, 376162402 edges, 23138 markings/sec, 450 secs
lola: 11596099 markings, 380250415 edges, 23224 markings/sec, 455 secs
lola: 11713503 markings, 384363573 edges, 23481 markings/sec, 460 secs
lola: 11828897 markings, 388417990 edges, 23079 markings/sec, 465 secs
lola: 11943928 markings, 392470282 edges, 23006 markings/sec, 470 secs
lola: 12057866 markings, 396526682 edges, 22788 markings/sec, 475 secs
lola: 12174733 markings, 400584103 edges, 23373 markings/sec, 480 secs
lola: 12291339 markings, 404650032 edges, 23321 markings/sec, 485 secs
lola: 12409053 markings, 408724409 edges, 23543 markings/sec, 490 secs
lola: 12524904 markings, 412765472 edges, 23170 markings/sec, 495 secs
lola: 12643044 markings, 416822800 edges, 23628 markings/sec, 500 secs
lola: 12761438 markings, 420898430 edges, 23679 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown yes unknown unknown no yes no unknown yes no unknown no
lola: memory consumption: 5180000 KB
lola: time consumption: 1014 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 511 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t312)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t312)
lola: processed formula length: 14
lola: 22 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 130172 markings, 974473 edges, 26034 markings/sec, 0 secs
lola: 258499 markings, 1964753 edges, 25665 markings/sec, 5 secs
lola: 387144 markings, 2942325 edges, 25729 markings/sec, 10 secs
lola: 514083 markings, 3934849 edges, 25388 markings/sec, 15 secs
lola: 640125 markings, 4944385 edges, 25208 markings/sec, 20 secs
lola: 765346 markings, 5958493 edges, 25044 markings/sec, 25 secs
lola: 889239 markings, 6950774 edges, 24779 markings/sec, 30 secs
lola: 1013497 markings, 7970801 edges, 24852 markings/sec, 35 secs
lola: 1135638 markings, 8894475 edges, 24428 markings/sec, 40 secs
lola: 1258950 markings, 9921904 edges, 24662 markings/sec, 45 secs
lola: 1382325 markings, 10950741 edges, 24675 markings/sec, 50 secs
lola: 1505038 markings, 11986801 edges, 24543 markings/sec, 55 secs
lola: 1628855 markings, 13006054 edges, 24763 markings/sec, 60 secs
lola: 1751670 markings, 14036118 edges, 24563 markings/sec, 65 secs
lola: 1874284 markings, 15067636 edges, 24523 markings/sec, 70 secs
lola: 1997795 markings, 16092225 edges, 24702 markings/sec, 75 secs
lola: 2121089 markings, 17110812 edges, 24659 markings/sec, 80 secs
lola: 2247418 markings, 18088987 edges, 25266 markings/sec, 85 secs
lola: 2369571 markings, 19120772 edges, 24431 markings/sec, 90 secs
lola: 2492264 markings, 20152156 edges, 24539 markings/sec, 95 secs
lola: 2613772 markings, 21195102 edges, 24302 markings/sec, 100 secs
lola: 2736016 markings, 22227776 edges, 24449 markings/sec, 105 secs
lola: 2859113 markings, 23250130 edges, 24619 markings/sec, 110 secs
lola: 2981254 markings, 24285433 edges, 24428 markings/sec, 115 secs
lola: 3098562 markings, 25268140 edges, 23462 markings/sec, 120 secs
lola: 3220384 markings, 26306320 edges, 24364 markings/sec, 125 secs
lola: 3341275 markings, 27348999 edges, 24178 markings/sec, 130 secs
lola: 3462975 markings, 28381205 edges, 24340 markings/sec, 135 secs
lola: 3584584 markings, 29412812 edges, 24322 markings/sec, 140 secs
lola: 3705370 markings, 30463819 edges, 24157 markings/sec, 145 secs
lola: 3825408 markings, 31522736 edges, 24008 markings/sec, 150 secs
lola: 3945877 markings, 32573949 edges, 24094 markings/sec, 155 secs
lola: 4065570 markings, 33636029 edges, 23939 markings/sec, 160 secs
lola: 4185871 markings, 34688547 edges, 24060 markings/sec, 165 secs
lola: 4306012 markings, 35740393 edges, 24028 markings/sec, 170 secs
lola: 4425810 markings, 36795709 edges, 23960 markings/sec, 175 secs
lola: 4545689 markings, 37851488 edges, 23976 markings/sec, 180 secs
lola: 4665921 markings, 38899278 edges, 24046 markings/sec, 185 secs
lola: 4787395 markings, 39935619 edges, 24295 markings/sec, 190 secs
lola: 4908639 markings, 40978353 edges, 24249 markings/sec, 195 secs
lola: 5028701 markings, 42030909 edges, 24012 markings/sec, 200 secs
lola: 5142404 markings, 43050968 edges, 22741 markings/sec, 205 secs
lola: 5262069 markings, 44099698 edges, 23933 markings/sec, 210 secs
lola: 5382728 markings, 45133013 edges, 24132 markings/sec, 215 secs
lola: 5498325 markings, 46125157 edges, 23119 markings/sec, 220 secs
lola: 5617195 markings, 47182960 edges, 23774 markings/sec, 225 secs
lola: 5736810 markings, 48229170 edges, 23923 markings/sec, 230 secs
lola: 5855889 markings, 49286009 edges, 23816 markings/sec, 235 secs
lola: 5973552 markings, 50359711 edges, 23533 markings/sec, 240 secs
lola: 6092894 markings, 51414744 edges, 23868 markings/sec, 245 secs
lola: 6212178 markings, 52461998 edges, 23857 markings/sec, 250 secs
lola: 6331019 markings, 53515038 edges, 23768 markings/sec, 255 secs
lola: 6448763 markings, 54588909 edges, 23549 markings/sec, 260 secs
lola: 6569264 markings, 55616515 edges, 24100 markings/sec, 265 secs
lola: 6689639 markings, 56651029 edges, 24075 markings/sec, 270 secs
lola: 6806997 markings, 57728787 edges, 23472 markings/sec, 275 secs
lola: 6924814 markings, 58798828 edges, 23563 markings/sec, 280 secs
lola: 7041930 markings, 59875670 edges, 23423 markings/sec, 285 secs
lola: 7160327 markings, 60933610 edges, 23679 markings/sec, 290 secs
lola: 7279394 markings, 61989064 edges, 23813 markings/sec, 295 secs
lola: 7397882 markings, 63046141 edges, 23698 markings/sec, 300 secs
lola: 7515483 markings, 64114791 edges, 23520 markings/sec, 305 secs
lola: 7633382 markings, 65179845 edges, 23580 markings/sec, 310 secs
lola: 7751328 markings, 66245720 edges, 23589 markings/sec, 315 secs
lola: 7869209 markings, 67313174 edges, 23576 markings/sec, 320 secs
lola: 7986990 markings, 68383374 edges, 23556 markings/sec, 325 secs
lola: 8104616 markings, 69451232 edges, 23525 markings/sec, 330 secs
lola: 8221793 markings, 70526478 edges, 23435 markings/sec, 335 secs
lola: 8340086 markings, 71587207 edges, 23659 markings/sec, 340 secs
lola: 8456149 markings, 72681111 edges, 23213 markings/sec, 345 secs
lola: 8575528 markings, 73726551 edges, 23876 markings/sec, 350 secs
lola: 8693659 markings, 74790079 edges, 23626 markings/sec, 355 secs
lola: 8811321 markings, 75858642 edges, 23532 markings/sec, 360 secs
lola: 8929672 markings, 76919105 edges, 23670 markings/sec, 365 secs
lola: 9047194 markings, 77991354 edges, 23504 markings/sec, 370 secs
lola: 9163904 markings, 79074025 edges, 23342 markings/sec, 375 secs
lola: 9281134 markings, 80144573 edges, 23446 markings/sec, 380 secs
lola: 9398148 markings, 81215886 edges, 23403 markings/sec, 385 secs
lola: 9515367 markings, 82287472 edges, 23444 markings/sec, 390 secs
lola: 9632708 markings, 83358364 edges, 23468 markings/sec, 395 secs
lola: 9749068 markings, 84440065 edges, 23272 markings/sec, 400 secs
lola: 9864355 markings, 85533322 edges, 23057 markings/sec, 405 secs
lola: 9981111 markings, 86609933 edges, 23351 markings/sec, 410 secs
lola: 10098009 markings, 87684705 edges, 23380 markings/sec, 415 secs
lola: 10214356 markings, 88761880 edges, 23269 markings/sec, 420 secs
lola: 10331153 markings, 89840551 edges, 23359 markings/sec, 425 secs
lola: 10447317 markings, 90927650 edges, 23233 markings/sec, 430 secs
lola: 10564490 markings, 91998409 edges, 23435 markings/sec, 435 secs
lola: 10681276 markings, 93071937 edges, 23357 markings/sec, 440 secs
lola: 10797177 markings, 94161327 edges, 23180 markings/sec, 445 secs
lola: 10912263 markings, 95268092 edges, 23017 markings/sec, 450 secs
lola: 11027764 markings, 96358041 edges, 23100 markings/sec, 455 secs
lola: 11145166 markings, 97429865 edges, 23480 markings/sec, 460 secs
lola: 11261244 markings, 98517146 edges, 23216 markings/sec, 465 secs
lola: 11377527 markings, 99595878 edges, 23257 markings/sec, 470 secs
lola: 11495196 markings, 100655574 edges, 23534 markings/sec, 475 secs
lola: 11612691 markings, 101722709 edges, 23499 markings/sec, 480 secs
lola: 11728708 markings, 102807481 edges, 23203 markings/sec, 485 secs
lola: 11844836 markings, 103888979 edges, 23226 markings/sec, 490 secs
lola: 11960197 markings, 104976394 edges, 23072 markings/sec, 495 secs
lola: 12075524 markings, 106068601 edges, 23065 markings/sec, 500 secs
lola: 12190757 markings, 107164069 edges, 23047 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown yes unknown unknown no yes no unknown yes no unknown no
lola: memory consumption: 4965092 KB
lola: time consumption: 1525 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 511 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((NOT FIREABLE(t569) OR NOT FIREABLE(t473))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (FIREABLE(t569) AND FIREABLE(t473))
lola: processed formula length: 35
lola: 23 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 116504 markings, 922989 edges, 23301 markings/sec, 0 secs
lola: 237582 markings, 1871680 edges, 24216 markings/sec, 5 secs
lola: 357342 markings, 2851942 edges, 23952 markings/sec, 10 secs
lola: 476363 markings, 3838480 edges, 23804 markings/sec, 15 secs
lola: 593682 markings, 4836335 edges, 23464 markings/sec, 20 secs
lola: 711683 markings, 5842574 edges, 23600 markings/sec, 25 secs
lola: 827011 markings, 6871849 edges, 23066 markings/sec, 30 secs
lola: 944032 markings, 7884828 edges, 23404 markings/sec, 35 secs
lola: 1060857 markings, 8902217 edges, 23365 markings/sec, 40 secs
lola: 1177111 markings, 9923364 edges, 23251 markings/sec, 45 secs
lola: 1291802 markings, 10964757 edges, 22938 markings/sec, 50 secs
lola: 1406947 markings, 12007267 edges, 23029 markings/sec, 55 secs
lola: 1521830 markings, 13058095 edges, 22977 markings/sec, 60 secs
lola: 1637413 markings, 14093094 edges, 23117 markings/sec, 65 secs
lola: 1752075 markings, 15146258 edges, 22932 markings/sec, 70 secs
lola: 1865512 markings, 16211973 edges, 22687 markings/sec, 75 secs
lola: 1979684 markings, 17266030 edges, 22834 markings/sec, 80 secs
lola: 2093673 markings, 18329248 edges, 22798 markings/sec, 85 secs
lola: 2206898 markings, 19385004 edges, 22645 markings/sec, 90 secs
lola: 2321210 markings, 20442273 edges, 22862 markings/sec, 95 secs
lola: 2434861 markings, 21507675 edges, 22730 markings/sec, 100 secs
lola: 2548493 markings, 22570937 edges, 22726 markings/sec, 105 secs
lola: 2662103 markings, 23637594 edges, 22722 markings/sec, 110 secs
lola: 2773804 markings, 24713874 edges, 22340 markings/sec, 115 secs
lola: 2893782 markings, 25681573 edges, 23996 markings/sec, 120 secs
lola: 3012894 markings, 26656025 edges, 23822 markings/sec, 125 secs
lola: 3133361 markings, 27614107 edges, 24093 markings/sec, 130 secs
lola: 3250418 markings, 28622347 edges, 23411 markings/sec, 135 secs
lola: 3366130 markings, 29651553 edges, 23142 markings/sec, 140 secs
lola: 3481961 markings, 30666555 edges, 23166 markings/sec, 145 secs
lola: 3597121 markings, 31698308 edges, 23032 markings/sec, 150 secs
lola: 3713441 markings, 32714311 edges, 23264 markings/sec, 155 secs
lola: 3826459 markings, 33775442 edges, 22604 markings/sec, 160 secs
lola: 3938338 markings, 34840461 edges, 22376 markings/sec, 165 secs
lola: 4050728 markings, 35912787 edges, 22478 markings/sec, 170 secs
lola: 4163144 markings, 36986963 edges, 22483 markings/sec, 175 secs
lola: 4276083 markings, 38057903 edges, 22588 markings/sec, 180 secs
lola: 4388533 markings, 39118886 edges, 22490 markings/sec, 185 secs
lola: 4499491 markings, 40215331 edges, 22192 markings/sec, 190 secs
lola: 4615494 markings, 41232906 edges, 23201 markings/sec, 195 secs
lola: 4728857 markings, 42296268 edges, 22673 markings/sec, 200 secs
lola: 4839797 markings, 43395459 edges, 22188 markings/sec, 205 secs
lola: 4951126 markings, 44488426 edges, 22266 markings/sec, 210 secs
lola: 5063377 markings, 45560063 edges, 22450 markings/sec, 215 secs
lola: 5174570 markings, 46651978 edges, 22239 markings/sec, 220 secs
lola: 5279603 markings, 47705634 edges, 21007 markings/sec, 225 secs
lola: 5390906 markings, 48793991 edges, 22261 markings/sec, 230 secs
lola: 5502659 markings, 49873719 edges, 22351 markings/sec, 235 secs
lola: 5612400 markings, 50954284 edges, 21948 markings/sec, 240 secs
lola: 5718512 markings, 51998808 edges, 21222 markings/sec, 245 secs
lola: 5828952 markings, 53088232 edges, 22088 markings/sec, 250 secs
lola: 5938450 markings, 54186421 edges, 21900 markings/sec, 255 secs
lola: 6049935 markings, 55263115 edges, 22297 markings/sec, 260 secs
lola: 6158409 markings, 56377067 edges, 21695 markings/sec, 265 secs
lola: 6269347 markings, 57459769 edges, 22188 markings/sec, 270 secs
lola: 6382316 markings, 58524693 edges, 22594 markings/sec, 275 secs
lola: 6494605 markings, 59582692 edges, 22458 markings/sec, 280 secs
lola: 6606550 markings, 60647638 edges, 22389 markings/sec, 285 secs
lola: 6716173 markings, 61756759 edges, 21925 markings/sec, 290 secs
lola: 6826546 markings, 62845522 edges, 22075 markings/sec, 295 secs
lola: 6938703 markings, 63912228 edges, 22431 markings/sec, 300 secs
lola: 7050507 markings, 64972447 edges, 22361 markings/sec, 305 secs
lola: 7161973 markings, 66048546 edges, 22293 markings/sec, 310 secs
lola: 7273322 markings, 67122783 edges, 22270 markings/sec, 315 secs
lola: 7385795 markings, 68187910 edges, 22495 markings/sec, 320 secs
lola: 7494464 markings, 69299558 edges, 21734 markings/sec, 325 secs
lola: 7604436 markings, 70397336 edges, 21994 markings/sec, 330 secs
lola: 7714573 markings, 71489180 edges, 22027 markings/sec, 335 secs
lola: 7824106 markings, 72592096 edges, 21907 markings/sec, 340 secs
lola: 7937159 markings, 73635387 edges, 22611 markings/sec, 345 secs
lola: 8046703 markings, 74730094 edges, 21909 markings/sec, 350 secs
lola: 8156254 markings, 75845497 edges, 21910 markings/sec, 355 secs
lola: 8266252 markings, 76935112 edges, 22000 markings/sec, 360 secs
lola: 8375220 markings, 78046542 edges, 21794 markings/sec, 365 secs
lola: 8484656 markings, 79143792 edges, 21887 markings/sec, 370 secs
lola: 8595324 markings, 80211527 edges, 22134 markings/sec, 375 secs
lola: 8707756 markings, 81269802 edges, 22486 markings/sec, 380 secs
lola: 8815521 markings, 82382581 edges, 21553 markings/sec, 385 secs
lola: 8925107 markings, 83485174 edges, 21917 markings/sec, 390 secs
lola: 9035584 markings, 84562205 edges, 22095 markings/sec, 395 secs
lola: 9144564 markings, 85660015 edges, 21796 markings/sec, 400 secs
lola: 9246968 markings, 86750946 edges, 20481 markings/sec, 405 secs
lola: 9359251 markings, 87812952 edges, 22457 markings/sec, 410 secs
lola: 9469248 markings, 88908104 edges, 21999 markings/sec, 415 secs
lola: 9584128 markings, 89940907 edges, 22976 markings/sec, 420 secs
lola: 9696327 markings, 91013017 edges, 22440 markings/sec, 425 secs
lola: 9807120 markings, 92103267 edges, 22159 markings/sec, 430 secs
lola: 9917301 markings, 93209991 edges, 22036 markings/sec, 435 secs
lola: 10028203 markings, 94306908 edges, 22180 markings/sec, 440 secs
lola: 10137957 markings, 95405199 edges, 21951 markings/sec, 445 secs
lola: 10246301 markings, 96507233 edges, 21669 markings/sec, 450 secs
lola: 10357079 markings, 97596494 edges, 22156 markings/sec, 455 secs
lola: 10466994 markings, 98703432 edges, 21983 markings/sec, 460 secs
lola: 10577388 markings, 99785635 edges, 22079 markings/sec, 465 secs
lola: 10689904 markings, 100841414 edges, 22503 markings/sec, 470 secs
lola: 10797824 markings, 101966428 edges, 21584 markings/sec, 475 secs
lola: 10901799 markings, 103030860 edges, 20795 markings/sec, 480 secs
lola: 11010978 markings, 104126119 edges, 21836 markings/sec, 485 secs
lola: 11119020 markings, 105247702 edges, 21608 markings/sec, 490 secs
lola: 11227656 markings, 106349061 edges, 21727 markings/sec, 495 secs
lola: 11335317 markings, 107475719 edges, 21532 markings/sec, 500 secs
lola: 11442606 markings, 108588925 edges, 21458 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown yes unknown unknown no yes no unknown yes no unknown no
lola: memory consumption: 4520092 KB
lola: time consumption: 2037 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 511 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((FIREABLE(t80) AND FIREABLE(t550)))) U FIREABLE(t327)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(E(TRUE U (FIREABLE(t80) AND FIREABLE(t550))) U FIREABLE(t327))
lola: processed formula length: 64
lola: 23 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 162202 markings, 4769859 edges, 32440 markings/sec, 0 secs
lola: 310556 markings, 9597487 edges, 29671 markings/sec, 5 secs
lola: 460442 markings, 14514939 edges, 29977 markings/sec, 10 secs
lola: 600826 markings, 19319919 edges, 28077 markings/sec, 15 secs
lola: 733240 markings, 24164358 edges, 26483 markings/sec, 20 secs
lola: 866976 markings, 28975870 edges, 26747 markings/sec, 25 secs
lola: 1005367 markings, 33782078 edges, 27678 markings/sec, 30 secs
lola: 1138288 markings, 38609812 edges, 26584 markings/sec, 35 secs
lola: 1269943 markings, 43459521 edges, 26331 markings/sec, 40 secs
lola: 1396164 markings, 48290170 edges, 25244 markings/sec, 45 secs
lola: 1525230 markings, 53070976 edges, 25813 markings/sec, 50 secs
lola: 1648808 markings, 57885582 edges, 24716 markings/sec, 55 secs
lola: 1780052 markings, 62718931 edges, 26249 markings/sec, 60 secs
lola: 1905260 markings, 67522716 edges, 25042 markings/sec, 65 secs
lola: 2027518 markings, 72315371 edges, 24452 markings/sec, 70 secs
lola: 2150682 markings, 77082603 edges, 24633 markings/sec, 75 secs
lola: 2271523 markings, 81834620 edges, 24168 markings/sec, 80 secs
lola: 2398004 markings, 86599924 edges, 25296 markings/sec, 85 secs
lola: 2519282 markings, 91334251 edges, 24256 markings/sec, 90 secs
lola: 2638005 markings, 96053767 edges, 23745 markings/sec, 95 secs
lola: 2761903 markings, 100754786 edges, 24780 markings/sec, 100 secs
lola: 2882194 markings, 105460344 edges, 24058 markings/sec, 105 secs
lola: 3002980 markings, 110171172 edges, 24157 markings/sec, 110 secs
lola: 3129747 markings, 114948663 edges, 25353 markings/sec, 115 secs
lola: 3245768 markings, 119638498 edges, 23204 markings/sec, 120 secs
lola: 3367379 markings, 124331410 edges, 24322 markings/sec, 125 secs
lola: 3487273 markings, 129036140 edges, 23979 markings/sec, 130 secs
lola: 3605402 markings, 133756597 edges, 23626 markings/sec, 135 secs
lola: 3729423 markings, 138524176 edges, 24804 markings/sec, 140 secs
lola: 3850641 markings, 143231710 edges, 24244 markings/sec, 145 secs
lola: 3968374 markings, 147914579 edges, 23547 markings/sec, 150 secs
lola: 4085641 markings, 152603350 edges, 23453 markings/sec, 155 secs
lola: 4203720 markings, 157286159 edges, 23616 markings/sec, 160 secs
lola: 4323670 markings, 161982975 edges, 23990 markings/sec, 165 secs
lola: 4441055 markings, 166670249 edges, 23477 markings/sec, 170 secs
lola: 4557663 markings, 171352543 edges, 23322 markings/sec, 175 secs
lola: 4675096 markings, 175987825 edges, 23487 markings/sec, 180 secs
lola: 4791996 markings, 180659649 edges, 23380 markings/sec, 185 secs
lola: 4906891 markings, 185344612 edges, 22979 markings/sec, 190 secs
lola: 5026014 markings, 189938836 edges, 23825 markings/sec, 195 secs
lola: 5134939 markings, 194395948 edges, 21785 markings/sec, 200 secs
lola: 5254031 markings, 199110711 edges, 23818 markings/sec, 205 secs
lola: 5372588 markings, 203794807 edges, 23711 markings/sec, 210 secs
lola: 5489811 markings, 208478803 edges, 23445 markings/sec, 215 secs
lola: 5602976 markings, 212958942 edges, 22633 markings/sec, 220 secs
lola: 5719215 markings, 217628703 edges, 23248 markings/sec, 225 secs
lola: 5834265 markings, 222277982 edges, 23010 markings/sec, 230 secs
lola: 5949340 markings, 226974589 edges, 23015 markings/sec, 235 secs
lola: 6066994 markings, 231656515 edges, 23531 markings/sec, 240 secs
lola: 6177251 markings, 236312378 edges, 22051 markings/sec, 245 secs
lola: 6292300 markings, 240971448 edges, 23010 markings/sec, 250 secs
lola: 6409460 markings, 245651196 edges, 23432 markings/sec, 255 secs
lola: 6525118 markings, 250319318 edges, 23132 markings/sec, 260 secs
lola: 6641827 markings, 254977688 edges, 23342 markings/sec, 265 secs
lola: 6758830 markings, 259648872 edges, 23401 markings/sec, 270 secs
lola: 6873303 markings, 264297607 edges, 22895 markings/sec, 275 secs
lola: 6988053 markings, 268998033 edges, 22950 markings/sec, 280 secs
lola: 7100988 markings, 273655817 edges, 22587 markings/sec, 285 secs
lola: 7213403 markings, 278274606 edges, 22483 markings/sec, 290 secs
lola: 7326377 markings, 282909722 edges, 22595 markings/sec, 295 secs
lola: 7443888 markings, 287560690 edges, 23502 markings/sec, 300 secs
lola: 7559420 markings, 292226281 edges, 23106 markings/sec, 305 secs
lola: 7674519 markings, 296896620 edges, 23020 markings/sec, 310 secs
lola: 7787936 markings, 301532993 edges, 22683 markings/sec, 315 secs
lola: 7904250 markings, 306192472 edges, 23263 markings/sec, 320 secs
lola: 8016256 markings, 310802466 edges, 22401 markings/sec, 325 secs
lola: 8127072 markings, 315407116 edges, 22163 markings/sec, 330 secs
lola: 8238461 markings, 320046629 edges, 22278 markings/sec, 335 secs
lola: 8351233 markings, 324684980 edges, 22554 markings/sec, 340 secs
lola: 8466173 markings, 329319411 edges, 22988 markings/sec, 345 secs
lola: 8578471 markings, 333967035 edges, 22460 markings/sec, 350 secs
lola: 8694690 markings, 338589746 edges, 23244 markings/sec, 355 secs
lola: 8804531 markings, 343215679 edges, 21968 markings/sec, 360 secs
lola: 8915133 markings, 347893983 edges, 22120 markings/sec, 365 secs
lola: 9024957 markings, 352538370 edges, 21965 markings/sec, 370 secs
lola: 9139382 markings, 357157776 edges, 22885 markings/sec, 375 secs
lola: 9250402 markings, 361771465 edges, 22204 markings/sec, 380 secs
lola: 9363240 markings, 366409354 edges, 22568 markings/sec, 385 secs
lola: 9476684 markings, 371029276 edges, 22689 markings/sec, 390 secs
lola: 9590534 markings, 375655719 edges, 22770 markings/sec, 395 secs
lola: 9698991 markings, 380263964 edges, 21691 markings/sec, 400 secs
lola: 9808088 markings, 384885361 edges, 21819 markings/sec, 405 secs
lola: 9918269 markings, 389539035 edges, 22036 markings/sec, 410 secs
lola: 10027510 markings, 394149075 edges, 21848 markings/sec, 415 secs
lola: 10141591 markings, 398806136 edges, 22816 markings/sec, 420 secs
lola: 10252779 markings, 403417701 edges, 22238 markings/sec, 425 secs
lola: 10364003 markings, 408067849 edges, 22245 markings/sec, 430 secs
lola: 10469373 markings, 412671147 edges, 21074 markings/sec, 435 secs
lola: 10581316 markings, 417280712 edges, 22389 markings/sec, 440 secs
lola: 10691614 markings, 421908559 edges, 22060 markings/sec, 445 secs
lola: 10803765 markings, 426513058 edges, 22430 markings/sec, 450 secs
lola: 10905665 markings, 431103120 edges, 20380 markings/sec, 455 secs
lola: 11016816 markings, 435673276 edges, 22230 markings/sec, 460 secs
lola: 11123148 markings, 440249669 edges, 21266 markings/sec, 465 secs
lola: 11234196 markings, 444915916 edges, 22210 markings/sec, 470 secs
lola: 11343976 markings, 449527897 edges, 21956 markings/sec, 475 secs
lola: 11446037 markings, 454130517 edges, 20412 markings/sec, 480 secs
lola: 11554532 markings, 458735873 edges, 21699 markings/sec, 485 secs
lola: 11665951 markings, 463330404 edges, 22284 markings/sec, 490 secs
lola: 11776917 markings, 467907953 edges, 22193 markings/sec, 495 secs
lola: 11886566 markings, 472497633 edges, 21930 markings/sec, 500 secs
lola: 11992224 markings, 477043556 edges, 21132 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown yes unknown unknown no yes no unknown yes no unknown no
lola: memory consumption: 5347320 KB
lola: time consumption: 2548 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 511 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t554) OR NOT FIREABLE(t504) OR NOT FIREABLE(t626)) OR E (G (NOT FIREABLE(t195))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U ((FIREABLE(t554) AND FIREABLE(t504) AND FIREABLE(t626)) AND A(TRUE U FIREABLE(t195)))))
lola: processed formula length: 100
lola: 27 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 156907 markings, 4601953 edges, 31381 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 200597 markings, 5949492 edges
lola: ========================================
FORMULA DLCround-PT-04a-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1015 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t380) OR ((FIREABLE(t582) OR E (F (FIREABLE(t591)))) AND FIREABLE(t627)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1015 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t627)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t627)
lola: processed formula length: 14
lola: 21 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (FIREABLE(t324)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX(E(TRUE U NOT(E(TRUE U NOT FIREABLE(t324)))))
lola: processed formula length: 47
lola: 25 rewrites
lola: closed formula file DLCround-PT-04a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 159883 markings, 4860675 edges, 31977 markings/sec, 0 secs
lola: 306960 markings, 9797075 edges, 29415 markings/sec, 5 secs
lola: 455683 markings, 14817817 edges, 29745 markings/sec, 10 secs
lola: 595200 markings, 19735400 edges, 27903 markings/sec, 15 secs
lola: 727069 markings, 24685138 edges, 26374 markings/sec, 20 secs
lola: 859565 markings, 29600685 edges, 26499 markings/sec, 25 secs
lola: 997187 markings, 34510265 edges, 27524 markings/sec, 30 secs
lola: 1129564 markings, 39440479 edges, 26475 markings/sec, 35 secs
lola: 1260803 markings, 44382960 edges, 26248 markings/sec, 40 secs
lola: 1385908 markings, 49317011 edges, 25021 markings/sec, 45 secs
lola: 1514599 markings, 54195889 edges, 25738 markings/sec, 50 secs
lola: 1636759 markings, 59117912 edges, 24432 markings/sec, 55 secs
lola: 1768231 markings, 64048405 edges, 26294 markings/sec, 60 secs
lola: 1891836 markings, 68945840 edges, 24721 markings/sec, 65 secs
lola: 2012182 markings, 73825372 edges, 24069 markings/sec, 70 secs
lola: 2136785 markings, 78690198 edges, 24921 markings/sec, 75 secs
lola: 2256493 markings, 83544528 edges, 23942 markings/sec, 80 secs
lola: 2381954 markings, 88401275 edges, 25092 markings/sec, 85 secs
lola: 2502061 markings, 93235640 edges, 24021 markings/sec, 90 secs
lola: 2620304 markings, 98049683 edges, 23649 markings/sec, 95 secs
lola: 2743290 markings, 102855917 edges, 24597 markings/sec, 100 secs
lola: 2863950 markings, 107649409 edges, 24132 markings/sec, 105 secs
lola: 2981931 markings, 112455957 edges, 23596 markings/sec, 110 secs
lola: 3109234 markings, 117324271 edges, 25461 markings/sec, 115 secs
lola: 3225822 markings, 122122812 edges, 23318 markings/sec, 120 secs
lola: 3347369 markings, 126920307 edges, 24309 markings/sec, 125 secs
lola: 3466080 markings, 131720057 edges, 23742 markings/sec, 130 secs
lola: 3581453 markings, 136532885 edges, 23075 markings/sec, 135 secs
lola: 3704270 markings, 141369187 edges, 24563 markings/sec, 140 secs
lola: 3826056 markings, 146204030 edges, 24357 markings/sec, 145 secs
lola: 3943985 markings, 150982662 edges, 23586 markings/sec, 150 secs
lola: 4060801 markings, 155778625 edges, 23363 markings/sec, 155 secs
lola: 4178561 markings, 160570516 edges, 23552 markings/sec, 160 secs
lola: 4297810 markings, 165358739 edges, 23850 markings/sec, 165 secs
lola: 4414549 markings, 170135410 edges, 23348 markings/sec, 170 secs
lola: 4530779 markings, 174906131 edges, 23246 markings/sec, 175 secs
lola: 4648296 markings, 179646321 edges, 23503 markings/sec, 180 secs
lola: 4763692 markings, 184417413 edges, 23079 markings/sec, 185 secs
lola: 4878178 markings, 189195161 edges, 22897 markings/sec, 190 secs
lola: 4998886 markings, 193983276 edges, 24142 markings/sec, 195 secs
lola: 5113194 markings, 198726327 edges, 22862 markings/sec, 200 secs
lola: 5228662 markings, 203503665 edges, 23094 markings/sec, 205 secs
lola: 5348091 markings, 208297873 edges, 23886 markings/sec, 210 secs
lola: 5463045 markings, 213071013 edges, 22991 markings/sec, 215 secs
lola: 5580665 markings, 217811445 edges, 23524 markings/sec, 220 secs
lola: 5696626 markings, 222579015 edges, 23192 markings/sec, 225 secs
lola: 5812082 markings, 227313629 edges, 23091 markings/sec, 230 secs
lola: 5927480 markings, 232059931 edges, 23080 markings/sec, 235 secs
lola: 6041711 markings, 236866470 edges, 22846 markings/sec, 240 secs
lola: 6155417 markings, 241603873 edges, 22741 markings/sec, 245 secs
lola: 6266199 markings, 246336733 edges, 22156 markings/sec, 250 secs
lola: 6382506 markings, 251114959 edges, 23261 markings/sec, 255 secs
lola: 6496088 markings, 255861116 edges, 22716 markings/sec, 260 secs
lola: 6612081 markings, 260607432 edges, 23199 markings/sec, 265 secs
lola: 6726678 markings, 265349882 edges, 22919 markings/sec, 270 secs
lola: 6842344 markings, 270095215 edges, 23133 markings/sec, 275 secs
lola: 6955075 markings, 274842985 edges, 22546 markings/sec, 280 secs
lola: 7067313 markings, 279611150 edges, 22448 markings/sec, 285 secs
lola: 7180641 markings, 284320460 edges, 22666 markings/sec, 290 secs
lola: 7291041 markings, 289041672 edges, 22080 markings/sec, 295 secs
lola: 7406407 markings, 293767532 edges, 23073 markings/sec, 300 secs
lola: 7523241 markings, 298517115 edges, 23367 markings/sec, 305 secs
lola: 7636047 markings, 303255846 edges, 22561 markings/sec, 310 secs
lola: 7750574 markings, 308013659 edges, 22905 markings/sec, 315 secs
lola: 7865580 markings, 312744314 edges, 23001 markings/sec, 320 secs
lola: 7975718 markings, 317459805 edges, 22028 markings/sec, 325 secs
lola: 8086704 markings, 322138781 edges, 22197 markings/sec, 330 secs
lola: 8197632 markings, 326855335 edges, 22186 markings/sec, 335 secs
lola: 8311398 markings, 331591057 edges, 22753 markings/sec, 340 secs
lola: 8423909 markings, 336292718 edges, 22502 markings/sec, 345 secs
lola: 8533886 markings, 341027584 edges, 21995 markings/sec, 350 secs
lola: 8649968 markings, 345750998 edges, 23216 markings/sec, 355 secs
lola: 8761710 markings, 350477307 edges, 22348 markings/sec, 360 secs
lola: 8873204 markings, 355204137 edges, 22299 markings/sec, 365 secs
lola: 8980189 markings, 359941765 edges, 21397 markings/sec, 370 secs
lola: 9093536 markings, 364654267 edges, 22669 markings/sec, 375 secs
lola: 9206184 markings, 369363710 edges, 22530 markings/sec, 380 secs
lola: 9314966 markings, 374073949 edges, 21756 markings/sec, 385 secs
lola: 9426317 markings, 378788032 edges, 22270 markings/sec, 390 secs
lola: 9540587 markings, 383492363 edges, 22854 markings/sec, 395 secs
lola: 9650864 markings, 388200594 edges, 22055 markings/sec, 400 secs
lola: 9759446 markings, 392884592 edges, 21716 markings/sec, 405 secs
lola: 9868407 markings, 397625739 edges, 21792 markings/sec, 410 secs
lola: 9977619 markings, 402334370 edges, 21842 markings/sec, 415 secs
lola: 10088553 markings, 407048549 edges, 22187 markings/sec, 420 secs
lola: 10199146 markings, 411771447 edges, 22119 markings/sec, 425 secs
lola: 10311149 markings, 416489928 edges, 22401 markings/sec, 430 secs
lola: 10420307 markings, 421212210 edges, 21832 markings/sec, 435 secs
lola: 10526481 markings, 425903103 edges, 21235 markings/sec, 440 secs
lola: 10635026 markings, 430536052 edges, 21709 markings/sec, 445 secs
lola: 10746069 markings, 435242928 edges, 22209 markings/sec, 450 secs
lola: 10852628 markings, 439934709 edges, 21312 markings/sec, 455 secs
lola: 10957398 markings, 444579474 edges, 20954 markings/sec, 460 secs
lola: 11067084 markings, 449258983 edges, 21937 markings/sec, 465 secs
lola: 11175242 markings, 453964184 edges, 21632 markings/sec, 470 secs
lola: 11283400 markings, 458692739 edges, 21632 markings/sec, 475 secs
lola: 11387997 markings, 463379655 edges, 20919 markings/sec, 480 secs
lola: 11495270 markings, 468067479 edges, 21455 markings/sec, 485 secs
lola: 11605859 markings, 472755680 edges, 22118 markings/sec, 490 secs
lola: 11713008 markings, 477430241 edges, 21430 markings/sec, 495 secs
lola: 11824262 markings, 482133022 edges, 22251 markings/sec, 500 secs
lola: 11933855 markings, 486802270 edges, 21919 markings/sec, 505 secs
lola: 12034379 markings, 491436676 edges, 20105 markings/sec, 510 secs
lola: 12142835 markings, 496144415 edges, 21691 markings/sec, 515 secs
lola: 12251681 markings, 500803493 edges, 21769 markings/sec, 520 secs
lola: 12357572 markings, 505492683 edges, 21178 markings/sec, 525 secs
lola: 12465078 markings, 510142479 edges, 21501 markings/sec, 530 secs
lola: 12575485 markings, 514797359 edges, 22081 markings/sec, 535 secs
lola: 12683069 markings, 519474243 edges, 21517 markings/sec, 540 secs
lola: 12794669 markings, 524129949 edges, 22320 markings/sec, 545 secs
lola: 12906791 markings, 528787482 edges, 22424 markings/sec, 550 secs
lola: 13012929 markings, 533432897 edges, 21228 markings/sec, 555 secs
lola: 13121845 markings, 538074351 edges, 21783 markings/sec, 560 secs
lola: 13229869 markings, 542765101 edges, 21605 markings/sec, 565 secs
lola: 13339729 markings, 547430511 edges, 21972 markings/sec, 570 secs
lola: 13443955 markings, 552063576 edges, 20845 markings/sec, 575 secs
lola: 13555378 markings, 556775147 edges, 22285 markings/sec, 580 secs
lola: 13661309 markings, 561424715 edges, 21186 markings/sec, 585 secs
lola: 13761645 markings, 566086697 edges, 20067 markings/sec, 590 secs
lola: 13870446 markings, 570720715 edges, 21760 markings/sec, 595 secs
lola: 13975010 markings, 575366103 edges, 20913 markings/sec, 600 secs
lola: 14081960 markings, 580057566 edges, 21390 markings/sec, 605 secs
lola: 14185192 markings, 584703602 edges, 20646 markings/sec, 610 secs
lola: 14293238 markings, 589339145 edges, 21609 markings/sec, 615 secs
lola: 14403943 markings, 594031659 edges, 22141 markings/sec, 620 secs
lola: 14508507 markings, 598682139 edges, 20913 markings/sec, 625 secs
lola: 14613132 markings, 603347717 edges, 20925 markings/sec, 630 secs
lola: 14717591 markings, 607998211 edges, 20892 markings/sec, 635 secs
lola: 14821290 markings, 612656771 edges, 20740 markings/sec, 640 secs
lola: 14922332 markings, 617309774 edges, 20208 markings/sec, 645 secs
lola: 15025907 markings, 621966050 edges, 20715 markings/sec, 650 secs
lola: 15131670 markings, 626601534 edges, 21153 markings/sec, 655 secs
lola: 15235433 markings, 631258192 edges, 20753 markings/sec, 660 secs
lola: 15337661 markings, 635889699 edges, 20446 markings/sec, 665 secs
lola: 15441896 markings, 640520545 edges, 20847 markings/sec, 670 secs
lola: 15547378 markings, 645180004 edges, 21096 markings/sec, 675 secs
lola: 15650335 markings, 649815783 edges, 20591 markings/sec, 680 secs
lola: 15755616 markings, 654476024 edges, 21056 markings/sec, 685 secs
lola: 15856838 markings, 659110013 edges, 20244 markings/sec, 690 secs
lola: 15959788 markings, 663760564 edges, 20590 markings/sec, 695 secs
lola: 16065296 markings, 668421916 edges, 21102 markings/sec, 700 secs
lola: 16169174 markings, 673073978 edges, 20776 markings/sec, 705 secs
lola: 16274023 markings, 677716859 edges, 20970 markings/sec, 710 secs
lola: 16373309 markings, 682335161 edges, 19857 markings/sec, 715 secs
lola: 16478215 markings, 686983172 edges, 20981 markings/sec, 720 secs
lola: 16584791 markings, 691638553 edges, 21315 markings/sec, 725 secs
lola: 16690824 markings, 696325134 edges, 21207 markings/sec, 730 secs
lola: 16796609 markings, 700946794 edges, 21157 markings/sec, 735 secs
lola: 16901292 markings, 705585013 edges, 20937 markings/sec, 740 secs
lola: 17004664 markings, 710070400 edges, 20674 markings/sec, 745 secs
lola: 17107539 markings, 714679068 edges, 20575 markings/sec, 750 secs
lola: 17208704 markings, 719277456 edges, 20233 markings/sec, 755 secs
lola: 17311562 markings, 723981609 edges, 20572 markings/sec, 760 secs
lola: 17415412 markings, 728633672 edges, 20770 markings/sec, 765 secs
lola: 17514149 markings, 733286804 edges, 19747 markings/sec, 770 secs
lola: 17619917 markings, 737987142 edges, 21154 markings/sec, 775 secs
lola: 17729237 markings, 742672405 edges, 21864 markings/sec, 780 secs
lola: 17836297 markings, 747329426 edges, 21412 markings/sec, 785 secs
lola: 17937212 markings, 752009503 edges, 20183 markings/sec, 790 secs
lola: 18042072 markings, 756616466 edges, 20972 markings/sec, 795 secs
lola: 18144392 markings, 761280416 edges, 20464 markings/sec, 800 secs
lola: 18245826 markings, 765933866 edges, 20287 markings/sec, 805 secs
lola: 18349710 markings, 770594594 edges, 20777 markings/sec, 810 secs
lola: 18456152 markings, 775239634 edges, 21288 markings/sec, 815 secs
lola: 18558308 markings, 779839650 edges, 20431 markings/sec, 820 secs
lola: 18661215 markings, 784473590 edges, 20581 markings/sec, 825 secs
lola: 18764715 markings, 789046143 edges, 20700 markings/sec, 830 secs
lola: 18868378 markings, 793670634 edges, 20733 markings/sec, 835 secs
lola: 18970992 markings, 798321181 edges, 20523 markings/sec, 840 secs
lola: 19072989 markings, 802931431 edges, 20399 markings/sec, 845 secs
lola: 19173798 markings, 807547463 edges, 20162 markings/sec, 850 secs
lola: 19274662 markings, 812203465 edges, 20173 markings/sec, 855 secs
lola: 19378761 markings, 816852269 edges, 20820 markings/sec, 860 secs
lola: 19474991 markings, 821455767 edges, 19246 markings/sec, 865 secs
lola: 19586713 markings, 826070767 edges, 22344 markings/sec, 870 secs
lola: 19694816 markings, 830711822 edges, 21621 markings/sec, 875 secs
lola: 19801229 markings, 835382550 edges, 21283 markings/sec, 880 secs
lola: 19897023 markings, 839957211 edges, 19159 markings/sec, 885 secs
lola: 19996431 markings, 844560957 edges, 19882 markings/sec, 890 secs
lola: 20099521 markings, 849157792 edges, 20618 markings/sec, 895 secs
lola: 20202267 markings, 853795892 edges, 20549 markings/sec, 900 secs
lola: 20305051 markings, 858409612 edges, 20557 markings/sec, 905 secs
lola: 20406935 markings, 863013961 edges, 20377 markings/sec, 910 secs
lola: 20509551 markings, 867660066 edges, 20523 markings/sec, 915 secs
lola: 20615298 markings, 872304955 edges, 21149 markings/sec, 920 secs
lola: 20733889 markings, 877019284 edges, 23718 markings/sec, 925 secs
lola: 20834476 markings, 881640723 edges, 20117 markings/sec, 930 secs
lola: 20937097 markings, 886216270 edges, 20524 markings/sec, 935 secs
lola: 21037354 markings, 890804661 edges, 20051 markings/sec, 940 secs
lola: 21141187 markings, 895433242 edges, 20767 markings/sec, 945 secs
lola: 21246774 markings, 900067798 edges, 21117 markings/sec, 950 secs
lola: 21352362 markings, 904648080 edges, 21118 markings/sec, 955 secs
lola: 21454586 markings, 909264856 edges, 20445 markings/sec, 960 secs
lola: 21561064 markings, 913894039 edges, 21296 markings/sec, 965 secs
lola: 21663900 markings, 918462617 edges, 20567 markings/sec, 970 secs
lola: 21762318 markings, 923002278 edges, 19684 markings/sec, 975 secs
lola: 21864730 markings, 927561659 edges, 20482 markings/sec, 980 secs
lola: 21968188 markings, 932155054 edges, 20692 markings/sec, 985 secs
lola: 22070002 markings, 936761599 edges, 20363 markings/sec, 990 secs
lola: 22174404 markings, 941347778 edges, 20880 markings/sec, 995 secs
lola: 22278567 markings, 945959713 edges, 20833 markings/sec, 1000 secs
lola: 22378848 markings, 950596128 edges, 20056 markings/sec, 1005 secs
lola: 22491390 markings, 955235812 edges, 22508 markings/sec, 1010 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no unknown unknown yes unknown unknown no yes no unknown yes no unknown no
lola:
preliminary result: unknown yes no unknown unknown yes unknown unknown no yes no unknown yes no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no unknown unknown yes unknown unknown no yes no unknown yes no unknown no
lola: memory consumption: 15432 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from 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-04a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
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-04a.tgz
mv DLCround-PT-04a 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 lola"
echo " Input is DLCround-PT-04a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735100018"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 ;