About the Execution of LoLa+red for MultiCrashLeafsetExtension-PT-S32C02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16198.976 | 1392534.00 | 2325450.00 | 33736.40 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r245-tall-167856432900557.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is MultiCrashLeafsetExtension-PT-S32C02, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-167856432900557
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 16K Feb 26 03:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 03:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 03:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 03:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 03:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1678744918656
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-13 22:02:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-13 22:02:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 22:02:04] [INFO ] Load time of PNML (sax parser for PT used): 1410 ms
[2023-03-13 22:02:04] [INFO ] Transformed 13544 places.
[2023-03-13 22:02:05] [INFO ] Transformed 21807 transitions.
[2023-03-13 22:02:05] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 2675 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Reduce places removed 40 places and 0 transitions.
Drop transitions removed 2112 transitions
Trivial Post-agglo rules discarded 2112 transitions
Performed 2112 trivial Post agglomeration. Transition count delta: 2112
Iterating post reduction 0 with 2152 rules applied. Total rules applied 2152 place count 13504 transition count 19695
Reduce places removed 2112 places and 0 transitions.
Iterating post reduction 1 with 2112 rules applied. Total rules applied 4264 place count 11392 transition count 19695
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 132 Pre rules applied. Total rules applied 4264 place count 11392 transition count 19563
Deduced a syphon composed of 132 places in 99 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 2 with 264 rules applied. Total rules applied 4528 place count 11260 transition count 19563
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 41 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 4594 place count 11227 transition count 19530
Applied a total of 4594 rules in 1976 ms. Remains 11227 /13544 variables (removed 2317) and now considering 19530/21807 (removed 2277) transitions.
[2023-03-13 22:02:07] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11227 cols
[2023-03-13 22:02:10] [INFO ] Computed 1293 place invariants in 3112 ms
[2023-03-13 22:02:13] [INFO ] Implicit Places using invariants in 6082 ms returned []
Implicit Place search using SMT only with invariants took 6149 ms to find 0 implicit places.
[2023-03-13 22:02:13] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2023-03-13 22:02:13] [INFO ] Invariant cache hit.
[2023-03-13 22:02:15] [INFO ] Dead Transitions using invariants and state equation in 2159 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 11227/13544 places, 19530/21807 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 10297 ms. Remains : 11227/13544 places, 19530/21807 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 585 resets, run finished after 2220 ms. (steps per millisecond=4 ) properties (out of 19497) seen :312
Interrupted probabilistic random walk after 4144 steps, run timeout after 6001 ms. (steps per millisecond=0 ) properties seen :{32=1, 37=1, 44=1, 63=1, 90=1, 107=1, 126=1, 169=1, 194=1, 221=1, 250=1, 281=1, 314=1, 348=1, 411=1, 440=1, 467=1, 468=1, 491=1, 492=1, 493=1, 514=1, 515=1, 516=1, 535=1, 536=1, 553=1, 554=1, 569=1, 570=1, 571=1, 584=1, 585=1, 586=1, 597=1, 598=1, 607=1, 608=1, 615=1, 616=1, 621=1, 622=1, 623=1, 626=1, 627=1, 647=1, 664=1, 668=1, 673=1, 688=1, 711=1, 726=1, 743=1, 782=1, 805=1, 830=1, 857=1, 886=1, 917=1, 949=1, 1008=1, 1035=1, 1060=1, 1061=1, 1082=1, 1083=1, 1084=1, 1103=1, 1104=1, 1105=1, 1122=1, 1123=1, 1124=1, 1139=1, 1140=1, 1153=1, 1154=1, 1155=1, 1166=1, 1167=1, 1168=1, 1177=1, 1178=1, 1185=1, 1186=1, 1191=1, 1192=1, 1195=1, 1196=1, 1197=1, 1199=1, 1200=1, 1220=1, 1237=1, 1241=1, 1245=1, 1256=1, 1275=1, 1288=1, 1303=1, 1338=1, 1359=1, 1382=1, 1407=1, 1434=1, 1463=1, 1493=1, 1548=1, 1573=1, 1596=1, 1597=1, 1616=1, 1617=1, 1618=1, 1635=1, 1636=1, 1637=1, 1652=1, 1653=1, 1654=1, 1667=1, 1668=1, 1679=1, 1680=1, 1681=1, 1690=1, 1691=1, 1692=1, 1699=1, 1700=1, 1705=1, 1706=1, 1707=1, 1710=1, 1711=1, 1712=1, 1714=1, 1715=1, 1716=1, 1718=1, 1719=1, 1755=1, 1759=1, 1763=1, 1771=1, 1786=1, 1797=1, 1810=1, 1841=1, 1860=1, 1881=1, 1904=1, 1929=1, 1956=1, 1984=1, 2035=1, 2058=1, 2079=1, 2080=1, 2097=1, 2098=1, 2099=1, 2114=1, 2115=1, 2116=1, 2129=1, 2130=1, 2131=1, 2142=1, 2143=1, 2152=1, 2153=1, 2154=1, 2161=1, 2162=1, 2163=1, 2168=1, 2169=1, 2172=1, 2173=1, 2175=1, 2176=1, 2178=1, 2179=1, 2180=1, 2182=1, 2183=1, 2203=1, 2220=1, 2224=1, 2228=1, 2232=1, 2236=1, 2246=1, 2255=1, 2266=1, 2293=1, 2310=1, 2329=1, 2350=1, 2373=1, 2398=1, 2424=1, 2471=1, 2492=1, 2511=1, 2512=1, 2527=1, 2528=1, 2529=1, 2542=1, 2543=1, 2544=1, 2555=1, 2556=1, 2557=1, 2566=1, 2567=1, 2574=1, 2575=1, 2576=1, 2581=1, 2582=1, 2583=1, 2586=1, 2587=1, 2589=1, 2590=1, 2592=1, 2593=1, 2595=1, 2596=1, 2597=1, 2599=1, 2600=1, 2620=1, 2637=1, 2641=1, 2645=1, 2649=1, 2660=1, 2667=1, 2676=1, 2699=1, 2714=1, 2731=1, 2750=1, 2771=1, 2794=1, 2818=1, 2841=1, 2862=1, 2881=1, 2898=1, 2899=1, 2912=1, 2913=1, 2914=1, 2925=1, 2926=1, 2927=1, 2936=1, 2937=1, 2938=1, 2945=1, 2946=1, 2951=1, 2952=1, 2953=1, 2956=1, 2957=1, 2958=1, 2960=1, 2961=1, 2963=1, 2964=1, 2966=1, 2967=1, 2969=1, 2970=1, 2971=1, 2973=1, 2974=1, 2994=1, 3011=1, 3015=1, 3019=1, 3023=1, 3030=1, 3034=1, 3039=1, 3046=1, 3065=1, 3078=1, 3093=1, 3110=1, 3129=1, 3150=1, 3172=1, 3211=1, 3228=1, 3243=1, 3244=1, 3255=1, 3256=1, 3257=1, 3266=1, 3267=1, 3268=1, 3275=1, 3276=1, 3277=1, 3282=1, 3283=1, 3286=1, 3287=1, 3288=1, 3290=1, 3291=1, 3292=1, 3294=1, 3295=1, 3297=1, 3298=1, 3300=1, 3301=1, 3303=1, 3304=1, 3305=1, 3307=1, 3308=1, 3344=1, 3348=1, 3352=1, 3356=1, 3363=1, 3370=1, 3375=1, 3389=1, 3400=1, 3413=1, 3428=1, 3445=1, 3464=1, 3484=1, 3519=1, 3534=1, 3547=1, 3548=1, 3557=1, 3558=1, 3559=1, 3566=1, 3567=1, 3568=1, 3573=1, 3574=1, 3575=1, 3578=1, 3579=1, 3581=1, 3582=1, 3583=1, 3585=1, 3586=1, 3587=1, 3589=1, 3590=1, 3592=1, 3593=1, 3595=1, 3596=1, 3598=1, 3599=1, 3600=1, 3602=1, 3603=1, 3639=1, 3643=1, 3647=1, 3651=1, 3658=1, 3665=1, 3669=1, 3680=1, 3689=1, 3700=1, 3713=1, 3728=1, 3744=1, 3762=1, 3793=1, 3806=1, 3817=1, 3818=1, 3825=1, 3826=1, 3827=1, 3832=1, 3833=1, 3834=1, 3837=1, 3838=1, 3839=1, 3841=1, 3842=1, 3844=1, 3845=1, 3846=1, 3848=1, 3849=1, 3850=1, 3852=1, 3853=1, 3855=1, 3857=1, 3858=1, 3860=1, 3861=1, 3862=1, 3864=1, 3865=1, 3885=1, 3902=1, 3906=1, 3910=1, 3914=1, 3921=1, 3928=1, 3932=1, 3940=1, 3947=1, 3956=1, 3967=1, 3980=1, 3995=1, 4011=1, 4038=1, 4049=1, 4058=1, 4059=1, 4064=1, 4065=1, 4066=1, 4069=1, 4070=1, 4071=1, 4073=1, 4074=1, 4075=1, 4077=1, 4078=1, 4080=1, 4081=1, 4082=1, 4084=1, 4085=1, 4086=1, 4088=1, 4089=1, 4091=1, 4092=1, 4094=1, 4095=1, 4097=1, 4098=1, 4099=1, 4101=1, 4102=1, 4122=1, 4139=1, 4143=1, 4147=1, 4151=1, 4158=1, 4165=1, 4169=1, 4173=1, 4177=1, 4182=1, 4189=1, 4198=1, 4209=1, 4222=1, 4236=1, 4259=1, 4268=1, 4269=1, 4275=1, 4276=1, 4279=1, 4280=1, 4281=1, 4283=1, 4284=1, 4285=1, 4287=1, 4288=1, 4289=1, 4291=1, 4292=1, 4294=1, 4295=1, 4296=1, 4298=1, 4299=1, 4300=1, 4302=1, 4303=1, 4305=1, 4306=1, 4308=1, 4309=1, 4311=1, 4312=1, 4313=1, 4315=1, 4316=1, 4336=1, 4353=1, 4357=1, 4360=1, 4363=1, 4370=1, 4377=1, 4381=1, 4385=1, 4392=1, 4397=1, 4404=1, 4413=1, 4424=1, 4436=1, 4455=1, 4462=1, 4463=1, 4466=1, 4467=1, 4468=1, 4470=1, 4471=1, 4472=1, 4474=1, 4475=1, 4476=1, 4478=1, 4479=1, 4480=1, 4482=1, 4483=1, 4485=1, 4486=1, 4487=1, 4489=1, 4490=1, 4491=1, 4493=1, 4494=1, 4496=1, 4497=1, 4499=1, 4501=1, 4502=1, 4503=1, 4505=1, 4506=1, 4542=1, 4546=1, 4550=1, 4554=1, 4561=1, 4568=1, 4572=1, 4575=1, 4582=1, 4586=1, 4591=1, 4598=1, 4607=1, 4617=1, 4632=1, 4637=1, 4638=1, 4640=1, 4641=1, 4642=1, 4644=1, 4645=1, 4646=1, 4648=1, 4649=1, 4650=1, 4652=1, 4653=1, 4654=1, 4656=1, 4657=1, 4659=1, 4660=1, 4661=1, 4663=1, 4664=1, 4665=1, 4667=1, 4668=1, 4670=1, 4671=1, 4673=1, 4674=1, 4676=1, 4677=1, 4678=1, 4680=1, 4681=1, 4717=1, 4721=1, 4725=1, 4729=1, 4736=1, 4743=1, 4747=1, 4751=1, 4758=1, 4762=1, 4766=1, 4771=1, 4778=1, 4786=1, 4797=1, 4801=1, 4802=1, 4804=1, 4805=1, 4806=1, 4808=1, 4809=1, 4810=1, 4812=1, 4813=1, 4814=1, 4816=1, 4817=1, 4818=1, 4820=1, 4821=1, 4823=1, 4824=1, 4825=1, 4827=1, 4828=1, 4829=1, 4831=1, 4832=1, 4834=1, 4835=1, 4837=1, 4838=1, 4840=1, 4841=1, 4842=1, 4844=1, 4845=1, 4865=1, 4882=1, 4886=1, 4890=1, 4894=1, 4901=1, 4908=1, 4912=1, 4916=1, 4923=1, 4927=1, 4931=1, 4935=1, 4940=1, 4946=1, 4954=1, 4958=1, 4959=1, 4961=1, 4962=1, 4963=1, 4965=1, 4966=1, 4967=1, 4969=1, 4970=1, 4971=1, 4973=1, 4974=1, 4975=1, 4977=1, 4978=1, 4980=1, 4981=1, 4982=1, 4984=1, 4985=1, 4986=1, 4988=1, 4989=1, 4991=1, 4992=1, 4994=1, 4995=1, 4997=1, 4998=1, 4999=1, 5001=1, 5002=1, 5022=1, 5039=1, 5043=1, 5047=1, 5051=1, 5058=1, 5065=1, 5069=1, 5073=1, 5080=1, 5084=1, 5088=1, 5092=1, 5096=1, 5100=1, 5107=1, 5111=1, 5112=1, 5114=1, 5115=1, 5116=1, 5118=1, 5119=1, 5120=1, 5122=1, 5123=1, 5124=1, 5126=1, 5127=1, 5128=1, 5130=1, 5131=1, 5133=1, 5134=1, 5135=1, 5137=1, 5138=1, 5139=1, 5141=1, 5142=1, 5144=1, 5145=1, 5147=1, 5148=1, 5150=1, 5151=1, 5152=1, 5154=1, 5155=1, 5175=1, 5192=1, 5196=1, 5200=1, 5204=1, 5211=1, 5218=1, 5222=1, 5226=1, 5233=1, 5237=1, 5241=1, 5245=1, 5249=1, 5253=1, 5260=1, 5264=1, 5265=1, 5267=1, 5268=1, 5269=1, 5271=1, 5272=1, 5273=1, 5275=1, 5276=1, 5277=1, 5279=1, 5280=1, 5281=1, 5283=1, 5284=1, 5286=1, 5287=1, 5288=1, 5290=1, 5291=1, 5292=1, 5294=1, 5295=1, 5297=1, 5298=1, 5300=1, 5301=1, 5303=1, 5304=1, 5305=1, 5307=1, 5308=1, 5328=1, 5345=1, 5349=1, 5353=1, 5357=1, 5364=1, 5371=1, 5375=1, 5379=1, 5386=1, 5390=1, 5394=1, 5398=1, 5402=1, 5406=1, 5413=1, 5417=1, 5418=1, 5420=1, 5421=1, 5422=1, 5424=1, 5425=1, 5426=1, 5428=1, 5429=1, 5430=1, 5432=1, 5433=1, 5434=1, 5436=1, 5437=1, 5439=1, 5440=1, 5441=1, 5443=1, 5444=1, 5445=1, 5447=1, 5448=1, 5450=1, 5451=1, 5453=1, 5454=1, 5456=1, 5457=1, 5458=1, 5459=1, 5460=1, 5496=1, 5500=1, 5503=1, 5507=1, 5514=1, 5521=1, 5525=1, 5529=1, 5536=1, 5540=1, 5544=1, 5548=1, 5552=1, 5556=1, 5562=1, 5566=1, 5570=1, 5571=1, 5573=1, 5574=1, 5575=1, 5577=1, 5578=1, 5579=1, 5581=1, 5582=1, 5583=1, 5585=1, 5586=1, 5587=1, 5589=1, 5590=1, 5592=1, 5593=1, 5594=1, 5596=1, 5597=1, 5598=1, 5600=1, 5601=1, 5603=1, 5604=1, 5606=1, 5607=1, 5609=1, 5610=1, 5611=1, 5613=1, 5614=1, 5634=1, 5651=1, 5655=1, 5659=1, 5663=1, 5670=1, 5677=1, 5681=1, 5685=1, 5692=1, 5696=1, 5700=1, 5704=1, 5709=1, 5716=1, 5724=1, 5735=1, 5736=1, 5738=1, 5739=1, 5740=1, 5742=1, 5743=1, 5744=1, 5746=1, 5747=1, 5748=1, 5750=1, 5751=1, 5752=1, 5754=1, 5755=1, 5756=1, 5757=1, 5758=1, 5760=1, 5761=1, 5762=1, 5764=1, 5765=1, 5767=1, 5768=1, 5770=1, 5771=1, 5773=1, 5774=1, 5775=1, 5777=1, 5778=1, 5814=1, 5818=1, 5822=1, 5826=1, 5833=1, 5840=1, 5844=1, 5848=1, 5855=1, 5859=1, 5863=1, 5868=1, 5875=1, 5884=1, 5894=1, 5909=1, 5914=1, 5915=1, 5917=1, 5918=1, 5919=1, 5921=1, 5922=1, 5923=1, 5925=1, 5926=1, 5927=1, 5929=1, 5930=1, 5932=1, 5933=1, 5934=1, 5936=1, 5937=1, 5938=1, 5940=1, 5941=1, 5943=1, 5944=1, 5946=1, 5947=1, 5949=1, 5950=1, 5951=1, 5953=1, 5954=1, 5974=1, 5991=1, 5995=1, 5999=1, 6003=1, 6010=1, 6016=1, 6020=1, 6024=1, 6031=1, 6035=1, 6040=1, 6047=1, 6056=1, 6067=1, 6079=1, 6098=1, 6105=1, 6106=1, 6109=1, 6110=1, 6111=1, 6113=1, 6114=1, 6115=1, 6117=1, 6118=1, 6119=1, 6121=1, 6122=1, 6124=1, 6125=1, 6126=1, 6128=1, 6129=1, 6130=1, 6132=1, 6133=1, 6135=1, 6136=1, 6138=1, 6139=1, 6141=1, 6142=1, 6143=1, 6145=1, 6146=1, 6166=1, 6183=1, 6187=1, 6191=1, 6195=1, 6202=1, 6209=1, 6213=1, 6217=1, 6224=1, 6229=1, 6236=1, 6245=1, 6256=1, 6268=1, 6282=1, 6305=1, 6314=1, 6315=1, 6320=1, 6321=1, 6322=1, 6325=1, 6326=1, 6327=1, 6329=1, 6330=1, 6331=1, 6333=1, 6334=1, 6336=1, 6337=1, 6338=1, 6340=1, 6341=1, 6342=1, 6344=1, 6345=1, 6347=1, 6348=1, 6350=1, 6351=1, 6353=1, 6354=1, 6355=1, 6357=1, 6358=1, 6378=1, 6395=1, 6399=1, 6403=1, 6407=1, 6414=1, 6421=1, 6425=1, 6429=1, 6437=1, 6444=1, 6453=1, 6464=1, 6477=1, 6492=1, 6508=1, 6535=1, 6546=1, 6547=1, 6554=1, 6555=1, 6556=1, 6561=1, 6562=1, 6563=1, 6566=1, 6567=1, 6568=1, 6570=1, 6571=1, 6573=1, 6574=1, 6575=1, 6577=1, 6578=1, 6579=1, 6581=1, 6582=1, 6584=1, 6585=1, 6587=1, 6588=1, 6590=1, 6591=1, 6592=1, 6594=1, 6595=1, 6615=1, 6632=1, 6636=1, 6640=1, 6644=1, 6651=1, 6658=1, 6662=1, 6666=1, 6677=1, 6686=1, 6697=1, 6710=1, 6725=1, 6742=1, 6760=1, 6791=1, 6804=1, 6805=1, 6814=1, 6815=1, 6816=1, 6823=1, 6824=1, 6825=1, 6830=1, 6831=1, 6832=1, 6835=1, 6836=1, 6838=1, 6839=1, 6840=1, 6841=1, 6842=1, 6843=1, 6845=1, 6846=1, 6848=1, 6849=1, 6851=1, 6852=1, 6854=1, 6855=1, 6856=1, 6858=1, 6859=1, 6879=1, 6896=1, 6900=1, 6904=1, 6908=1, 6915=1, 6922=1, 6926=1, 6931=1, 6946=1, 6957=1, 6970=1, 6985=1, 7002=1, 7021=1, 7041=1, 7076=1, 7091=1, 7102=1, 7103=1, 7104=1, 7113=1, 7114=1, 7115=1, 7122=1, 7123=1, 7124=1, 7129=1, 7130=1, 7131=1, 7134=1, 7135=1, 7136=1, 7138=1, 7139=1, 7140=1, 7142=1, 7143=1, 7145=1, 7146=1, 7148=1, 7149=1, 7151=1, 7152=1, 7153=1, 7155=1, 7156=1, 7192=1, 7196=1, 7200=1, 7204=1, 7211=1, 7218=1, 7223=1, 7230=1, 7249=1, 7262=1, 7277=1, 7294=1, 7313=1, 7334=1, 7356=1, 7395=1, 7412=1, 7413=1, 7426=1, 7427=1, 7428=1, 7439=1, 7440=1, 7441=1, 7450=1, 7451=1, 7452=1, 7459=1, 7460=1, 7461=1, 7466=1, 7467=1, 7470=1, 7471=1, 7472=1, 7474=1, 7475=1, 7477=1, 7478=1, 7480=1, 7481=1, 7483=1, 7484=1, 7485=1, 7487=1, 7488=1, 7508=1, 7525=1, 7529=1, 7533=1, 7537=1, 7544=1, 7552=1, 7559=1, 7568=1, 7591=1, 7606=1, 7623=1, 7642=1, 7663=1, 7686=1, 7710=1, 7753=1, 7772=1, 7773=1, 7788=1, 7789=1, 7790=1, 7803=1, 7804=1, 7805=1, 7816=1, 7817=1, 7818=1, 7827=1, 7828=1, 7829=1, 7836=1, 7837=1, 7842=1, 7843=1, 7844=1, 7847=1, 7848=1, 7850=1, 7851=1, 7853=1, 7854=1, 7856=1, 7857=1, 7858=1, 7860=1, 7861=1, 7881=1, 7898=1, 7902=1, 7906=1, 7910=1, 7917=1, 7928=1, 7937=1, 7948=1, 7974=1, 7991=1, 8010=1, 8031=1, 8054=1, 8079=1, 8105=1, 8151=1, 8172=1, 8173=1, 8190=1, 8191=1, 8192=1, 8207=1, 8208=1, 8209=1, 8222=1, 8223=1, 8224=1, 8235=1, 8236=1, 8237=1, 8246=1, 8247=1, 8254=1, 8255=1, 8256=1, 8261=1, 8262=1, 8263=1, 8266=1, 8267=1, 8269=1, 8270=1, 8272=1, 8273=1, 8274=1, 8276=1, 8277=1, 8297=1, 8314=1, 8318=1, 8322=1, 8326=1, 8334=1, 8349=1, 8360=1, 8373=1, 8404=1, 8423=1, 8444=1, 8467=1, 8492=1, 8519=1, 8547=1, 8598=1, 8621=1, 8622=1, 8641=1, 8642=1, 8643=1, 8660=1, 8661=1, 8662=1, 8677=1, 8678=1, 8679=1, 8692=1, 8693=1, 8694=1, 8705=1, 8714=1, 8715=1, 8716=1, 8723=1, 8724=1, 8725=1, 8730=1, 8732=1, 8733=1, 8735=1, 8736=1, 8737=1, 8739=1, 8740=1, 8760=1, 8777=1, 8781=1, 8785=1, 8789=1, 8800=1, 8819=1, 8832=1, 8847=1, 8882=1, 8903=1, 8926=1, 8951=1, 8978=1, 9007=1, 9037=1, 9092=1, 9117=1, 9118=1, 9139=1, 9140=1, 9141=1, 9160=1, 9161=1, 9162=1, 9179=1, 9180=1, 9181=1, 9196=1, 9197=1, 9198=1, 9211=1, 9212=1, 9223=1, 9224=1, 9225=1, 9234=1, 9235=1, 9236=1, 9243=1, 9244=1, 9249=1, 9250=1, 9253=1, 9254=1, 9255=1, 9257=1, 9258=1, 9278=1, 9295=1, 9299=1, 9303=1, 9308=1, 9323=1, 9346=1, 9361=1, 9378=1, 9417=1, 9440=1, 9465=1, 9492=1, 9521=1, 9552=1, 9584=1, 9643=1, 9670=1, 9671=1, 9694=1, 9695=1, 9696=1, 9717=1, 9718=1, 9719=1, 9738=1, 9739=1, 9740=1, 9757=1, 9758=1, 9759=1, 9774=1, 9775=1, 9788=1, 9789=1, 9790=1, 9801=1, 9802=1, 9803=1, 9812=1, 9813=1, 9820=1, 9821=1, 9826=1, 9827=1, 9830=1, 9831=1, 9832=1, 9833=1, 9868=1, 9872=1, 9877=1, 9884=1, 9903=1, 9930=1, 9947=1, 9966=1, 10009=1, 10034=1, 10061=1, 10090=1, 10121=1, 10154=1, 10188=1, 10251=1, 10280=1, 10307=1, 10332=1, 10355=1, 10376=1, 10411=1, 10426=1, 10463=1, 10555=1, 10557=1, 10558=1, 10559=1, 10560=1, 10561=1, 10562=1, 10563=1, 10564=1, 10565=1, 10566=1, 10567=1, 10568=1, 10569=1, 10570=1, 10571=1, 10572=1, 10573=1, 10574=1, 10575=1, 10576=1, 10577=1, 10578=1, 10579=1, 10580=1, 10581=1, 10582=1, 10583=1, 10584=1, 10585=1, 10586=1, 10587=1, 10588=1, 10638=1, 10639=1, 10641=1, 10642=1, 10643=1, 10645=1, 10648=1, 10649=1, 10651=1, 10652=1, 10653=1, 10702=1, 10703=1, 10704=1, 10705=1, 10707=1, 10709=1, 10711=1, 10712=1, 10713=1, 10714=1, 10716=1, 10767=1, 10768=1, 10769=1, 10771=1, 10773=1, 10774=1, 10775=1, 10776=1, 10778=1, 10779=1, 10781=1, 10831=1, 10832=1, 10833=1, 10834=1, 10835=1, 10838=1, 10839=1, 10840=1, 10842=1, 10844=1, 10845=1, 10894=1, 10895=1, 10897=1, 10898=1, 10899=1, 10901=1, 10902=1, 10904=1, 10905=1, 10906=1, 10908=1, 10957=1, 10958=1, 10960=1, 10961=1, 10964=1, 10965=1, 10966=1, 10967=1, 10968=1, 10970=1, 10972=1, 11020=1, 11021=1, 11023=1, 11024=1, 11027=1, 11030=1, 11031=1, 11032=1, 11033=1, 11034=1, 11035=1, 11084=1, 11085=1, 11086=1, 11089=1, 11092=1, 11093=1, 11094=1, 11095=1, 11096=1, 11097=1, 11098=1, 11148=1, 11149=1, 11151=1, 11152=1, 11155=1, 11156=1, 11158=1, 11159=1, 11160=1, 11161=1, 11163=1, 11213=1, 11215=1, 11217=1, 11218=1, 11219=1, 11220=1, 11221=1, 11224=1, 11225=1, 11226=1, 11227=1, 11276=1, 11277=1, 11279=1, 11281=1, 11282=1, 11283=1, 11285=1, 11286=1, 11288=1, 11290=1, 11291=1, 11340=1, 11342=1, 11344=1, 11345=1, 11346=1, 11347=1, 11349=1, 11351=1, 11352=1, 11353=1, 11354=1, 11355=1, 11405=1, 11406=1, 11407=1, 11409=1, 11410=1, 11411=1, 11412=1, 11413=1, 11415=1, 11417=1, 11418=1, 11419=1, 11468=1, 11470=1, 11471=1, 11472=1, 11473=1, 11474=1, 11475=1, 11477=1, 11479=1, 11480=1, 11481=1, 11483=1, 11531=1, 11533=1, 11534=1, 11536=1, 11537=1, 11539=1, 11540=1, 11541=1, 11542=1, 11543=1, 11544=1, 11546=1, 11595=1, 11596=1, 11598=1, 11599=1, 11601=1, 11602=1, 11604=1, 11605=1, 11606=1, 11607=1, 11608=1, 11609=1, 11659=1, 11661=1, 11662=1, 11664=1, 11665=1, 11667=1, 11668=1, 11670=1, 11671=1, 11672=1, 11673=1, 11674=1, 11723=1, 11724=1, 11726=1, 11727=1, 11729=1, 11730=1, 11732=1, 11733=1, 11735=1, 11736=1, 11737=1, 11738=1, 11786=1, 11788=1, 11789=1, 11790=1, 11791=1, 11792=1, 11793=1, 11795=1, 11797=1, 11798=1, 11799=1, 11801=1, 11848=1, 11849=1, 11850=1, 11851=1, 11853=1, 11855=1, 11856=1, 11857=1, 11859=1, 11860=1, 11861=1, 11863=1, 11912=1, 11914=1, 11915=1, 11916=1, 11917=1, 11919=1, 11921=1, 11922=1, 11924=1, 11925=1, 11926=1, 11976=1, 11977=1, 11979=1, 11981=1, 11982=1, 11983=1, 11985=1, 11986=1, 11988=1, 11990=1, 11991=1, 12038=1, 12039=1, 12040=1, 12041=1, 12042=1, 12045=1, 12046=1, 12047=1, 12048=1, 12050=1, 12052=1, 12101=1, 12102=1, 12103=1, 12105=1, 12106=1, 12107=1, 12109=1, 12110=1, 12113=1, 12114=1, 12116=1, 12165=1, 12166=1, 12167=1, 12168=1, 12169=1, 12170=1, 12171=1, 12173=1, 12174=1, 12175=1, 12178=1, 12230=1, 12233=1, 12234=1, 12235=1, 12236=1, 12237=1, 12238=1, 12239=1, 12240=1, 12242=1, 12243=1, 12292=1, 12293=1, 12294=1, 12296=1, 12298=1, 12299=1, 12300=1, 12302=1, 12303=1, 12306=1, 12307=1, 12356=1, 12358=1, 12359=1, 12361=1, 12362=1, 12363=1, 12365=1, 12366=1, 12368=1, 12369=1, 12370=1, 12419=1, 12421=1, 12423=1, 12424=1, 12426=1, 12427=1, 12428=1, 12429=1, 12430=1, 12433=1, 12434=1, 12484=1, 12485=1, 12486=1, 12487=1, 12489=1, 12490=1, 12492=1, 12494=1, 12495=1, 12496=1, 12498=1, 12546=1, 12547=1, 12549=1, 12551=1, 12552=1, 12553=1, 12554=1, 12556=1, 12558=1, 12560=1, 12561=1, 12582=1, 12611=1, 12612=1, 12613=1, 12615=1, 12618=1, 12619=1, 12621=1, 12622=1, 12623=1, 12624=1, 12625=1}
Probabilistic random walk after 4144 steps, saw 1945 distinct states, run finished after 6007 ms. (steps per millisecond=0 ) properties seen :1940
Running SMT prover for 17245 properties.
[2023-03-13 22:02:25] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2023-03-13 22:02:25] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 22:03:57] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:03:57] [INFO ] After 25051ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 17245 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 10397 out of 11227 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11227/11227 places, 19530/19530 transitions.
Discarding 329 places :
Symmetric choice reduction at 0 with 329 rule applications. Total rules 329 place count 10898 transition count 19201
Iterating global reduction 0 with 329 rules applied. Total rules applied 658 place count 10898 transition count 19201
Applied a total of 658 rules in 1819 ms. Remains 10898 /11227 variables (removed 329) and now considering 19201/19530 (removed 329) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1820 ms. Remains : 10898/11227 places, 19201/19530 transitions.
Interrupted random walk after 125218 steps, including 7316 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 411
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16834) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16812) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16799) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16792) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16791) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16788) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16783) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16776) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16770) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16763) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16761) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16757) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16755) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16750) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16749) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16746) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16744) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16744) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16740) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16734) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16733) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16723) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16723) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16722) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16714) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16712) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16711) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16711) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16710) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16709) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16704) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16702) seen :26
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16676) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16657) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16638) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16621) seen :24
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16597) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16585) seen :26
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16559) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16547) seen :24
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16523) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16512) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16498) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16481) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16459) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16442) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16431) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16420) seen :23
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16397) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16389) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16378) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16374) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16365) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16353) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16335) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16315) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 16293) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16278) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 16267) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16250) seen :25
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16225) seen :26
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 16199) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16179) seen :31
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16148) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16140) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16124) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16111) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16104) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16084) seen :21
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16063) seen :28
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16035) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16013) seen :27
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15986) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15970) seen :27
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15943) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15931) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15912) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15893) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15878) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15861) seen :21
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15840) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15821) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15808) seen :23
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15785) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15772) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15750) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15739) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15724) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15713) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15695) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15685) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15669) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15657) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15640) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15634) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 15619) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15617) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15604) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15586) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15567) seen :24
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15543) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15532) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15516) seen :24
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15492) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15480) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15461) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15448) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15436) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15419) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15411) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15402) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15396) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15388) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15379) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15367) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15350) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15336) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15319) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15297) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15279) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15273) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15261) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15251) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15234) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15226) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15212) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15196) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15185) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15178) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15169) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15165) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15156) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15145) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15127) seen :27
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15100) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15086) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15072) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15063) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15052) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15047) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15031) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15028) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15017) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15009) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15000) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14995) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14987) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14982) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14972) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14966) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14957) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14949) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14946) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14939) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14927) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14910) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14902) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14894) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14890) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14884) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14878) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 14873) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14859) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14850) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14845) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14836) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14831) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14822) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14811) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14807) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14806) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14789) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14780) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14778) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14775) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14768) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14764) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14753) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14739) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14729) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14716) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14712) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14699) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14697) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14689) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14682) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14671) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14662) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14660) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14660) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14653) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14650) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14641) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14634) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14628) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14625) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14612) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14608) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14606) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14598) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14592) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14585) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14576) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14563) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14549) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14539) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14526) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14525) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14510) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14503) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14493) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14488) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14482) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14478) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14477) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14474) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14466) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14459) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14458) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14453) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14449) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14446) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14439) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14437) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14431) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14425) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14421) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14404) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14385) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14367) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14358) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14350) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14338) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14331) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14318) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14316) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14312) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14306) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14297) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14293) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14281) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14277) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14275) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14271) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14263) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14263) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14256) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14256) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14250) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14249) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14242) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14240) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14234) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14234) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14226) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14211) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14200) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14196) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14185) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14181) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14173) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14160) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14148) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14133) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14129) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14114) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14109) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14102) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14098) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14095) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14092) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14092) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14088) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14082) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14078) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14074) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14067) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14064) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14057) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14055) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14050) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14046) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14038) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14034) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14032) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14023) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14011) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14003) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13986) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13980) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13973) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13969) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13963) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13956) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13948) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13944) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13940) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13933) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13927) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13924) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13921) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13918) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13914) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13911) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13903) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13897) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13892) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13892) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13887) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13883) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13875) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13875) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13875) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13870) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13864) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13855) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13853) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13848) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13847) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13841) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13840) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13837) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13834) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13829) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13828) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13816) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13812) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13811) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13807) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13804) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13803) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13801) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13801) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13797) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13795) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13790) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13789) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13784) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13780) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13778) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13775) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13770) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13759) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13757) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13755) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13753) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13748) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13743) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13735) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13732) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13730) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13729) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13725) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13723) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13722) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13712) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13707) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13701) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13691) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13690) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13689) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13689) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13689) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13685) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13682) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13676) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13672) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13665) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13660) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13659) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13654) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13652) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13648) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13646) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13644) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13640) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13637) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13637) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13637) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13630) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13625) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13621) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13620) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13613) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13610) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13609) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13605) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13603) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 13601) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13600) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13598) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13594) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13593) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13587) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13587) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13583) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13579) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13578) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13575) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13573) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13569) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13565) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13562) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13561) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13559) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13558) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13553) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13552) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13548) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13547) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13543) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13541) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13537) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13536) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13534) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13533) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13532) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13530) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13526) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13522) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13521) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13520) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13518) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13517) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13514) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13512) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13511) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13509) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13507) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13505) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13499) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13496) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13495) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13493) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13490) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13484) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13483) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13478) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13477) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13475) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13471) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13468) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13461) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13460) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13460) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13460) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13460) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13460) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13458) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13454) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13452) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13451) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13449) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13449) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13445) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13445) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13444) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13441) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13440) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13440) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13440) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13438) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13435) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13427) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13423) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13421) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13419) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13419) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13419) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13418) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13414) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13413) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13411) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13409) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13403) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13399) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13399) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13396) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13396) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13394) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13393) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13390) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13388) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13386) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13383) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13381) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13381) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13379) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13377) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13375) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13373) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13371) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13371) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13371) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13369) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13369) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13368) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13367) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13364) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13362) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13362) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13362) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13360) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13360) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13360) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13360) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13360) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13360) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13360) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13360) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13358) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13356) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13356) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13356) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13356) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13354) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13354) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13354) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13354) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13350) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13350) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13345) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13345) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13345) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13343) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13343) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13337) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13334) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13333) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13332) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13331) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13331) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13327) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13325) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13323) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13319) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13317) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13315) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13313) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13309) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13307) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13305) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13304) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13302) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13302) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13297) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13293) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13291) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13289) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13287) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13283) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13282) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13280) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13278) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13276) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13274) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13273) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13273) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13271) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13270) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13266) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13265) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13265) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13265) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13265) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13265) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13263) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13263) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13261) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13259) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13257) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13255) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13253) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13251) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13251) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13248) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13246) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13246) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13246) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13244) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13244) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13242) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13242) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13240) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13239) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13239) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13237) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13235) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13235) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13235) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13235) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13235) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13232) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13232) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13231) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13231) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13229) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13224) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13223) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13223) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13223) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13223) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13223) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13221) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13221) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13221) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13221) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13221) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13219) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13217) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13215) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13215) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13213) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13213) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13211) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13211) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13211) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13208) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13204) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13197) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13196) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13196) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13195) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13195) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13195) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13195) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13195) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13195) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13195) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13193) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13193) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13193) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13193) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13191) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13190) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13190) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13187) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13185) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13181) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13179) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13179) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13177) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13175) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13172) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13171) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13169) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13168) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13166) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13165) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13165) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13165) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13165) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13165) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13165) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13163) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13155) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13153) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13152) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13147) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13147) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13145) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13145) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13144) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13144) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13144) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13144) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13144) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13142) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13142) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13141) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13139) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13137) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13137) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13135) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13134) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13134) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13133) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13131) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13131) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13128) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13128) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13126) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13125) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13123) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13123) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13123) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13121) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13121) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13121) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13119) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13118) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13117) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13115) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13114) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13113) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13113) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13113) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13113) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13109) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13109) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13107) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13107) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13107) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13107) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13105) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13105) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13105) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13099) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13099) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13097) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13096) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13094) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13094) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13093) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13091) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13088) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13086) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13086) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13086) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13084) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13082) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13082) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13076) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13076) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 13076) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13076) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13074) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13073) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13073) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13073) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13073) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13071) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13069) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13069) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13067) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13064) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13062) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13061) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13059) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13057) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13055) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13053) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13053) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13050) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13050) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13050) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13049) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13047) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13045) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13043) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13043) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13041) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13039) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13039) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13037) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13035) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13035) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13035) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13035) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13031) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13031) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13029) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13029) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13029) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13029) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13029) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13028) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13026) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13026) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13024) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13022) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13022) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13020) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13018) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13018) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13016) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13016) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13016) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13016) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13016) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13016) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13014) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13013) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13012) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13010) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13009) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13009) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13008) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13008) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13008) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13008) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13008) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13008) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13008) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13005) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13003) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13001) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12999) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12998) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12995) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12995) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12995) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12995) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12993) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12991) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12991) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12988) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12985) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12983) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12981) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12981) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12980) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12978) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12978) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12976) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12976) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12976) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12976) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12974) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12972) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12972) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12970) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12970) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12970) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12970) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12968) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12966) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12966) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12966) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12966) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12964) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12962) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12959) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12957) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12955) seen :0
========== file over 1MB has been truncated ======
retrieve it from the run archives if needed
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="MultiCrashLeafsetExtension-PT-S32C02"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-167856432900557"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C02.tgz
mv MultiCrashLeafsetExtension-PT-S32C02 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;